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