امروز پنج شنبه , 14 تیر 1403
شنبه تا پنج شنبه - 9 صبح الی 20 عصر
3,000 تومان
دانلود پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعي)
0
3.4k
دانلود پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعي)
فرمت:pptx
تعداد صفحات فایل: 17 اسلاید
شرح مختصر:
یکسان سازی:
Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.
خروجي اين تابع، يک ليست جايگزيني است.
مثال:
Unify(knows(maryam, x), knows(y, zahra))
خروجي: Θ = {y/maryam, x/zahra}
