گزینه ۴ درسته
یکی از راهای استنتاج در منطق، رزولوشن با برهان خلف هست.
به این شکل که نقیض سوال(حکم) با فرض درستی به پایگاه دانش اضافه میکنیم
سوالاتی که بر پایه این استنتاج از پایگاه دانش پرسیده میشن دو نوعند
۱) سوالات yes or no
اگر توانستیم در انتها به جواب تهی برسیم یعنی تناقض و این یعنی، false
و پاسخ yes هست.
۲)سوالات fill in blank
در این نوع سوالات میخواهیم بدونیم جواب چیه
مثل سوال مورد بحث
به دو صورت برای یافتن جواب میشه عمل کرد.
یکی اینکه یه تابع ثابت به شکل
ans(x در نظر بگیریم و فرض کنیم جوابه و با نقیض حکم، or کنیم و به پایگاه دانش اضافش کنیم.
این دو حالت داره
یا تنها به یک جواب میرسیم
یا بیش از یک جواب
که در مورد اول، X با یکی از متغیرهای پایگاه ،unify میشه. و البته اگر ans(x رو حذف کنیم تهی میمونه.
اما در مورد دوم رزولوشن نمیتونه به صراحت بگه کدوم درسته، و این خودش یکی از اشکالات ساختاری این الگوریتمه.
این توضیحات به صورت کلی برای جواب دادن به این سوالات بود که به نظرم رسید بد نباشه بگم.
در مورد این سوال هم اگر نقیض حکم رو به پایگاه اضافه کنیم.
به تهی نمیرسه
و خود نقیض حکم و or آن با پاسخ فرضی میمونن. و برای X مقداری یافت نمیشه.
دوستان با این تفاسیر نظرتون راجع به این سوال چیه
کنکور ۸۸ هوش
هم پاسخ x=pit و هم پاسخ x=mary رو میشه، بهش رسید
اما پاسخ سنجش
x=pit
توضیحات بالا از اسلایدای انگلیسی راسل بود.
که باید گزینه ۴ درست باشه.
این سوالو تو این تاپیک جواب بدین
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
(۳۰ دى ۱۳۹۰ ۰۱:۳۵ ب.ظ)fatima1537 نوشته شده توسط: اون رزولوشن هایی که توی تمرینات و تستها و کتاب تابحال من دیدم همه جملاتش با جانشینی اسکولم حل میشد.
شاید این که میگید درست باشه. من این طور تمرینها رو تابحال ندیدم.متن کتاب رو هم خوندم ولی اشاره صریحی نکرده بود و من هم نتونستم از مطالبش نتیجه ای بگیرم.
اگر از استنتاج به طریقه modes ponens حالا یا به صورت تعمیم یافته یا اصلی استفاده کنیم، درسته
اما اینجا از این قاعده نمیشه استفاده کرد
اولا سوال عنوان کرده رزولوشن
ثانیا با علم به اینکه جواباشون بایستی یکی شن، چطور میخواهین با اسکولم بهش برسین؟
در پایگاه، edible(b) رو داریم نه نقیضشو.
