به نظر من اینجا یک سئوال از پایگاه دانش پرسیده شده و با جانشینی skolem باید به جواب سئوال رسید و نباید نقیض b رو به قوانین اضافه کنیم

دوست من در کتاب راسل هم برای سوالات از اضافه کردن اجتماع سوال و نقیض اش به پایگاه استفاده کرده و یکسان سازی را تا وقتی ادامه داده که فقط خود سوال در پایگاه بمونه که قطعا با یک اسکولم مقدار داده شده.
از این دست سوالات زیاد هست که با استنتاج های متفاوت جواب های متفاوت میشه به x داد کاش یکی از دوستان زحمت بکشند و ظریقه اثبات را به ما یاد بدن

اون رزولوشن هایی که توی تمرینات و تستها و کتاب تابحال من دیدم همه جملاتش با جانشینی اسکولم حل میشد.
شاید این که میگید درست باشه. من این طور تمرینها رو تابحال ندیدم.متن کتاب رو هم خوندم ولی اشاره صریحی نکرده بود و من هم نتونستم از مطالبش نتیجه ای بگیرم.

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


سوالاتی که بر پایه این استنتاج از پایگاه دانش پرسیده میشن دو نوعند
۱) سوالات 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) رو داریم نه نقیضشو.

دوست من این سوال که دادی درسته هر دو گزینه ای که گفتی میشه اصلش اینه که سوال منم بود به همین دلیل نمی فهمم اصلا کی رزولشن به این دست سوالات پاسخ میده! هر وقت من حل کردم یا به تهی نرسیدم یا چند تا جواب بست اوردم!!!!

که در مورد اول، X با یکی از متغیرهای پایگاه ،unify میشه. و البته اگر ans(x رو حذف کنیم تهی میمونه.


منظورتون از این چمله تهی شدن کل پایگاه دانشمونه؟

یعنی اگه ans رو برداریم تهی باشه.