گزینه۱ زنجیره سازی روبه جلو و رو به عقب بر اساس modus ponens یا انتزاع تعمیم یافته است.
گزینه ۲ هم به نظر من کاملا درسته.چون در زنجیره جلورو با استفاده از قوانین انتزاع تعمیم یافته ، حقایق جدیدی بوجود میان
گزینه ۳ به نظر من صحیح نیست و عکس این حالت هست.یعنی جلوروو قتی استفاده میشه که هدفی هست و میخواهیم درستی اون هدف را اثبات کنیم و تا زمانی پیش میریم که یا به هدف برسیم یا دیگر قوانینی برای اثبات هدف ما موجود نباشه
گزینه ۴ هم کاملا درسته و تعریف روش زنجیر عقب رو هست

در زنجیره سازی پیشرو نیاز به هدف نداریم و خودمون با حقایق به هدف میرسیم.مزیت پیشرو عدم نیاز به هدفه.(طبق جزوه استاد عباد زاده عرض کردم)

ممنون از دوستان عزیز
پاسخ سوال در آزمون پارسه گزینه ۲ هستش!که مشخصه کاملا اشتباهه!
به نظر من گزینه صحیح بین ۱ و ۳ هستش!
از طرفی چیزی که ابهام ایجاد می کنه روی گزینه ۳ اینه که زنجیره رو به جلو مبتنی بر گزاره هستش نه هدف!
و میشه اینطور استنباط کرد که زمانی که هدفی وجود داره بهتره از زنجیره رو به عقب که مبتنی بر هدف هستش استفاده کرد!
در مورد گزینه یک به نظر من لزومی نداره که ما از modus ponens حتما استفاده کنیم و میشه از سایر قوانین استفاده کرد!
من بازم به نظرم در این سوال نچندان استاندارد گزینه یک صحیح تره!

گزینه ۱ کاملا صحیحه ، چون در فصل ۷ ام کتاب ما فقط از ۲ قاعده ی modes ponens و resolution استفاده می کنیم و طبق گفته ی استاد بنده (دکتر رضوی ) الگوریتم های استنتاجیه رو به جلو و رو به عقب از قاعده ی modes ponens استفاده می کنند و الگوریتم رزولوشن هم از قاهدع ی هم نام خودش.
به نظر من هم گزینه ۳ پاسخ این تسته