پاورپوینت درباره هوش مصنوعي ، ادامه فصل دهم، استنتاج در منطق رتبه اول

دسته بندي : فنی مهندسی » کامپیوتر و فناوری اطلاعات
این فایل حاوی 17 اسلاید درباره هوش مصنوعي ، ادامه فصل دهم، استنتاج

در منطق رتبه اول می باشد


فایل شامل:

يکسان سازي (Unification)

قوانين استنتاج در منطق مرتبه اول

تبديل جملات به فرم منطق مرتبه اول

تبديل به فرم CNF و استفاده از الگوريتمResolution



قسمتی از فایل:

قوانين استنتاج در منطق مرتبه اول

1-تمام قوانين استنتاج در منطق گزاره اي

2-قانون حذف سور عمومي

3-قانون حذف سور وجودي

4-قانون معرفي سور وجودي




-قانون حذف سور عمومي

در سور عمومي، هميشه مي توان يک متغير را با ثابت جايگزين کرد.

مثلاً از x Likes(x , IceCream) با جايگزيني {x/Ben} مي توان جمله زير

را استنتاج کرد:

Likes(Ben , IceCream)


و.........
دسته بندی: فنی مهندسی » کامپیوتر و فناوری اطلاعات

تعداد مشاهده: 90 مشاهده

فرمت فایل دانلودی:.ppt

فرمت فایل اصلی: ppt

تعداد صفحات: 17

حجم فایل:1,449 کیلوبایت

 قیمت: 6,000 تومان
پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.   پرداخت و دریافت فایل