پاورپوینت فصل دهم هوش مصنوعي (pptx) 19 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 19 اسلاید
قسمتی از متن PowerPoint (.pptx) :
بنام خدا
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)
استنتاج در منطق رتبه اول
