پاورپوینت کامل استنتاج در منطق مرتبه اول: هوش مصنوعی ۳۸ اسلاید در PowerPoint

توجه : این فایل به صورت فایل power point (پاور پوینت) ارائه میگردد

 پاورپوینت کامل استنتاج در منطق مرتبه اول: هوش مصنوعی ۳۸ اسلاید در PowerPoint دارای ۳۸ اسلاید می باشد و دارای تنظیمات کامل در PowerPoint می باشد و آماده ارائه یا چاپ است

شما با استفاده ازاین پاورپوینت میتوانید یک ارائه بسیارعالی و با شکوهی داشته باشید و همه حاضرین با اشتیاق به مطالب شما گوش خواهند داد.

لطفا نگران مطالب داخل پاورپوینت نباشید، مطالب داخل اسلاید ها بسیار ساده و قابل درک برای شما می باشد، ما عالی بودن این فایل رو تضمین می کنیم.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی پاورپوینت کامل استنتاج در منطق مرتبه اول: هوش مصنوعی ۳۸ اسلاید در PowerPoint،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از مطالب داخلی اسلاید ها

پاورپوینت کامل استنتاج در منطق مرتبه اول: هوش مصنوعی ۳۸ اسلاید در PowerPoint

اسلاید ۴: ۱. حذف سور عمومی سه قانون استنتاجی جدید:Universal Eliminationبرای هر جمله ، متغیر v و ترم زمینی g داریم: v, ________________SUBST( {v/g} , ) x, Likes( x , icecream )________________________SUBST( {x/BEN} , Likes( BEN , icecream ) )جانشیناستنباطفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۵: ۲. حذف سور وجودیExistential Elimination v, ________________SUBST( {v/K} , )جانشیناستنباطبرای هر جمله ، متغیر V و ثابت K که جای دیگر پایگاه دانش ظاهر نشده است داریم: x, Kill( x , victim )________________________SUBST( {x/Murderer} , Kill( Murderer , victim ) )فصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۶: برای هر جمله ، متغیر v که در وجود ندارد و ترم زمینی g که در موجود است داریم:________________v, SUBST( {g/v} , )Likes ( jerry , icecream )_____________________x likes ( x , icecream )با جانشینیSUBST( { jerry/x} )3. معرفی سور وجودیExistential Introductionفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۷: مودس پوننس تعمیم یافتهGenerelined Modus Ponens (GMP )تعمیمی از قانون استنتاج Modus Ponens که شامل And-Introduction، حذف سور عمومی و Modus ponens استبرای جملات اتمی pi و p’i و q که برای تمامی iها SUBST(,p’i ) = SUBST(,pi) وجود دارد آنگاه : p1 p2 … pn q p’۱ , p’۲ , … , p’n__________________ SUBST( , q )فصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۸: مثال:Missile( M1)Owns (NONO, M1)x Missile(x) owns( NONO , x) sells( WEST , NONO, x )در یک مرحله با جانشینی {x/ M1} جمله جدید زیر استنباط می شود:sells( WEST , NONO, M1 )یافتن xای در پایگاه دانش که چنین xای موشک است و NONO مالک x است و سپس ثابت شود که WEST این موشک را به NONO می فروشدفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۹: Modus Ponens به سه دلیل یک قانون استنتاج موثر است : با ترکیب تعدادی از استنتاج های کوچک و تبدیل آن به یک استنتاج بزرگ مراحل زیادی را تقلیل می دهد این قانون از جانشینی هایی استفاده می کند که موثر بودنشان (برعکس حذف تصادفی سور عمومی) ضمانت می شود. الگوریتم یکسان سازی دو جمله را می گیرد و جانشینی ا در صورت وجود برمیگرداند که آن دو جمله یکسان شوند این قانون تمام جملات موجود در پایگاه دانش را به فرم کانونی در می آورد. انجام این عمل یکبار در مرحله آغازین، ما را از اتلاف زمان برای انجام تبدیلات در طول مرحله اثبات بی نیاز می کندفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۱۰: فرم کانونیCanonicalسعی می کنیم تا مکانیزیم استنتاجی را با قانون استنتاج مودس پوننس تعمیم یافته (GMP) بوجود آوریم. تمام جملات موجود در پایگاه دانش باید بصورتی باشند که با یکی از فرضیات قانون GMP مطابقت داشته باشند.فرم کانونی برای GMP متضمن این نکته است که هر جمله در پایگاه دانش باید از نوع اتمی یا شرطی (با یک ترکیب عطفی از جملات اتمی در طرف چپ و یک اتم منفرد در طرف راست ) باشد.جملاتی از این قبیل جملات هورن (Horn sentence) نامیده می شودپایگاه دانشی که فقط شامل جملات هورن باشد Horn Normal Form نامیده می شودما جملات را به جملات Horn زمانی تبدیل می‌کنیم که ابتدا وارد پایگاه دانش، با استفاده از حذف سور وجودی و حذف And شده باشندمثال:x Owns( Nono, x ) Missile( x )به دو جمله اتمی هورن شامل Owns( Nono , M1 ) و Missile( M1 ) تبدیل می شودفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۱۱: یکسان سازی Unificationالگوریتم یکسان سازی دو جمله را می گیرد و جانشینی را در صورت وجود برمیگرداند تا آن دو جمله یکسان شوندوظیفه روتین یکسان‌ساز Unify، گرفتن دو جمله اتمی p، q و برگرداندن یک جانشین که p، q را مشابه هم خواهد ساخت،. (اگر چنین جانشینی موجود نباشد، Unify، fail برمی‌گرداند.)UNIFY، عمومی‌ترین یکسان‌ساز (Most General Unifier) یا (MGU) را برمی‌گرداند، که جانشینی است که کمترین تعهد را در قبل محدودسازی متغیرها دارد.UNIFY( p , q ) = ( SUBST(,p) = SUBST( ,q ) )جانشین – یکسان سازفصل هشتم: استنتاج در منطق مرتبه اول

اسلاید ۱۲: مثال:دانش کسب شده“ John hates everyone he knows “می خواهیم با استفاده از قانون استنتاج مودس پوننس کشف کنیم که John از چه کسی متنفر است یعنی: نیاز به جملاتی در پایگاه دانش داریم که با Knows( John, x) یکسان باشد. سپس یکسان ساز را به Hates( John, x ) اعمال می کنیم.Knows( John, x ) Hates( John ,x )فصل هشتم: استنتاج در منطق مرتبه اول

اسلاید