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

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

فرمت فایل دانلودی: .zip
فرمت فایل اصلی: .ppt
تعداد صفحات: 19
حجم فایل: 567 کیلوبایت
قیمت: 6000 تومان

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..ppt) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 19 اسلاید

 قسمتی از متن powerpoint (..ppt) : 
 

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

 

پرداخت با کلیه کارتهای عضو شتاب امکان پذیر است.

ppt پاورپوینت منطق درس سوم

پاورپوینت منطق درس سوم

فرمت فایل دانلودی: .zip
فرمت فایل اصلی: .pptx
تعداد صفحات: 43
حجم فایل: 504 کیلوبایت
قیمت: 8000 تومان

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 43 اسلاید

 قسمتی از متن powerpoint (..pptx) : 
 

بنام خدا
منطق
درس سوم

 

پرداخت با کلیه کارتهای عضو شتاب امکان پذیر است.

پاورپوینت منطق درس سوم

پاورپوینت منطق درس سوم

پاورپوینت منطق درس سوم - بنام خدا منطق درس سوم ...

---