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

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

پاورپوینت-استنتاج-در-منطق-رتبه-اول-(هوش-مصنوعی)دانلود پاورپوینت با موضوع استنتاج در منطق رتبه اول (هوش مصنوعی)
دارای ۱۷ اسلاید و با فرمت pptx و قابل ویرایش و آماده برای ارائه ، چاپ ، تحقیق و کنفرانس می باشد.

تعداد اسلاید :
۱۷ اسلاید
فرمت فایل:
پاورپوینت ppt و قابل ویرایش
آماده برای : 
ارائه ، چاپ ، تحقیق و کنفرانس

قسمتی ازمتن اسلایدها :

فهرست
یکسان سازی
قوانین استنتاج در منطق مرتبه اول
بررسی یک مثال

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

یکسان سازی (Unification)
Subst، تابع جایگزینی است که یک عبارت و یک لیست جایگزینی را به عنوان ورودی دریافت می کند. این تابع، متغیرهای عبارت را با استفاده از لیست جایگرینی مقداردهی می کند.
خروجی این تابع، یک عبارت است که تغییر یافته عبارت ورودی است.

دانلود فایل

پست های مشابه:

دیدگاهتان را بنویسید

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