به هیچکدوم کاری نداشته باش و بیا خودت استدلال کن.
ببین قانون اول پایگاه دانش اینکه که جملات خود پایگاه ارزش درستی دارن پس جمله k^-m درسته و چون عطف هست پس kو not m درسته حالا بیا سراغ جمله اول و به فرم مناسب درش بیار که میشه c or not k چون not k غلطه و جمله باید ارزش درستی داشته باشه پس c درسته حالا اگه جمله دوم رو مناسب کنیم میشه not c or a or b چون جمله باید ارزش درستی داشته باشه و not c غلطه پس باید a or b ارزش درستی داشته باشه که میشه گزینه اول .بقیشو هم همینطوری حل کن

---

ببخشید استدلال بالایی شد گزینه دوم
حالا بیا جملات دوم و سوم رو شما نرمال کن که میشه not c or a or b و not b or r or c ببین در اینجا شما رزولوشن بزنی چون تو هربار فقط میتونی یه لیترال رو بترکونی جملت مپلن اینطوری میشه not b or r or a or b مثله این می مونه که داشته باشه true or r or a خب معلومه جمله ارزش درستی داره و بدردمون نمی خوره.اگه تو همین کتاب بری قسمت رزولوشن و مثالشو ببینی این جمله رو در مورد این جملات میگه "بدرد نخور". برا گزینه سوم شما بیا فرض خلف کن و not a and not k رو به دیتا دانش اضافه کن از اونجا که عطفه پس not k و not a درسته ولی تو پاسخ اول گفتم k ارزش درستی داره پس تناقض خوردیم و فرض خلف غلطه و جملمون که میشه a or k درسته .برا گزینه چهار هم فرض کن یه چیز درست به پایگاه اضافه کنی پس بلزم نتیجه پایگاه درسته.

اینی که شما گفتی همون استدلال پارسه هست دیگه.به هر حال ممنون.
بحث من سر اینه که چرا فصل دو تا عبارت نقیضی که با عبارت AvR داریم فقط true تولید میکنه و مولد AvR نیست و پارسه گزینه ی یک رو رد و انتخاب کرده.همین.

بازم ممنون.

(۱۵ فروردین ۱۳۹۵ ۰۳:۲۳ ب.ظ)samanbeigmiri نوشته شده توسط:  اینی که شما گفتی همون استدلال پارسه هست دیگه.به هر حال ممنون.
بحث من سر اینه که چرا فصل دو تا عبارت نقیضی که با عبارت AvR داریم فقط true تولید میکنه و مولد AvR نیست و پارسه گزینه ی یک رو رد و انتخاب کرده.همین.

بازم ممنون.

سلام سامان
از جمله ۲و۳ نمیشه به طور همزمان BوC رو حذف کرد.قبلا دلیلشو با هم بررسی کردیم.پس نمیشه AvR رو نتیجه گرفت(چون منطقی نیست).
در واقع اگر الگوریتم رزولوشن رو روی جملات ۲و۳ اعمال کنیم به [tex]A\vee B\vee\neg B\vee R=TRUE[/tex] میرسیم.
به نظر من گزینه ۱درسته.

سلام رضا. همین دور و بر باش . . .
خب دقیقا همین درسته.
شما مثلا روی جمله ی دوم و سوم رزولوشن زدی با حذف لیترال [tex]C[/tex] و [tex]\sim C[/tex] و یه عبارتی رو که TRUE هست رو نتیجه گرفتی.این عبارت TRUE که به صورت مقابل هست [tex]A\: \vee\: B\: \vee\sim B\: \vee\: R[/tex] شامل [tex]A\: \vee\: R[/tex] و یک عبارت TRUE هم که هست ، اما گزینه یک رد میشه.چرا؟؟؟؟؟؟
میتونیم بگیم که اگر دو عبارت [tex]\sim B[/tex] , [tex]B[/tex] رو دلخواه فرض کنیم میتوانند موجب حذف هر یک از عبارات موجود در پایگاه دانش شامل A v R بشوند؟؟؟ مثلا [tex]B[/tex] برابر باشد با [tex]\sim A[/tex] که همین موجب حذف [tex]A[/tex] میشود
-----
آها درست شد.
بحث سر همون قضیه هست که عطف ها میشن درست تک به تک،و فصل ها رو نمیشه اینطوری نتیجه گرفت که با وجود داشتن یک عبارت همیشه TRUE در پایگاه دانش(KB)، یک عبارت TRUE هستند،داشتم نرم میخوندم اینو فهمیدم.
از رضا و دوست دیگه ای که پاسخ دادن و راهنمایی کردن بی نهایت سپاس

نمودار ون کشیدی ؟ تو نمودار ون وقتی کله محیطو گرفتی دیگه نمی تونی در مورد دو تا دایره تو محیط حرفی بزنی. یه ضرب المثله که میگه چو صد امد نود هم پیش ماست. در کل اوصیکم به خوندن و تحلیل مثال بحث رزولوشن توکناب موید باشی.

(۱۵ فروردین ۱۳۹۵ ۰۶:۰۶ ب.ظ)naserqw نوشته شده توسط:  نمودار ون کشیدی ؟ تو نمودار ون وقتی کله محیطو گرفتی دیگه نمی تونی در مورد دو تا دایره تو محیط حرفی بزنی. یه ضرب المثله که میگه چو صد امد نود هم پیش ماست. در کل اوصیکم به خوندن و تحلیل مثال بحث رزولوشن توکناب موید باشی.

----------
در گفته های بالا که منظورتون رو نفهمیدم چیه.
دو تا حرف زدید که نکتهاشو اضافه کردم به خلاصه هام!!!(در این حد خوب بود){بابتش هم یه دنیا ممنونم}(همین که یه گزینه رو میشه با حرف شما رد کرد یه دنیا می ارزه)اما پاسختون راستش کمی پیچیده س.البته این نظر منه و شاید اشتباه باشه.
اما یه خواهش : لطفا بار بعد از لاتکس هم استفاده کن که پاسخ دادنت رو کامل کرده باشی. مرسی دوست عزیزم

من متوجه نشدم شما به چه نتیجه ای رسیدید.
اما پاسخ راهیان درسته و همه جملات از KB قابل استنتاج اند.
جملات پایگاه دانش در فرم CNF:
[tex]1:\: \: C\vee\neg K\: \: \: \: \: \: 2:\: \neg C\vee A\vee B\: \: \: \: \: 3:\: \neg B\vee R\vee C\: \: \: \: \: \: 4:\: K\: \: \: \: \: \: \: 5:\: \neg M[/tex]

بررسی گزینه۱: طبق رزولوشن باید نقیض جمله هدف رو نوشت. پس [tex]A\vee R[/tex] تبدیل میشه به [tex]\neg A\wedge\neg R[/tex] که به این معینه که میشند دو جمله مستقل و به KB اضافه میشند.
* روی [tex]\neg A[/tex] از جمله هدف با جمله شماره ۲ ، قاعده رزولوشن می زنیم که حاصل [tex]\neg C\vee B[/tex] میشه.
* روی [tex]\neg R[/tex] از جمله هدف با جمله شماره ۳ ، قاعده رزولوشن می زینم که حاصل [tex]\neg‌B\vee C[/tex] می مونه.
حالا اگر روی دو عبارت حاصل رزولوشن بزنیم حاصل تهی میشه پس استلزام برقراره.

مابقی هم به همین ترتیب.