لینک دانلود و خرید پایین توضیحات دسته بندی : پاورپوینت نوع فایل : . ppt ( قابل ويرايش و آماده پرينت ) تعداد اسلاید : 17 اسلاید قسمتی از متن: فهرست يکسان سازي قوانين استنتاج در منطق مرتبه اول بررسي يک مثال يکسان سازي ( Unification ) Unify ، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند. خروجي اين تابع، يک ليست جايگزيني است. مثال: Unify(knows(maryam, x), knows(y, ...
لینک دانلود و خرید پایین توضیحات دسته بندی : پاورپوینت نوع فایل : . ppt ( قابل ويرايش و آماده پرينت ) تعداد اسلاید : 17 اسلاید قسمتی از متن: فهرست يکسان سازي قوانين استنتاج در منطق مرتبه اول بررسي يک مثال يکسان سازي ( Unification ) Unify ، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند. خروجي اين تابع، يک ليست جايگزيني است. مثال: Unify(knows(maryam, x), knows(y, ...