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

بخشی از پاورپوینت

--- پاورپوینت شامل تصاویر میباشد ----

اسلاید 1 :

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

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

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

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

مثال:

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

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

اسلاید 2 :

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

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

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

Subst(knows(maryam, x), Θ)

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

Subst(knows(y, zahra), Θ)

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

اسلاید 3 :

Ã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}

اسلاید 4 :

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

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

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

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

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

اسلاید 5 :

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

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

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

Likes(Ben , IceCream)

اسلاید 6 :

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

سور وجودي حداقل براي يک شي، درست است.

نامي فرضي براي اين شيء در نظر مي گيريم، که قبلا در پايگاه دانش وجود نداشته باشد (K).

مثلاً از $x Likes(x , IceCream) مي توان جمله Likes(M1 , IceCream) را استنتاج کرد؛ اگر M1 قبلاً در پايگاه دانش وجود نداشته باشد.

اسلاید 7 :

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

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

مثلاً از Likes(Jerry , IceCream) مي توان جمله  زير را استنتاج کرد

$x :Likes(x , IceCream)

اسلاید 8 :

سه روش:

تبديل جملات به فرم Horn و زنجيره رو به جلو (فصل 12 کتاب جلوه گر)

تبديل جملات به فرم Horn و زنجيره رو به عقب (فصل 12 کتاب جلوه گر)

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