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

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)
استنتاج در منطق رتبه اول

5
یکسان سازی (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}
استنتاج در منطق رتبه اول

6
قوانین استنتاج در منطق مرتبه اول
تمام قوانین استنتاج در منطق گزاره ای
قانون حذف سور عمومی
قانون حذف سور وجودی
قانون معرفی سور وجودی
استنتاج در منطق رتبه اول

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

8
2- قانون حذف سور عمومی
در سور عمومی، همیشه می توان یک متغیر را با ثابت جایگزین کرد.
مثلاً از x Likes(x , IceCream) با جایگزینی {x/Ben} می توان جمله زیر را استنتاج کرد:
Likes(Ben , IceCream)
استنتاج در منطق رتبه اول

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

10
3- قانون حذف سور وجودی
سور وجودی حداقل برای یک شی، درست است.
نامی فرضی برای این شیء در نظر می گیریم، که قبلا در پایگاه دانش وجود نداشته باشد (K).
مثلاً از x Likes(x , IceCream) می توان جمله Likes(M1 , IceCream) را استنتاج کرد؛ اگر M1 قبلاً در پایگاه دانش وجود نداشته باشد.

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

11
4- قانون معرفی سور وجودی
از درست بودن یک عبارت برای یک ثابت، می توان یک سور وجودی استنتاج کرد.
مثلاً از Likes(Jerry , IceCream) می توان جمله زیر را استنتاج کرد
x :Likes(x , IceCream)
استنتاج در منطق رتبه اول

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

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

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

15
سه روش:
استنتاج در منطق رتبه اول
تبدیل جملات به فرم Horn و زنجیره رو به جلو (فصل 12 کتاب جلوه گر)
تبدیل جملات به فرم Horn و زنجیره رو به عقب (فصل 12 کتاب جلوه گر)
تبدیل جملات به فرم CNF و استفاده از الگوریتم resolution

16
تبدیل به فرم CNF و استفاده از الگوریتمResolution
استنتاج در منطق رتبه اول
؟؟؟؟

17