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

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

توضیحات:

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

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

قسمتی از متن .ppt :

هوش مصنوعي Artificial Intelligence

فهرست

يکسان سازي

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

بررسي يک مثال

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

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

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

مثال:

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

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

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

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

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

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

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

Subst(knows(maryam, x), Θ)

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

Subst(knows(y, zahra), Θ)

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

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