پاورپوینت استنتاج در منطق رتبه اول (هوش مصنوعي)

فرمت فایل : پاورپوینت قابل ویرایش      تعداد اسلاید: 17   قسمتی از پاورپوینت :   فهرست يکسان سازي قوانين استنتاج در منطق مرتبه اول بررسي يک مثال     استنتاج در منطق رتبه اول يکسان سازي (Unification Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند. خروجي اين تابع، يک ليست جايگزيني است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجي: Θ = {y/maryam, x/zahra}       قوانين استنتاج در منطق مرتبه اول 1.تمام قوانين استنتاج در منطق گزاره اي 2.قانون حذف سور عمومي 3.قانون حذف سور وجودي 4.قانون معرفي سور وجودي …