X
تبلیغات
وکیل جرایم سایبری

دنیای اینترنت

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


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

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

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

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


 قسمتی متن .ppt : 

 

1

استنتاج منطق رتبه اول(هوش مصنوعی)

2

هوش مصنوعی Artificial Intelligence

فهرست

یکسان سازی

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

بررسی یک مثال

3

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

Unify، تابع یکسان سازی دو عبارت عنوان ورودی دریافت کند. تابع، مقدار متغیرهای دو عبارت گونه تغییر دهد دو عبارت یکسان شوند.

خروجی تابع، یک لیست جایگزینی است.

مثال:

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

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

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

4

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

Subst، تابع جایگزینی یک عبارت یک لیست جایگزینی عنوان ورودی دریافت کند. تابع، متغیرهای عبارت استفاده لیست جایگرینی مقداردهی کند.

خروجی تابع، یک عبارت تغییر یافته عبارت ورودی است.

مثال: فرض کنیم Θ = {y/maryam, x/zahra} است.

Subst(knows(maryam, x), Θ)

خروجی: knows(maryam, zahra)

Subst(knows(y, zahra), Θ)

خروجی: knows(maryam, zahra)

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