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

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


نوع فایل: power point

فرمت فایل: pptx

قابل ویرایش

تعداد اسلاید : 17 صفحه

قسمتی از پاورپوینت :
يکسان سازي
قوانين استنتاج در منطق مرتبه اول
بررسي يک مثال
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)

فایل های دیگر این دسته

مجوزها،گواهینامه ها و بانکهای همکار

دانلود پروژه دارای نماد اعتماد الکترونیک از وزارت صنعت و همچنین دارای قرارداد پرداختهای اینترنتی با شرکتهای بزرگ به پرداخت ملت و زرین پال و آقای پرداخت میباشد که در زیـر میـتوانید مجـوزها را مشاهده کنید

بانک ملت
آقای پرداخت
زرین پال
نماد تجارت الکترونیک