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

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

ارسال:
  

sahabi2015 پرسیده:

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

برای اثبات درستی گزاره ی [tex]\sim t[/tex] با استفاده از الگوریتم رزولوشن بطور هوشمندانه حداقل چند قانون باید باهم ترکیب شوند؟

۱- سه
۲-چهار
۳-پنج
۴-شش
(پاسخ مدرسان بسیار عجیب بود)

[tex]\sim u[/tex]

[tex]p\vee\sim q[/tex]

[tex]r\vee\sim s[/tex]

[tex]t\longrightarrow\sim p[/tex]

[tex]u\vee(\sim s\wedge q)[/tex]

[tex]q\vee m[/tex]
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Saman پاسخ داده:

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

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

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

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

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
[تصویر:  397756_viewer.php%3Ffile%3Dbcur_%25DB%25...B%25B2.jpg]

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

۰
ارسال:
  

archer22 پاسخ داده:

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

پاسخ مدرسان چند بود مگه؟
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

sahabi2015 پاسخ داده:

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

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

ممنون میشم دوباره ارسال کنیدHeart
نقل قول این ارسال در یک پاسخ

ارسال:
  

Saman پاسخ داده:

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

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

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

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

۰
ارسال:
  

sahabi2015 پاسخ داده:

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


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


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

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

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

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

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

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

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

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
Question یک نکته ابهام marvelous ۶ ۵,۴۸۰ ۰۹ دى ۱۳۹۸ ۰۱:۳۰ ب.ظ
آخرین ارسال: marvelous
  رفع ابهام در ر ابطه با سوالات پایگاه داده کنکور دکترا نرم افزار ۹۶ mos_hos ۷ ۸,۳۷۷ ۳۰ دى ۱۳۹۶ ۰۱:۱۲ ق.ظ
آخرین ارسال: nick2006
  سوال و ابهام در مورد تست گسسته ۹۵ آیتی Mehdi.Sarf ۳ ۳,۵۱۶ ۰۲ مرداد ۱۳۹۶ ۱۲:۳۳ ب.ظ
آخرین ارسال: Jooybari
  ابهام در دستور SQL peace2013 ۰ ۱,۶۷۹ ۱۷ فروردین ۱۳۹۶ ۰۸:۵۱ ب.ظ
آخرین ارسال: peace2013
  لطفا کمک ؟!!! کنکور ای تی در هاله ای از ابهام majid10 ۱ ۲,۰۶۴ ۲۵ مهر ۱۳۹۵ ۰۱:۱۷ ب.ظ
آخرین ارسال: edward71
  رزولوشن(هوش مصنوعی) سراسری ۸۶ مهندسی کامپیوتر Saman ۸ ۵,۰۶۲ ۲۳ مهر ۱۳۹۵ ۰۶:۰۱ ب.ظ
آخرین ارسال: M a h d i
  ۱۷۱ نرم افزار و ۱۹۸ الگوریتم - شبانه الگوریتم دانشگاه تهران axarsu ۱ ۲,۷۰۳ ۰۸ شهریور ۱۳۹۵ ۰۸:۳۶ ب.ظ
آخرین ارسال: majidgeek
  ۲۴۲ الگوریتم ،۳۷۱ نرم. الگوریتم برم یا نرم افزار؟ azamcheraghi ۱۱ ۸,۳۰۱ ۰۳ تیر ۱۳۹۵ ۱۱:۳۸ ق.ظ
آخرین ارسال: azamcheraghi
  ابهام در درخت بازگشتی irpersian20 ۱ ۱,۷۶۵ ۱۸ اردیبهشت ۱۳۹۵ ۰۷:۳۶ ب.ظ
آخرین ارسال: fatemeh69
  ابهام در محاسبه CDF irpersian20 ۶ ۳,۱۳۳ ۲۵ فروردین ۱۳۹۵ ۱۰:۳۲ ق.ظ
آخرین ارسال: Jooybari

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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