نوع فایل: 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 ...
پاورپوینت
چهارشنبه 3 فروردین 1401 ساعت 15:34