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

لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل : .ppt ( قابل ویرایش و آماده پرینت )

تعداد اسلاید : 17 اسلاید

قسمتی از متن .ppt :

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


فهرست

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

استنتاج در منطق رتبه اول

یکسان سازی (Unification)

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

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

Subst(knows(y, zahra), Θ)
خروجی: knows(maryam, zahra)

Unify(knows(maryam, x), knows(y, mother(y))
خروجی: Θ = {y/maryam, x/mother(maryam)}

Unify(knows(maryam, x), knows(x, zahra))
خروجی: Θ = false

Unify(knows(maryam, x), knows(y, z)
خروجی: Θ = {y/maryam, x/z}, or {y/maryam, z/x}


ارسال نظر

  1. آواتار


    ارسال نظر
درباره نگین فایل
فروشگاه ساز فایل تمامی خدمات لازم برای راه اندازی و ساخت یک فروشگاه را در اختیار شما می گذارد. شما بدون نیاز به هاست ، دامنه ، هزینه های بالای برنامه نویسی و طراحی سایت می توانید فروشگاه خود را ایجاد نمایید .پشتیبانی واتساپ سایت:09054820692 .
آمار فروشگاه
  •   تعداد فروشگاه: 123
  •   تعداد محصول: 37,516
  •   بازدید امروز : 41,624
  •   بازدید هفته گذشته: 136,189
  •   بازدید ماه گذشته: 430,008