نمايش پست تنها
قديمي ۱۰-۱۷-۱۳۹۷, ۰۷:۰۵ قبل از ظهر   #1 (لینک دائم)
Hadi.khan.30 Male
عضو جدید
 
آواتار Hadi.khan.30
 
تاريخ عضويت: دي ۱۳۹۷
پست ها: 2
تشكرها: 0
0 تشكر در 0 پست
Exclamation درخواست حل مسله پرويز در محل جرم

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

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

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

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

  #ADS
نشان دهنده تبلیغات
تبليغگر
 
 
 
تاريخ عضويت: -
محل سكونت: -
سن: 2010
پست ها: -
 

نشان دهنده تبلیغات is online