گزینه ۳و۴ ) لزومی نداره برای استنتاج در منطق مرتبه اول ، جملاتمون رو در منطق گزاره ای ببریم و سپس استنتاج کنیم.گرچه میشه این کار رو کرد ولی روش ناکارآمدی هست. خود منطق مرتبه اول چندین الگوریتم برای استنتاج داره.

گزینه ۲) الگوریتم Natural Deduction رو داخل کتاب ندیدم ولی طبق سرچی که کردم در منطق مرتبه اول ، الگوریتم کاملی هست از اون طرف هم میدونیم الگوریتم رزولوشن کامله پس هر جمله ای که از KB توسط Natural Deduction قابل استنتاج باشه توسط الگوریتم رزولوشن هم قابل استنتاج است.

گزینه ۱)منطق مرتبه اول نیمه تصمیم پذیره، یعنی ممکنه الگوریتم خاتمه پیدا نکنه.

بازم اگر دوستان پاسخ بهتری داشتند ارائه بدند.

اینم پاسخ اولیه استاد طارمیان: