اصلاح کردم،چرا باز نمیشن!!!

منم این سوال رو اشتباه زدم،واقعا سوال قشنگیه.خیلی حرفه ای طراحی شده.
این پاسخشه : دقیقا باید روال الگوریتم رزولوشن رو با توجه به اینکه بدونیم تغییرات CNF چطور رخ میدهند طی کنیم.(یه سوالم آخرش پرسیدم،حتما بهش فکر کنید)

------------

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


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

پاسخ مدرسان چند بود مگه؟

ممنونم از لطفتون
اما هیچکدام از لینک ها باز نمیشه

ممنون میشم دوباره ارسال کنید

(۱۱ اسفند ۱۳۹۴ ۰۲:۵۹ ب.ظ)sahabi2015 نوشته شده توسط:  ممنونم از لطفتون
اما هیچکدام از لینک ها باز نمیشه

ممنون میشم دوباره ارسال کنید

اصلاح شد

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


در الگوریتم رزولوشن :

برای اثبات $KB\dashv\alpha$ با استفاده از برهان خلف ثابت میکنیم $KB\wedge\sim\alpha$ نادرست میباشد
برای این کار

۱- جملات kB را به CNF تبدیل کنیم
۲- نقیض حکم را به KB اضافه کنیم

درصورتی که kb مستلزم حکم باشد(حکم از KB قابل استنتاج باشد) پاسخ رزولوشن تهی خواهد بود

----------------------
پاسخ سوال شما که چرا بجای q+m
عبارت q . m جایگذاری شده؟

m چون فقط یکبار در kb ظاهر شده true در نظر میگیریم
از ترکیب
$u\vee q$ , $\sim u$
q حاصل میشود
-----------
سوال من اینه که چه نیازی هست این عبارت را وارد kb کنیم ,؟

منظور سوال از تعداد قانون های ترکیبی چیه ؟
تو این سوال چهار ترکیب ۲ تایی داریم . که در مجموع ۸ قانون میشود

---

البته با توجه به راهنمایی صورت سوال از ترکیب
پاسخ مدرسان درسته و ۴میشود