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

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

قبل از خرید حتما توضیحات را کامل مطالعه نمایید

صفحه اصلی
راهنما
محصولات
درباره ما
قوانین
نقشه سایت
تماس با ما

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

8000 قیمت

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

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

 

 

 

 

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

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

نوع فایل : .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}


خرید

پرداخت آنلاین