این سوالا خیلی اسونن بعد اینکه به فرم cnf نوشتی باید دنبال جملاتی بگردی که وقتی همه عناصری که not اشونم تو اونا هس حذف کنی فقط یک عنصر بمونه اون true هس مثلا تو همون سوال من این جملات را از kb انتخاب میکنم：
P
R v ~Q
~P v Q
~P v ~R v S
الان اگه هر عنصرو با نقیضش حذف کنیم S میمونه
یا مثلا
R v ~Q
~P v Q

این نتیجه میده که R v ~P درسته.

(۰۲ بهمن ۱۳۹۳ ۰۸:۲۳ ب.ظ)artmiss نوشته شده توسط:  این سوالا خیلی اسونن بعد اینکه به فرم cnf نوشتی باید دنبال لیترال های بگردی که وقتی همه عناصری که not اشونم تو اونا هس حذف کنی فقط یک عنصر بمونه اون true هس مثلا تو همون سوال من این لیترالا را از kb انتخاب میکنم：
P
R v ~Q
~P v Q
~P v ~R v S
الان اگه هر عنصرو با نقیضش حذف کنیم S میمونه
یا مثلا
R v ~Q
~P v Q

این نتیجه میده که R v ~P درسته.

جمله ۱ P
جمله ۲ R v ~Q
جمله ۳ ~P v Q
جمله ۴ ~P v ~R v S
خب از این که شما نوشتین به این نتیجه میرسم که از عبارات
P v ~R v~S و عبارت R v~Q میتونیم اونایی که مکمل هم هستن رو حذف کنیم یعنی R و R~ و بعد هرچی مونده رو با هم ادغام میکنم پس عبارت P v ~Q v~S می مونه! و جمله یک و سه هم تکراری اند ! ولی وقتی از این روش حل میکنم به جواب نمیرسم

منظور شما هم این بو د ؟؟؟؟؟؟؟؟؟

نمیدونم چرا این جمله ها بهم ریخته تو کاغذ نوشتم بگیری قضیه رو:

منظورم از لیترال در این عکس جمله اس!!
کلا فلسفش اینه که واقعیات ما تو kb به صورت درست اند هر دو جمله ای رو با هم or بشن هم یک جمله درست میدن (اینو از منطق یا ریاضیات گسسته میدونیم)
ولی دو تا عبارت که نقیض همنن نمیتونم با هم همزمان درس باشن پس اونو حذف میکنیم .
امیدوارم متوجه شده باشی
موفق باشی

خود جمله sرو بتنهایی تو پایگاه داده نداریم ک بگیم trueهست !!چجوری ب این تتیجه رسیدینsدرست هست؟؟؟؟
هر جمله تو پایگاه دادهtrueهست نه هر لیترال!
جمله not p or not R or s جمله درستی هست!!ولی نمیدونیم sدرسته یا نه؟!

(۰۷ بهمن ۱۳۹۳ ۰۸:۴۹ ق.ظ)shamim_70 نوشته شده توسط:  خود جمله sرو بتنهایی تو پایگاه داده نداریم ک بگیم trueهست !!چجوری ب این تتیجه رسیدینsدرست هست؟؟؟؟
هر جمله تو پایگاه دادهtrueهست نه هر لیترال!
جمله not p or not R or s جمله درستی هست!!ولی نمیدونیم sدرسته یا نه؟!

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

سلام خیلی ممنون که وقت گذاشتین و تصویری جواب دادین
یه سوااااال
در مورد این قسمتی که از عکس شما جدا کردم دارم ...میشه بگید چرا Q که در فرم CNF مثبت بود ...اینجا یعنی در اولین نتیجه گیری به تبدیل شد به Q~ ????

(۱۰ بهمن ۱۳۹۳ ۰۱:۴۷ ب.ظ)mary1234 نوشته شده توسط:  سلام خیلی ممنون که وقت گذاشتین و تصویری جواب دادین
یه سوااااال
در مورد این قسمتی که از عکس شما جدا کردم دارم ...میشه بگید چرا Q که در فرم CNF مثبت بود ...اینجا یعنی در اولین نتیجه گیری به تبدیل شد به Q~ ????

خیلی بی حواس بودم موقع جواب دادن به این سوال تو ۴ Q باید Q~ بشه
بعد شما سه خط ۱ و ۴ و ۷ و ۸ رو با هم or کن و اونایی خودشون و نقیضشون هستو حذف کن S میمونه.

(۱۰ بهمن ۱۳۹۳ ۰۲:۵۰ ب.ظ)artmiss نوشته شده توسط:  

(10 بهمن ۱۳۹۳ ۰۱:۴۷ ب.ظ)mary1234 نوشته شده توسط:  سلام خیلی ممنون که وقت گذاشتین و تصویری جواب دادین
یه سوااااال
در مورد این قسمتی که از عکس شما جدا کردم دارم ...میشه بگید چرا Q که در فرم CNF مثبت بود ...اینجا یعنی در اولین نتیجه گیری به تبدیل شد به Q~ ????

خیلی بی حواس بودم موقع جواب دادن به این سوال تو ۴ Q باید Q~ بشه
بعد شما سه خط ۱ و ۴ و ۷ و ۸ رو با هم or کن و اونایی خودشون و نقیضشون هستو حذف کن S میمونه.

سلام ممنووون