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