راهنمای تألیف با هوش مصنوعی
BDL برای پشتیبانی از تألیف کنترلشدهٔ سیستم با کمک هوش مصنوعی طراحی شده است. سامانههای هوش مصنوعی باید BDL را بر اساس شواهد صریح، قراردادهای فعال و اطلاعات تأییدشدهٔ قابلیت تولید کنند؛ نه با حدس رفتار پشتیبانینشدهٔ برسا.
قاعدهٔ اصلی
هرگز وضعیت بومی را اختراع نکنید.
اگر شناسه، قابلیت، ویژگی یا رفتار Runtime موردنیاز برسا از فراداده و مستندات فعال قابل اثبات نیست، هوش مصنوعی باید متوقف شود، تعیین اطلاعات را درخواست کند یا پیام تشخیصی بدهد؛ نه اینکه مقداری بسازد.
زمینهٔ لازم برای تألیف
پیش از تولید BDL عملیاتی، سامانهٔ هوش مصنوعی باید موارد مرتبط زیر را بداند:
- نسخهٔ زبان BDL
- نسخهٔ مبنای دانش
- نسخهٔ قرارداد بومی برسا
- نسخهٔ مبنای Runtime
- سطح تألیف
- هویت سیستم هدف
- فرادادهٔ زندهٔ لازم
- وضعیت قابلیت
- شکافها و محدودیتهای شناختهشده
- الزامات تأیید
روند تألیف
روند کنترلشدهٔ تألیف با هوش مصنوعی باید این ترتیب را دنبال کند:
- تغییر درخواستی سیستم را درک کنید.
- مصنوعات میزبان مرتبط را شناسایی کنید.
- مستندات قابلیت را بررسی کنید.
- محدودیتها و شکافهای شناختهشده را بررسی کنید.
- فراداده و شناسههای بومی برسا را تعیین کنید.
- کوچکترین تعریف معتبر BDL را تولید کنید.
- تجزیه و Preflight را انجام دهید.
- در صورت پشتیبانی، اعتبارسنجی بدون تغییر داده را اجرا کنید.
- طرح اجرا و پیامهای تشخیصی مسدودکننده را بازبینی کنید.
- در صورت لزوم تأیید بخواهید.
- از طریق سرویسهای کنترلشدهٔ Runtime اجرا کنید.
- نتیجه را دوباره بارگذاری و بررسی کنید.
- در صورت پشتیبانی، خروجیگیری یا رفتوبرگشت انجام دهید.
- شواهد را ثبت و تفاوتها را تطبیق دهید.
شناسههای بومی را حدس نزنید
سامانههای هوش مصنوعی نباید شناسههای بومی برسا را از روی این موارد استنباط کنند:
- نامها
- عنوانهای نمایشی
- ترتیب
- سیستمهای مشابه
- محیطهای قبلی
- فایلهای نمونه
در موارد لازم، شناسهها باید از محیط هدف فعال تعیین شوند.
قابلیت را فرض نکنید
وجود ویژگی در Native Barsa خودبهخود به معنای دسترسپذیری تألیف BDL عملیاتی نیست. هر چهار لایه را بررسی کنید:
- Native Barsa
- Runtime Support
- BDL Expressibility
- BDL Authoring Availability
کوچکترین تعریف معتبر را ترجیح دهید
هوش مصنوعی باید از تولید ویژگیهای غیرضروری پرهیز کند. تعریفهای حداقلی آسانتر اعتبارسنجی، بازبینی، عیبیابی و رفتوبرگشت میشوند.
فرادادهٔ اختیاری را تنها در صورت نیاز درخواست کاربر یا قرارداد پشتیبانیشده اضافه کنید.
قصد صریح کاربر را حفظ کنید
BDL تولیدشده باید رفتار درخواستی را منعکس کند و دامنه را بیسروصدا گسترش ندهد. این موارد را اضافه نکنید:
- موجودیتهای درخواستنشده
- مجوزهای درخواستنشده
- گردشکارهای درخواستنشده
- مقادیر پیشفرض حدسی
- روابط حدسی
- کد دلخواه سیستم
- خودکارسازی پشتیبانینشده
تشخیص بهجای ساختن اطلاعات
وقتی شواهد لازم وجود ندارد، پیام تشخیصی روشن بدهید؛ BDL ظاهراً معقول اما تأییدنشده تولید نکنید. نمونهها عبارتاند از:
- نبود شناسهٔ سیستم
- نبود مرجع موجودیت
- ویژگی پشتیبانینشدهٔ مصنوع
- محدودیت سطح تألیف
- محدودیت بومی شناختهشده
- شکاف قابلیت Runtime
کد سیستم
هوش مصنوعی باید systemCode را سطحی کنترلشده بداند. این ویژگی مجوز تزریق کد دلخواه نیست. فقط محلهای مستند کد و عملیات تأییدشده باید تولید شوند.
اعتبارسنجی الزامی است
BDL تولیدشده نباید مستقیم از تولید به تغییر داده برود. از مراحل اعتبارسنجی استفاده کنید:
Parse -> Preflight -> ValidateOnly -> Execution Plan -> Diagnostics -> Approval -> Execute -> Verify
هر مرحله باید توسط Runtime فعال پشتیبانی شود.
توجه به رفتوبرگشت
هنگام خروجیگیری BDL از برسا، سامانههای هوش مصنوعی باید این موارد را تفکیک کنند:
- مقادیر دقیق رفتوبرگشت
- مقادیری که فقط بخشی از آنها بازیابی میشود
- مقادیری که بدون اتلاف بازیابی نمیشوند
- مقادیری که عمداً به دلیل نبود شواهد بومی حذف شدهاند
مقادیر بومی ناموجود را با گمانهزنی بازسازی نکنید.
انضباط نسخه
هوش مصنوعی نباید قواعد نسخههای مبنای مختلف BDL را ترکیب کند، مگر رابطهٔ آن نسخهها مستند باشد. راهنما و BDL تولیدشده را همیشه به زمینهٔ نسخهٔ فعال متصل کنید.
انضباط شواهد
هنگام عیبیابی یا تأیید موفقیت، انواع شواهد را تفکیک کنید. build موفق ذخیرهشدن در Runtime را ثابت نمیکند. فراخوانی موفق Runtime بهتنهایی برابری خروجی را ثابت نمیکند. خروجیگیری موفق ثابت نمیکند همهٔ سطوح تألیف آمادهٔ محیط عملیاتی هستند.
هر ادعا را فقط با شواهد همان لایه تأیید کنید.
توقف ایمن
وقتی قرارداد فعال عملیات درخواستی را پشتیبانی نمیکند، هوش مصنوعی باید اعلام کند عملیات در دسترس نیست یا وضعیتش تعیین نشده است. خودداری ایمن از ساختن اطلاعات، بهتر از تولید BDL نامعتبر یا ناایمن است.
ادامه
برای بستههای نسخهبندیشدهٔ دانش BDL، قراردادها و مصنوعات پشتیبان، بخش نسخهها و دانلودها را مطالعه کنید.