مرجع دانلود پاورپوینت های درسی

حجم فایل : 587.3 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 19
بنام خدا 2 استنتاج در منطق رتبه اول(هوش مصنوعي) 3 هوش مصنوعي Artificial Intelligence فهرست يکسان سازي
قوانين استنتاج در منطق مرتبه اول
بررسي يک مثال 4 يکسان سازي (Unification) Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.
خروجي اين تابع، يک ليست جايگزيني است.
مثال:
Unify(knows(maryam, x), knows(y, zahra))
خروجي: Θ = {y/maryam, x/zahra} استنتاج در منطق رتبه اول 5 يکسان سازي (Unification) Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند.
خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است.
مثال: فرض کنيم Θ = {y/maryam, x/zahra} است.
Subst(knows(maryam, x), Θ)
خروجي: knows(maryam, zahra)

Subst(knows(y, zahra), Θ)
خروجي: knows(maryam, zahra) استنتاج در منطق رتبه اول 6 يکسان سازي (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} استنتاج در منطق رتبه اول 7 قوانين استنتاج در منطق مرتبه اول تمام قوانين استنتاج در منطق گزاره اي
قانون حذف سور عمومي
قانون حذف سور وجودي
قانون معرفي سور وجودي استنتاج در منطق رتبه اول 8 1-قوانين استنتاج در منطق گزاره ای استنتاج در منطق رتبه اول 9 2- قانون حذف سور عمومي در سور عمومي، هميشه مي توان يک متغير را با ثابت جايگزين کرد.
مثلاً از x Likes(x , IceCream) با جايگزيني {x/Ben} مي توان جمله زير را استنتاج کرد:
Likes(Ben , IceCream) استنتاج در منطق رتبه اول 10 استنتاج در منطق رتبه اول 11 3- قانون حذف سور وجودي سور وجودي حداقل براي يک شي، درست است.
نامي فرضي براي اين شيء در نظر مي گيريم، که قبلا در پايگاه دانش وجود نداشته باشد (K).
مثلاً از x Likes(x , IceCream) مي توان جمله Likes(M1 , IceCream) را استنتاج کرد؛ اگر M1 قبلاً در پايگاه دانش وجود نداشته باشد.
استنتاج در منطق رتبه اول 12 4- قانون معرفي سور وجودي از درست بودن يک عبارت براي يک ثابت، مي توان يک سور وجودي استنتاج کرد.
مثلاً از Likes(Jerry , IceCream) مي توان جمله زير را استنتاج کرد
x :Likes(x , IceCream) استنتاج در منطق رتبه اول 13 استنتاج در منطق مرتبه اول - مثال استنتاج در منطق رتبه اول 14 تبديل جملات به فرم منطق مرتبه اول استنتاج در منطق رتبه اول 15 تبديل جملات به فرم منطق مرتبه اول استنت...