تالار گفتمان مانشت

جواب سنجش گزینه x=pit
اما x=mary رو هم تونستم با رزولوشن با بران خلف بهش برسم.

به نظرتون نباید گزینه 4 باشه؟

من هم به همین نتیجه‌ای که شما رسیدید٬ رسیدم.
شما از چه جانشینی‌هایی استفاده کردید؟

(01 بهمن 1390 06:59 ب.ظ)mam نوشته شده توسط: [ -> ]من هم به همین نتیجه‌ای که شما رسیدید٬ رسیدم.
شما از چه جانشینی‌هایی استفاده کردید؟

با کمی دقت و استفاده از BACKchainingمتوجه میشیم که هیچ وقت maryاستنتاج نمیشه چون اگر قانون یک را به شکل زیر بازنویسی کنیم:

P(x)∩~Q(x)→M(x)

برای اینکه M درست باشه باید نقیض Q و Pهم درست باشه و چون تو پایگاه جمله:
[tex]Q(mary)[/tex]
داریم پس هیچ گاه نمی تونیم
[tex]M(mary)[/tex]
داشته باشیم

کدوم بخش استنتاج mary صحیح نیست؟

اول
من متوجه اندیس گذاری هایی که گذاشتی نشدم
دوم
شما 3 را با هشت رزولشن کردی بعد هیچ یکسان سازی انجام ندادی؟
سوم
طبق گفته خودت تو به پایگاه تهی نرسیدی
چهارم
روی یکسان سازی که کردی بیشتر حرف بزنیم با این شکل رزولشن علاوه بر مری و بیت ممکنه به خیلی اطلاع دیگه هم رسید
پنجم
این سوال خود من هم هست داریم تلاش می کنیم به جواب برسیم بهتر بدونیم که بکوار چینینگ هم یک الگوریتم کامل نیست یعنی ممکنه جوابی که وجود داره را نتونه استنتاج کنه