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

لینک دانلود و خرید پایین توضیحات   دسته بندی: Powerpoint   نوع فایل: ppt  (قابل ويرايش و آماده پرينت )   تعداد اسلاید: 17  اسلاید  قسمتی از متن فایل دانلودی فهرست Ãيکسان سازي Ãقوانين استنتاج در منطق مرتبه اول Ãبررسي يک مثال يکسان سازي (Unification) Ã، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند. Ãخروجي اين تابع، يک ليست جايگزيني است. Ãمثال: Unify(knows(maryam, x), knows(y, zahra)) خروجي: Θ = {y/maryam, x/zahra}   ÃSubst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند. Ãخروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است. Ãمثال: فرض کنيم Θ = {y/maryam, x/zahra} است. Subst(knows(maryam, x), Θ) خروجي: knows(ma …