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

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

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *