نوع فایل: power point قابل ویرایش: 16 اسلاید قابل ویرایش: 1 اسلاید انگلیسی قسمتی از اسلایدها: يکسان سازي (Unification) Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند. خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است. مثال: فرض کنيم Θ = {y/maryam, x/zahra} است. Subst(knows(maryam, x), Θ) خروجي: knows(maryam, zahra) Subst(knows(y, zahra), Θ) خروجي: knows(maryam, zahra) فهرست مطالب و اسلایدها: هوش مصنوعی Artificial Intelligence استنتاج در منطق رتبه اول قوانين استنتاج در منطق مرتبه اول تبديل جملات به فرم منطق مرتبه اول سه روش تبديل به فرم CNF و استفاده از الگوريتمResolution ... دریافت فایل