سوال 85
حل تشریحی سوال شماره 85 مجموعه دروس تخصصی مشترک
کنکور ارشد مهندسی فناوری اطلاعات (IT) 1402
85.
فرض کنید در منطق گزارهای با روش تجزیه به دنبال اثبات الزام منطقی گزاره از روی پایگاه دانش KB هستیم، کدام یک از گزاره های زیر درست است؟
1)
در صورتی که تجزیه هر دو clause ممکن به مجموعه clauseهایی برسد که زیر مجموعه KB باشد، به معنی اثبات پذیر بودن گزاره است.
2)
برای اعمال روش تجزیه، کافی است KB به صورت sum-of-products (یا OR تعدادی گزاره AND شده) در بیاید.
3)
در صورتی که نتیجه اعمال تجزیه در یکی از مراحل اثبات تهی شود به معنی اثبات ناپذیر بودن گزاره است.
4)
بسته به مسئله ممکن است با یکبار اعمال تجزیه گزاره اثبات شود.
پاسخ ها
0 پاسختا کنون پاسخی برای این سوال وارد نشده است،