پایگاه دانش زیر مفروض است. کدام یک از گزینه های زیر با استفاده از روش رزولوشن از این پایگاه دانش قابل استنتاج است؟
البته طبق کتاب راهیان ارشد جواب درست گزینه ۱ میشه ولی من نمی دونم چطوری میشه؟ لطفا برام روش حلشو توضیح بدین.
P
V or T
not P or U
r or not q
W آنگاه V
Q آنگاه P
U OR T آنگاه S
S آنگاه P and R
گزینه ها:
۱) S
W (2
V (3
T (4
روال رزولوشن چه جوری بود؟ اول باید به فرم cnf در بیاریم پایگاه دانش مون را و بعد با اضافه کردن نقیض حکم (در واقع نقیض همون گزینه های سوال ) به تناقض یا اصطلاحا اشتراک یه گزاره با نقیض اش برسیم.
با اضافه کردن ~S ما می توانیم به کمک U OR T آنگاه S به u and ~T ~ برسیم. از این هم که ~U نتیجه می شه و با
not P or U به ~p می رسیم که با اشتراک با p به تناقض رسیدن مان اثبات شد.
اما درمورد گزینه های دیگه مثلا گزینه ۲ که هیچ وقت ما را به تناقض نمی رساند چون ما از اضافه کردن نقیض اش هر گز به تناقض نخواهیم رسید به خاطر بودن فقط نقیض اش در پایگاه .(W آنگاه V )
۳و ۴ هم با دنبال کردنشان می توانیم متوجه بشیم که به تناقض نمی رسیم.