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