۰
subtitle
ارسال: #۱
الگوریتم رزولوشن
با الگوریتم رزولوشن چه نتیجه ای از پایگاه دانش زیر میگیرید؟
a∨b∨c
¬a∨¬b∨d
a∨b∨c
¬a∨¬b∨d
۱
ارسال: #۲
RE: الگوریتم رزولوشن
ممنون که این همه توضیح دادی
ولی هدف من از این سوال ۱ نکته بود که حتی بعضی کتابهای کنکوری هم ازش غفلت کردن.
این پایگاه دانش ۲ جمله ای فرضی بود.
اگه از این پایگاه دانش c∨d رو نتیجه گرفتی،باید بگم که کاملا اشتباست
نمیشه ۲ لیترال a,b رو همزمان ازش حذف کرد.چون اصلا این کار از پایه غیر منطقیه.
از الگوریتم رزولوشن اینجوری میشه در مورد پایگاه دانش بالا استفاده کرد:
b∨¬b∨c∨d=true
ولی هدف من از این سوال ۱ نکته بود که حتی بعضی کتابهای کنکوری هم ازش غفلت کردن.
این پایگاه دانش ۲ جمله ای فرضی بود.
اگه از این پایگاه دانش c∨d رو نتیجه گرفتی،باید بگم که کاملا اشتباست
نمیشه ۲ لیترال a,b رو همزمان ازش حذف کرد.چون اصلا این کار از پایه غیر منطقیه.
از الگوریتم رزولوشن اینجوری میشه در مورد پایگاه دانش بالا استفاده کرد:
b∨¬b∨c∨d=true
۰
ارسال: #۴
RE: الگوریتم رزولوشن
نکته ای رو که میگی دقیقا توی پارسه گفته شده.
بعدش باز هم یه گندی راهیان ارشد زده.چرا؟؟ نیومده کلا بگه این کار غیر منطقیه؛ فقط در طرف دوم هر عبارتی که قابلیت رزولوشن داره (عباراتی که ترکیب فصلی هستند) یک دونه نقیض وارد کرده، یعنی سمت دوم هر حالت رو یک نقیض زده،چه در رزولوشن واحد و چه در کلیت قانون رزولوشن.(اینو به این صورت میشه تفسیر کرد که تنها یک نقیض میشه در یک سمت از عبارات داشته باشیم،که البته توجیه منه تا تفسیر واقعی،شاید بشه دو تا نقیض داشت و اما تنها یکی رو حذف کرد،درست عین سوال تو)خاک بر سر راهیان ارشد
کاری که پارسه کرده اینه که در هر دو سمت دو عبارتی که قراره رزولوشن کنیم تنها ترکیب فصلی گذاشته،و صراحتا و در قالب یک نکته گفته که که بیش از یک عبارت نمیتونیم حذف کنیم.
سپاس به خاطر دقتت
مثال پارسه رو هم بزنم اینجا هم به خاطر خودِ بد بختم
هم به خاطر دوستانی که سر میزنن،البته گفته ی رضا کاملا صحیح و کامله اما یه مثال آب پاکی رو بهتر روی دست همه میریزه:
مثال ۹ صفحه ۱۵۵ پارسه(کتابشو تازه خریدم)
ابتدا یه نکته : در هر بار رزولوشن زدن فقط مجاز هستیم یک زوج عبارت را حذف کنیم و نه بیشتر
اگر عبارت های ∼l2∨l3∨l5 و l1∨l2∨l4∨∼l5
را داشته باشیم؛یک بار میتوانیم روی زوج (l2و∼l2) رزولوشن بزنیم که نتیجه میشود :
(l1∨l4∨∼l5∨l5)
این عبارت به دلیل وجود ∼l5∨l5همیشه درست خواهد بود (true) و بار دیگر روی زوج (∼l5وl5)
که نتیجه میشود : (l1∨l2∨l4∨∼l2∨l3)
که به دلیل وجود : (l2,∼l2) این جمله هم TRUE خواهد بود. اما عبارت : l1∨l4∨l3
نتیجه ی رزولوش این دو عبارت نخواهد بود
بعدش باز هم یه گندی راهیان ارشد زده.چرا؟؟ نیومده کلا بگه این کار غیر منطقیه؛ فقط در طرف دوم هر عبارتی که قابلیت رزولوشن داره (عباراتی که ترکیب فصلی هستند) یک دونه نقیض وارد کرده، یعنی سمت دوم هر حالت رو یک نقیض زده،چه در رزولوشن واحد و چه در کلیت قانون رزولوشن.(اینو به این صورت میشه تفسیر کرد که تنها یک نقیض میشه در یک سمت از عبارات داشته باشیم،که البته توجیه منه تا تفسیر واقعی،شاید بشه دو تا نقیض داشت و اما تنها یکی رو حذف کرد،درست عین سوال تو)خاک بر سر راهیان ارشد
کاری که پارسه کرده اینه که در هر دو سمت دو عبارتی که قراره رزولوشن کنیم تنها ترکیب فصلی گذاشته،و صراحتا و در قالب یک نکته گفته که که بیش از یک عبارت نمیتونیم حذف کنیم.
سپاس به خاطر دقتت
مثال پارسه رو هم بزنم اینجا هم به خاطر خودِ بد بختم
هم به خاطر دوستانی که سر میزنن،البته گفته ی رضا کاملا صحیح و کامله اما یه مثال آب پاکی رو بهتر روی دست همه میریزه:مثال ۹ صفحه ۱۵۵ پارسه(کتابشو تازه خریدم)
ابتدا یه نکته : در هر بار رزولوشن زدن فقط مجاز هستیم یک زوج عبارت را حذف کنیم و نه بیشتر
اگر عبارت های ∼l2∨l3∨l5 و l1∨l2∨l4∨∼l5
را داشته باشیم؛یک بار میتوانیم روی زوج (l2و∼l2) رزولوشن بزنیم که نتیجه میشود :
(l1∨l4∨∼l5∨l5)
این عبارت به دلیل وجود ∼l5∨l5همیشه درست خواهد بود (true) و بار دیگر روی زوج (∼l5وl5)
که نتیجه میشود : (l1∨l2∨l4∨∼l2∨l3)
که به دلیل وجود : (l2,∼l2) این جمله هم TRUE خواهد بود. اما عبارت : l1∨l4∨l3
نتیجه ی رزولوش این دو عبارت نخواهد بود