زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۰۶:۳۶ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

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

ارسال:
  

reza.bsh پرسیده:

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

با الگوریتم رزولوشن چه نتیجه ای از پایگاه دانش زیر میگیرید؟

[tex]a\vee b\vee c[/tex]
[tex]\neg a\vee\neg b\vee d[/tex]
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

reza.bsh پاسخ داده:

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

ممنون که این همه توضیح دادی
ولی هدف من از این سوال ۱ نکته بود که حتی بعضی کتابهای کنکوری هم ازش غفلت کردن.

این پایگاه دانش ۲ جمله ای فرضی بود.

اگه از این پایگاه دانش [tex]c\vee d[/tex] رو نتیجه گرفتی،باید بگم که کاملا اشتباست

نمیشه ۲ لیترال a,b رو همزمان ازش حذف کرد.چون اصلا این کار از پایه غیر منطقیه.

از الگوریتم رزولوشن اینجوری میشه در مورد پایگاه دانش بالا استفاده کرد:
[tex]b\vee\neg b\vee c\vee d=true[/tex]
نقل قول این ارسال در یک پاسخ

ارسال:
  

sahabi2015 پاسخ داده:

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

کاملا درسته
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Saman پاسخ داده:

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

نکته ای رو که میگی دقیقا توی پارسه گفته شده.
بعدش باز هم یه گندی راهیان ارشد زده.چرا؟؟ نیومده کلا بگه این کار غیر منطقیه؛ فقط در طرف دوم هر عبارتی که قابلیت رزولوشن داره (عباراتی که ترکیب فصلی هستند) یک دونه نقیض وارد کرده، یعنی سمت دوم هر حالت رو یک نقیض زده،چه در رزولوشن واحد و چه در کلیت قانون رزولوشن.(اینو به این صورت میشه تفسیر کرد که تنها یک نقیض میشه در یک سمت از عبارات داشته باشیم،که البته توجیه منه تا تفسیر واقعی،شاید بشه دو تا نقیض داشت و اما تنها یکی رو حذف کرد،درست عین سوال تو)خاک بر سر راهیان ارشد

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


مثال پارسه رو هم بزنم اینجا هم به خاطر خودِ بد بختم Big Grin هم به خاطر دوستانی که سر میزنن،البته گفته ی رضا کاملا صحیح و کامله اما یه مثال آب پاکی رو بهتر روی دست همه میریزه:
مثال ۹ صفحه ۱۵۵ پارسه(کتابشو تازه خریدم)
ابتدا یه نکته : در هر بار رزولوشن زدن فقط مجاز هستیم یک زوج عبارت را حذف کنیم و نه بیشتر
اگر عبارت های [tex]\sim l_2\vee\: l_3\vee\: l_5\: [/tex] و [tex]l_1\: \vee\: \: l_2\: \vee\: l_4\: \vee\: \sim\: l_5\: [/tex]
را داشته باشیم؛یک بار میتوانیم روی زوج [tex](l_{_2}\: و\: \: \sim l_2)[/tex] رزولوشن بزنیم که نتیجه میشود :
[tex](l_1\: \: \vee\: l_4\: \: \vee\sim l_5\: \: \: \vee\: l_5\: \: \: )[/tex]
این عبارت به دلیل وجود [tex]∼l5∨l5[/tex]همیشه درست خواهد بود (true) و بار دیگر روی زوج [tex](\sim l_5\: \: و\: l_5\: \: \: )[/tex]
که نتیجه میشود : [tex](l_1\vee l_2\: \vee\: l_4\: \vee\: \sim l_2\: \vee\: l_3\: \: )[/tex]
که به دلیل وجود : [tex](l_2\: ,\: \sim l_2\: \: \: )[/tex] این جمله هم TRUE خواهد بود. اما عبارت : [tex]l_1\vee\: l_4\vee\: l_3[/tex]
نتیجه ی رزولوش این دو عبارت نخواهد بود
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  رزولوشن(هوش مصنوعی) سراسری ۸۶ مهندسی کامپیوتر Saman ۸ ۴,۴۳۶ ۲۳ مهر ۱۳۹۵ ۰۶:۰۱ ب.ظ
آخرین ارسال: M a h d i
  ۱۷۱ نرم افزار و ۱۹۸ الگوریتم - شبانه الگوریتم دانشگاه تهران axarsu ۱ ۲,۴۵۶ ۰۸ شهریور ۱۳۹۵ ۰۸:۳۶ ب.ظ
آخرین ارسال: majidgeek
  ۲۴۲ الگوریتم ،۳۷۱ نرم. الگوریتم برم یا نرم افزار؟ azamcheraghi ۱۱ ۷,۲۱۸ ۰۳ تیر ۱۳۹۵ ۱۱:۳۸ ق.ظ
آخرین ارسال: azamcheraghi
  الگوریتم رزولوشن کامپیوتر ۸۸ sahabi2015 ۹ ۴,۳۴۴ ۲۵ اسفند ۱۳۹۴ ۰۷:۰۳ ب.ظ
آخرین ارسال: LEA3C
  ابهام در الگوریتم رزولوشن sahabi2015 ۵ ۲,۶۹۵ ۱۱ اسفند ۱۳۹۴ ۱۱:۳۲ ب.ظ
آخرین ارسال: sahabi2015
  نکات ریز رزولوشن - هورن - BC :) shirin0101 ۵ ۲,۹۶۷ ۰۲ بهمن ۱۳۹۴ ۱۲:۳۸ ب.ظ
آخرین ارسال: shirin0101
  سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟) teraktor2003 ۵ ۳,۲۰۲ ۱۳ آذر ۱۳۹۴ ۰۶:۳۵ ب.ظ
آخرین ارسال: Jooybari
  مشکل در الگوریتم جایگزینی (الگوریتم ساعت ) araz22 ۶ ۴,۷۲۱ ۱۹ مهر ۱۳۹۴ ۱۰:۲۴ ب.ظ
آخرین ارسال: so@
  ۸ الگوریتم ۱۲ نرم افزار ۱۵ علوم -- نرم افزار شریف گرایش الگوریتم ahrmb ۲ ۱,۸۴۱ ۰۸ مهر ۱۳۹۴ ۰۶:۴۳ ب.ظ
آخرین ارسال: ahrmb
  ۱۴۷ نرم افزار و ۱۱۶ الگوریتم - الگوریتم روزانه تهران slaf83 ۱۴ ۹,۵۵۳ ۲۴ شهریور ۱۳۹۴ ۱۱:۴۵ ق.ظ
آخرین ارسال: slaf83

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close