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

(۰۱ بهمن ۱۳۹۰ ۰۶:۵۹ ب.ظ)mam نوشته شده توسط:  من هم به همین نتیجه‌ای که شما رسیدید٬ رسیدم.
شما از چه جانشینی‌هایی استفاده کردید؟

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

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

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

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

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