سلام خسته نباشید

شما باید ابتدا جملات به cnf تبدیل کنید که ای کار رو انجام دادید حال باید این جملات را لا هم ترکیب کنید تا به هر یک ازگزینه برسید ، تو ترکیب کردن وطبق قضیه رزولیشن اگر دو عبارت ساده نقص هم باشند آنگاه رزولیشن آن دو تهی می شود .

حالا گزینه ها رو بررسی می کنیم در

گزینه ۱:

باترکیب دو جمله( ۲و۳ ) R ∨ C ∨ -B ، A ∨ B ∨ -C در نتیجه b ,c حذ ف می شوند و تنها A ∨ R

گزینه ۲:

باترکیب دو جمله( ۱و۲و۴) C ∨ -K ، A ∨ B ∨ -C در نتیجه Cحذ ف می شوند و می شود A ∨ B ∨ -K حالا با ترکیب این با K پس Kحذف می شود و می ماند A ∨B

گزینه ۳: را نمی شود بدست آورد از این قانون رزولیشن پس نادرست است.

گزینه ۴:

منظور یک عبارت صحیح است که (۱و۴) K ، C ∨ -K عبارت درست C حاصل می شود..

موفق باشید همگی

(۲۶ آذر ۱۳۹۲ ۱۱:۵۷ ب.ظ)masoomeh_s نوشته شده توسط:  پ
گزینه ۱:

باترکیب دو جمله( ۲و۳ ) R ∨ C ∨ -B ، A ∨ B ∨ -C در نتیجه b ,c حذ ف می شوند و تنها A ∨ R

ببخشید من فقط یه چیزی بگم اینکه اشتباهی که کتاب راهیان کرده رو نکنید. راهیان فرض کرده اگر در قاعده رزولوشن بیشتر از یک جفت مکمل داشته باشیم همزمان میشه همشو با یه بار رزولوشن حذف کرد. و این کاملا غلطه چون هر بار میشه میشه فقط "یک جفت" از مکمل ها رو حذف کرد. واسه همین راهیا گزینه ۱ رو درست گرفته.
این رو ببینید:

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


من خیلی از راهیان تعجب میکنم که چرا کتابش پر از اشکالات بدیهیه؟
فصل عامل های مبتنی بر دانشش پر از غلطه.

(۲۳ آذر ۱۳۹۲ ۱۱:۳۸ ق.ظ)mhd3 نوشته شده توسط:  سلام.
فرض کنید در یک KB داشته باشیم:
C => -K-
C => A ∨ B
B => R ∨ C
K ∧ -M
کدام یک از جملات زیر با استفاده از رزولوشن از این پایگاه قابل استنتاج نیست؟؟
A ∨ R
A ∨ B
A ∨ K
true
---------------------------------------------------------------------------------------------------------
من جملات پایگاه دانش رو به فرم CNF مینویسم که وقتتون گرفته نشه:
C ∨ -K
A ∨ B ∨ -C
R ∨ C ∨ -B
K
M-
--------------------------------------------------------------------------------------------------------
راهیان گفته گزینه ۳!!
اما گزینه ۳ خیلی بدیهیه که از این پایگاه بدست میاد.
من خودک گزینه ۱ رو نمیتونم به دست بیارم. یعنی میرسم به این: B ∨ -C و C ∨ -B
که نمیدونم باید چکار کنم با اینا.
ممنون میشم توضیح بدید.

این دقیقا سوال منم هست ولی من میگم A OR K بدست نمیاد و TRUE؟؟؟؟؟؟؟؟

گزینه ۱ اینطوری بدست میاد:
A ∨ B ∨ -C && R ∨ C ∨ -B
براحتی B با نات B و C با نات C رزولوشن میشه (از بین میره)

A OR K رو چطوری بدست میاری (دقت کن ک از قواعد درسی باید استفاده کنی )

باشه دقت میکنم :دی

A or K رو متمم کنید و به پایگاه اضاف کنید
داریم:

C ∨ -K
A ∨ B ∨ -C
R ∨ C ∨ -B
K
M-
K-
A-
خوب دیگه از این واضحتر؟!!
اگه اشتباهه بگید لطفا.

این سوال کدوم صفحه کتاب راهیان است و اینکه طبق الگوریتم ، مگه نباید [tex]KB \wedge \sim \alpha[/tex]
رو به فرم CNF تبدیل کرد؟؟؟ پس چرا [tex]\sim \alpha[/tex]
رو در نظر نگرفیتن؟

(۰۱ بهمن ۱۳۹۲ ۱۱:۵۸ ق.ظ)zeinab نوشته شده توسط:  این سوال کدوم صفحه کتاب راهیان است و اینکه طبق الگوریتم ، مگه نباید [tex]KB \wedge \sim \alpha[/tex]
رو به فرم CNF تبدیل کرد؟؟؟ پس چرا [tex]\sim \alpha[/tex]
رو در نظر نگرفیتن؟

ص ۲۷۸
چرا باید در نظر گرفت