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