هوش مصنوعی (استنتاج در منطق رتبه اول)
اسلاید 1: 1هوش مصنوعيفصل دهم (ادامه)استنتاج در منطق رتبه اول
اسلاید 2: 2هوش مصنوعي Artificial Intelligenceفهرستيکسان سازي قوانين استنتاج در منطق مرتبه اولبررسي يک مثال
اسلاید 3: 3يکسان سازي (Unification)Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.خروجي اين تابع، يک ليست جايگزيني است.مثال: Unify(knows(maryam, x), knows(y, zahra))خروجي: Θ = {y/maryam, x/zahra} استنتاج در منطق رتبه اول
اسلاید 4: 4يکسان سازي (Unification)Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند.خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است.مثال: فرض کنيم Θ = {y/maryam, x/zahra} است.Subst(knows(maryam, x), Θ)خروجي: knows(maryam, zahra)Subst(knows(y, zahra), Θ)خروجي: knows(maryam, zahra)استنتاج در منطق رتبه اول
اسلاید 5: 5يکسان سازي (Unification)Unify(knows(maryam, x), knows(y, mother(y))خروجي: Θ = {y/maryam, x/mother(maryam)}Unify(knows(maryam, x), knows(x, zahra))خروجي: Θ = falseUnify(knows(maryam, x), knows(y, z)خروجي: Θ = {y/maryam, x/z}, or {y/maryam, z/x}استنتاج در منطق رتبه اول
اسلاید 6: 6قوانين استنتاج در منطق مرتبه اولتمام قوانين استنتاج در منطق گزاره ايقانون حذف سور عموميقانون حذف سور وجوديقانون معرفي سور وجودياستنتاج در منطق رتبه اول
اسلاید 7: 71-قوانين استنتاج در منطق گزاره ایاستنتاج در منطق رتبه اول
اسلاید 8: 82- قانون حذف سور عموميدر سور عمومي، هميشه مي توان يک متغير را با ثابت جايگزين کرد.مثلاً از x Likes(x , IceCream) با جايگزيني {x/Ben} مي توان جمله زير را استنتاج کرد:Likes(Ben , IceCream)استنتاج در منطق رتبه اول
اسلاید 9: 9استنتاج در منطق رتبه اول
اسلاید 10: 103- قانون حذف سور وجوديسور وجودي حداقل براي يک شي، درست است. نامي فرضي براي اين شيء در نظر مي گيريم، که قبلا در پايگاه دانش وجود نداشته باشد (K).مثلاً از x Likes(x , IceCream) مي توان جمله Likes(M1 , IceCream) را استنتاج کرد؛ اگر M1 قبلاً در پايگاه دانش وجود نداشته باشد.استنتاج در منطق رتبه اول
اسلاید 11: 114- قانون معرفي سور وجودياز درست بودن يک عبارت براي يک ثابت، مي توان يک سور وجودي استنتاج کرد. مثلاً از Likes(Jerry , IceCream) مي توان جمله زير را استنتاج کردx :Likes(x , IceCream)استنتاج در منطق رتبه اول
اسلاید 12: 12استنتاج در منطق مرتبه اول - مثالاستنتاج در منطق رتبه اول
اسلاید 13: 13تبديل جملات به فرم منطق مرتبه اول استنتاج در منطق رتبه اول
اسلاید 14: 14تبديل جملات به فرم منطق مرتبه اول استنتاج در منطق رتبه اول
اسلاید 15: 15سه روش: استنتاج در منطق رتبه اولتبديل جملات به فرم Horn و زنجيره رو به جلو (فصل 12 کتاب جلوه گر)تبديل جملات به فرم Horn و زنجيره رو به عقب (فصل 12 کتاب جلوه گر)تبديل جملات به فرم CNF و استفاده از الگوريتم resolution
اسلاید 16: 16تبديل به فرم CNF و استفاده از الگوريتمResolution استنتاج در منطق رتبه اول ؟؟؟؟
اسلاید 17: 17
نقد و بررسی ها
هیچ نظری برای این پاورپوینت نوشته نشده است.