۰
subtitle
ارسال: #۱
ابهام در الگوریتم رزولوشن
برای اثبات درستی گزاره ی [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]
۱- سه
۲-چهار
۳-پنج
۴-شش
(پاسخ مدرسان بسیار عجیب بود)
[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]
۱
ارسال: #۲
RE: ابهام در الگوریتم رزولوشن
اصلاح کردم،چرا باز نمیشن!!!
منم این سوال رو اشتباه زدم،واقعا سوال قشنگیه.خیلی حرفه ای طراحی شده.
این پاسخشه : دقیقا باید روال الگوریتم رزولوشن رو با توجه به اینکه بدونیم تغییرات CNF چطور رخ میدهند طی کنیم.(یه سوالم آخرش پرسیدم،حتما بهش فکر کنید)
------------
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
![[تصویر: 397756_viewer.php%3Ffile%3Dbcur_%25DB%25...B%25B2.jpg]](https://img.manesht.ir/397756_viewer.php%3Ffile%3Dbcur_%25DB%25B2%25DB%25B0%25DB%25B1%25DB%25B6%25DB%25B0%25DB%25B2%25DB%25B2%25DB%25B9_%25DB%25B2%25DB%25B2%25DB%25B5%25DB%25B2%25DB%25B5%25DB%25B2.jpg)
جواب پاسخنامه ی مدرسانم اشتباهه.تستا رو از یه جای دیگه میدزده بعدش میگه "تست فوق نوآوری میباشد"حالا توی گزینه ها قاطی کرده فک کنم
منم این سوال رو اشتباه زدم،واقعا سوال قشنگیه.خیلی حرفه ای طراحی شده.
این پاسخشه : دقیقا باید روال الگوریتم رزولوشن رو با توجه به اینکه بدونیم تغییرات CNF چطور رخ میدهند طی کنیم.(یه سوالم آخرش پرسیدم،حتما بهش فکر کنید)
------------
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
جواب پاسخنامه ی مدرسانم اشتباهه.تستا رو از یه جای دیگه میدزده بعدش میگه "تست فوق نوآوری میباشد"حالا توی گزینه ها قاطی کرده فک کنم
۰
۰
ارسال: #۴
RE: ابهام در الگوریتم رزولوشن
ممنونم از لطفتون
اما هیچکدام از لینک ها باز نمیشه
ممنون میشم دوباره ارسال کنید
اما هیچکدام از لینک ها باز نمیشه
ممنون میشم دوباره ارسال کنید
ارسال: #۵
RE: ابهام در الگوریتم رزولوشن
۰
ارسال: #۶
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 کنیم ,؟
منظور سوال از تعداد قانون های ترکیبی چیه ؟
تو این سوال چهار ترکیب ۲ تایی داریم . که در مجموع ۸ قانون میشود
البته با توجه به راهنمایی صورت سوال از ترکیب
پاسخ مدرسان درسته و ۴میشود
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close