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

لینک دانلود خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل : .ppt ( قابل ویرایش اماده پرینت )

تعداد : 17 اسلاید

قسمتی متن:

فهرست

• یکسان سازی
• قوانین استنتاج منطق مرتبه اول
• بررسی یک مثال

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

• Unify، تابع یکسان سازی دو عبارت عنوان ورودی دریافت می کند. تابع، مقدار متغیرهای دو عبارت گونه تغییر می دهد دو عبارت یکسان شوند.
• خروجی تابع، یک لیست جایگزینی است.
• مثال:

Unify(knows(maryam, x), knows(y, zahra))

خروجی: Θ = {y/maryam, x/zahra}  

نمونه تصاویر اسلایدها: