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

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