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

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

پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعي) شامل 19 اسلاید زیبا هست که قابل ویرایش می باشد و به راحتی می توان قالب آن را به مورد دلخواه تغییر داد. در ابتدا بخشی از متن این پاورپوینت را برای شما آورده ایم، سپس فهرست مطالب و پیشنمایش پاورپوینت را برای شما قرار داده ایم تا بتوانید جزئیات آن را مشاهده کنید.

بخشی از متن پاورپوینت استنتاج در منطق رتبه اول

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

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

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

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

مثال:

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

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

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

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

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

Subst(knows(maryam, x), Θ)

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

Subst(knows(y, zahra), Θ)

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

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

خروجي: Θ = {y/maryam, x/mother(maryam)}

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

خروجي: Θ = false

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

پیشنمایش پاورپوینت