Hadi.khan.30

دوستا سلام. لطفا در حل مسله پایین همرایی ام کنید.

مي‌خواهيم با كمك الگوريتم resolution از مفروضات زير، حكم زير را نتيجه بگيريم:

مفروضات: اگر پرويز در محل جرم بوده؛ آنگاه كيومرث نيز در محل جرم بوده است.
كيومرث در محل جرم نبوده است يا رضا در محل جرم بوده است.
رضا در محل جرم نبوده است.
اينطور نيست كه (سهند در محل جرم بوده است و پرويز در محل جرم نبوده است.)
حكم: سهند در محل جرم نبوده است.

بايد نشان دهيم (KB ^ ¬a) به نتاقض برخورد مي کند.
قبل از هر چيز بايد (KB ^ ¬a) را به فرم CNF تبديل کنيم.