دانلود فایل پاورپوینت هوش مصنوعی

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

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

اسلاید 1 :

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

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

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

Ã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

اسلاید 9 :

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