عامل های منطقی هوش مصنوعی

صفحه 1:
> هوس مصوعی وبرليدتصيسر|عليزاده 

صفحه 2:
با ‎SS‏ ‏عامل حل مسئله چه چیزهایی در اختیار دارد؟ تعریف مسئله شامل گراف فضای حالت تابع آزمون و ... تابع هیوریستیک استفاده از جستجوی درختی یا گراف برای یافتن را‌حل عامل مبتنی بر دانش چه چیزهایی در اختیار دارد؟ دانش در مورد مسئله در قالب مجموعه‌ای از گزاره‌های منطقی استفاده از روش‌های استنتاج منطقی برای تصمیم گیری در مورد اقدام بعدی 2 جنا ان 1۵۵ ,هو 

صفحه 3:
با ‎SS‏ ‏دو بخش مرکزی یک عامل مبتنی بر دانش: پایگاه دانش (ع() لاس يا 10) موتور استنتاج (ع4ظ) عصصوطه۱) پایگاه دانش: مجموعه‌ای از حقایق در مورد دنیای عامل است. جمله: هر حقیقت در مورد دنیای عامل توسط یک جمله (۳۳۳) نمایش داده می‌شود. جملات: جملات در یک زبانی که زبان بازنمایی دانش (ارسس) /9۳۲()) نامیده می‌شود بیان می‌شوند. LOAD, WET-OE Oey. 3 

صفحه 4:
SS ‏با‎ اب۳6 : لفزومن‌جماهتجدیدب» ‎KD‏ 6 : لستخرلج لطاجائز 0608 Inference engine <—— domain-independent algorithms TELL) Knowledge base ————_ domain-specific content 000 4 

صفحه 5:
5 عامل میتی بر دانش به صورت ز ‎as,‏ یک ادراک را به عنوان ورودی دریافت می‌کند. ۲ به پایگاه دانش گفته می‌شود (,ادا1)8) که چه دریافت کرده است. ۳ از پایگاه دانش سوال می‌شود (9696)) که چه عملی باید انجام شود. ۴ عمل انتخاب شده را در پایگاه دانش ذخیره (/168) و سپس آنرا اجرا می کند. تشخیص اینکه چه چیزی باید پس از ۸۸516 به 162 دنبال شود. مسئولیت مکانیزمی به نام استنتاج (عصعصو۳) است. LOAD, WET-OE Oey. 

صفحه 6:
دنیای 000606 #معیار کارایی: 1000+ 314551( طلاء 1000- افتادن در کودال یا خورده شدن. 1- هر مرهله. 10- براي استفاده از تير #محيط “يوي تعفن در مربعهاي همجوار 000005066 > نسيم در مربعهاي همجوار کودال *درفشش در مربع ماوي طلا *کشته شدن 006(6060) با شلیک در صورت مقابله > برداشتن و اندافتن طلا Lo) Sun? > بو تعفن. نسيم. تابش. ضربه. جيغ (دن #محركع *کردش به چپ. کردش به راست. جلو رفتن. برداشتن, 5 اندافتن. شلیک کردن PIT 4 LOAD, WET-OE Oey. وت او 

صفحه 7:
ee توصیف جهان 00000002006 قابل مشاهده كامل: خير, فقط ادراك ‎Glas‏ قطعي: بل نتيجه دقيقا مشخص است )#7591929 خي ترتيبي از فعالیتهاست ايسطا: بله, 000000000005 و كودالها حركت ندارند کسسته: بله 33 عاضله: بله. 00000002005 در اصل يك خصوصيت طبيعي است 000 

صفحه 8:
۱ عاملهاي منطقي *عامل نابود خواهد شد زمانی که وارد یک مریع شامل سیاه چاله و یا وامپوس زنده می‌شود. "هدف عامل یاف 3 LOAD, WET-OE Oey. 8 ن طلا و بركرداندن آن به خانه شروع با سرعت تمام استء بدون آنكه كشته شود. OK 

صفحه 9:
SS ‏با‎ ‎gibi cis توصیف جهان 00006۵ 5 LOAD, WET-OE Oey. 

صفحه 10:
10 SS ‏با‎ ‎gibi cis توصیف جهان 00006۵ چم LOAD, WET-OE Oey. 

صفحه 11:
11 SS ‏با‎ ‎gibi cis توصیف جهان 00006۵ چم LOAD, WET-OE Oey. 

صفحه 12:
SS ‏با‎ ‎gibi cis توصیف جهان 00006 LOAD, WET-OE Oey. 

صفحه 13:
SS ‏با‎ ‎gibi cis توصیف جهان 00006 LOAD, WET-OE Oey. 

صفحه 14:
SS ‏با‎ ‎gibi cis توصیف جهان 00006 LOAD, WET-OE Oey. 

صفحه 15:
SS ‏با‎ ‎gibi cis توصیف جهان 00006 LOAD, WET-OE Oey. 

صفحه 16:
SS ‏با‎ منطق (عصسا: یک زبان رسمی برای بازنمایی دانش است به گونه‌ای که بتوان بر ری آن دانش, استدلال کرد. هر زبان بازنمایی دانش شامل دو بخش زیر است: نحو (عصلص9)): ساختار جملات زبان را توصیف می کند. معنی (عاحت2)): تین می کند که حقایق موجود در دنیا به چه جملاتی نسبت داده شوند. تفاوت بین حقایق و بازنمایی‌های آنها: حقایق قسمتی از دنیای واقعی را تشکیل می‌دهند اما بازنمایی‌های آنها باید به صورتی کد شوند که بتواند به طور فیزیکی در میک عامل ذخیره شود. 0 10۵۵۵ ,هو 

صفحه 17:
0 مس _- 9607۲60 لین همق ‎ord‏ ‏58 > ۷ جوم مرمع ‎Poor‏ ‏وه 5 ارتباط بين جملات و حقايق توسط معناى زبان توليد مى شوند. LOAD, WET-OE Oey. 17 

صفحه 18:
ای ۲ استلزام #استلزام منطقي بین جملات این است که جمله اي بطور منطقي از جمله دیگر پيروي مي‌کند ‎kb‏ 5 518 ه درست باشد. ‎١‏ نيز درست ] *جمله » استلزام جمله ا است "جمله » جمله را ایجاب مي‌کند *در هر مدلي كه ه درست است. ۲ نیز درست است *درستي ما در درستي « نهفته است #مثال: 4<-02-<ر جوع رهد “ارتباط استلزام بين يك يايكاه دانش 0200 و يك جمله ه به صورت » -|06)0) نوشته مي شود و به اين معني است كه اكر و فقط اكر در هر دنيايي كه 0))) درست است. ه نيز درست باشد. 18 بط 10۵۵۵ ههد 

صفحه 19:
با کی ۲ مزایا و معایب زبان طبیعی: زبان طبیعی راهی خوب برای سخنگو است تا مخاطب را متوجه منظور خود سازد. مشکل اصلی زبان‌های طبیعی ابهام است؛ مانند عبارت «سگ‌ها و گربه‌های کوچکك» روشن نیست که آیا سگ‌ها نیز کوچک هستند یا خبر. یک زبان بازنمایی خوب می‌بایست: آأمزایای زبان‌های طبیعی و رسمی را با هم داشته باشد. اتابرمعنى و رسا باشد. الأدقيق و غير مبهم الأقابل استنتاج 000 19 

صفحه 20:
SS ما دو د نطق تم رکز خوا 2 "منطق كزارهاى ‎©ovleas Lowir) J Gleb (Propostiocd Loic)‏ (Pirst Order Logic) ‏"منطق مرتبه اول‎ 000 20 

صفحه 21:
SS ‏با‎ منطق گزاره‌ای: منطقی ساده شامل نمادها (علائم) و ت ر کیب‌های آنها علائم منطق گزاره‌ای: * ثابتهای منطقی (عطل۳) ,صصا) * علاتم گزارهای: ۳ ‎Q,‏ * رابطهای حر" كر دراه پرانتز 6 000 21 

صفحه 22:
منطق گزاره ای #*جملات اتمیک(عناصر غیر قابل تعمیم): تشکیل شده از یک نماد گزاره‌اي "#هر یک از این نمادها به گزاره اي درست یا نادرست اختصاص دارد *نمادها از مروف بزرگ مثل ‎)۳,60,6٩‏ استفاده مي‌کنند #*جملات پیچیده با استفاده از رابماهاي منطقي, از جملات ساده تر ساخته مي‌شوند *- (س): جمله اي مثل -۵:() نقیض ‎Dao‏ است * لیترال: یک جمله اتمیک(لیترال مثبت). یا یک جمله اتمیک منفي(لیترال منفي) اسر ‎Pao Duo dhe (end) >>‏ ترکیب عطفي نام دارد. هر بفش آن یک عطف نامیده مي‌شود ‎(Poa Dao)sisv (or)*‏ 266 ترکیبف صلي‌مربوط به فصهاي:05) و ‎Mas‏ > وود “-> (استلزام): (©,00) 5 8©,0)) <- - ©,©0) استلزام يا شرطي ناميده مي‌شود. مقدمه یا مقدم آن ‎Poa Mao‏ و نتيجه يا ‎Owl 3 Dee of GIG‏ > © جمله :0 ‎٩‏ ,2 دو شرطي نام دارد 1 ‎0 22 

صفحه 23:
SS همارزي‌هاي معروف در منطق گزاره اي (aA 8) = (3 Aa) commutativity of \ (av 3) = (Va) commutativity of v 5 5 ‏م) 2 (حم‎ 3 )6 57(( associativity of A (av B)V 9( > ‏/اه)‎ )817(( associativity of v (>a) = @ double-negation elimination (a > 8) = (48 > 7a) contraposition (a = 8) = (eV 3) implication elimination (a = 8) = ((a + 8) A(8 = a)) biconditional elimination a(a@A 3) = (pav 78) de Morgan a(aV 8) = (pa A 73) de Morgan (aA (BV 4)) = ((@AB)V(aA4)) distributivity of ۸۱ ۷ (av (3A4)) = (av B)A(av4)) distributivity of ۷ ۸ L041, WET-OG Oey. 23 

صفحه 24:
یکی از راه‌های ارزیابی درستی یک گزاره استفاده از جدول درستی است. جدول درستی پنج عملگر منطقی معروف به صورت زیر است: م« ج 7 4 Q e 2 e 4 دص 4 ‎aT‏ ‎e‏ ‎e‏ pr Q e ‏م«‎ ‎e 2 Pv Q e 2 ۴ 4 LOAD, WET-OE Oey. (P=> 9 7 1 e 2 RPO 7 م« م« 4 

صفحه 25:
با کی ۲ مدل: جمله (69) ) در دنیایی با عه9<() ,() برابر هه می‌شود پس ‎{O=inve, Ofte}‏ یک مدل برای جمله (069)) 7 م) است. جمله معتبر (90) با جمله هميشه درست (یعاصه۲): یک جمله معتبر است اگر و فقط اگر در تمام مدل‌ها درست باشد. به عبارت دیگر یک جمله معتبر است اگر به ازای تمام سطرهای جدول درستی؛ آن جمله درست باشد. مثل: (۳<<۳)) ۳۳6۴) جمله ارضاشدنی يا صدق پذ یر (عاطلهاصهج): یک جمله صدق‌پذیر (عا«اه09ج) است اگر و فقط اگر مدلی وجود داشته باشد که آن جمله در آن مدل درست باشد. به عبارت دیگر آن جمله حداقل به ازای یک سطر از جدول درستی ‎ELIE ply‏ جمله‌ای که صدق‌پذیر نباشد صدق ناپذیر (ع۵7اصحی) است. LOAD, WET-OE Oey. 25 

صفحه 26:
ترجمه از زبان طبیعی به منطق گزاره‌ای در [1,1] کودالي ومود ندارد ‎Paar‏ ‏در [1,1] نسيمي وجود ندارد ۵ ۸و Bas © ) در [2,1] نسيمي وجود دارد ‎@en & (Poav Pes v Poa)‏ 1 2 3 4 LOAD, WET-OE Oey. 

صفحه 27:
ها ‎SS‏ ‏الگوهاي استدلال در منطق گزاره اي قوانین استنتاج: الگوهايي استاندارد که زنجیره اي از نتایج را براي رسیدن به هدف ایجاد مي‌کنند. “قياس استثنايي (عم<) عل4:()): در صورت درست بودن سمت چپ قاعده. ميتوان سمت راست قاعده را استنتاج كرد. "مثال: مي‌توان از ‎DuvpusBlve)‏ * لمجوا) سحو (1)) 6 > a 0 1 ‏سس سس‎ <= (DerpeOhead * Duco Phe) 6 ‏را لستنتاج کرد‎ Shoot LOAD, WET-OE Oey. 

صفحه 28:
عاملهاي منطقي #مذف ‎«٩‏ هر عطف را مي‌توان از ترکیب عطفي استنتاج کرد مثال: مط)صحومى 00 را موتوان از جمله زير استناج كرد 6 ‎a A‏ ‎(OxeopreDheud * OuopuPive)‏ a (Ov مجموعه اي از جملات استلزامي که فقط مي‌تواند در صورت اضافه شدن اطلاعات به پایگاه دانش رشد کند. ۳ نع ۸ 7 ح هل LOAD, WET-OE Oey. 28 

صفحه 29:
قانون ۱ #قانون مس واهد. یک عبارت و یک لیترال را گرفته» عبارت ديگري تولید اکند ۷ ۷ ‎UD, 9‏ يل ‎YF sc”‏ 1 ‎ops?‏ >صاطحب: واحد را ميتوان به قانون دستطابحدب: كامل تعميم داد: ‎voy ۷ ۷ ۷‏ 2 بر 1 1 7 ‎L, ae‏ ۰ 1 ‎at TY hg E “1‏ یل سا ‏زور 6 وب 1ب 1 ۶ ‎laa‏ ‎ ‎LOAD, WET-OE Oey. 29 ‎ 

صفحه 30:
با ‎SS‏ ‏فرم ترمال عطفی (0000) موس ادممج<(ا) جمفعصسومو0) فرم نرمال عطفى يا “20000 تركيبات عطفى از يكك يا جند تركيب فصلى لیترال‌ها. 53 37 ‏دی‎ Rolle! ws a 2B che a 99 نکته: هر جمله به تنهایی یک تر کیب فصلی است. مثال: Wa Pav TWPev Po (Pav ‏م‎ ®rv Po) Ao Biel oe 

صفحه 31:
SS ‏با‎ به‌ای برای تبدیل به فرم نرمال: (0 ب هات © a (8 >(@uvC))A((®vC)>0) Pk 0 ©) (7®v Pv C) A (Av C)v&) Bob 5 9) (7B v uC) A (7B AC) vu @) 2 ‏کاهش دامنه‎ ۲ &) (7B v @u OC) A ((7®v @) A (7C uv ‏توزیع مدروی ۸ (ه‎ ۳ LOAD, WET-OE Oey. 31 

صفحه 32:
32 Se ‏الکوریتم ماسح (الگوریتم تحلیل)‎ “براي اينكه نشان دهيمه-| 0200 , ثابت مي‌کنيم ‎7a)‏ * 0) ارضانشدنی است. *ابتدا )74 7 00) را به *2006) تبدیل مي‌کنيم * سپس قانون رزولوشن به عبارات کوچک حاصل اعمال مي‌شود *هر جفتي که شامل ليترال‌هاي مکمل باشد. رزولوشن مي‌شود تا عبارت جديدي ایجاد گردد “اكر اين عبارت قبلا در مجموعه نباشد. به آن اضافه مي‌شود “فرايند تا محقق شدن يكي از شروط زير ادامه مي ياب “هيج عبارت ديكري وجود نداشته باشد که بتواند اضافه شود. در این مورد. ط استلزام > نیست *كاربرد قانون داه عبارت تهي را به دست ميدهد كه در اين مورد, ۲ استلزام ‏ است LOAD, WET-OE Oey. 

صفحه 33:
a — ‏مثال:الگوریتم رزولوشن‎ فرض كنيد يايكاه دانش دنياي واميوس را به شكلء زیر داشته باشیم. مي‌خواهیم ثابت کنیم در خانه [1,2] چاله‌اي وجود ندارد. ‎KB = (Beg & (Poe Poa) “7 0‏ ‎a= Py,‏ عبارت 0 7 ۸ 160 را به فرم نرمال عطفي تبدیل مي‌کنيم: ‎Pos‏ نت رل ‎(HP yo‏ * لت وت مرظن ‎(٩‏ ومع ۸ 10 LOAD, WET-OE Oey. 33 

صفحه 34:
SS ‏با‎ کلاس مفیدی از جملات برای زمانی که روبه استنتاجی با زمان چند جمله‌ای وجود دارد كه اين کلاس جملات هورن (عحصاهجه سباا) نامیده می‌شود. یک جمله هورن فرمی به صورت زیر دارد: ‎PS‏ 5 اتم‌های خنثی هستند. ‎000 34 

صفحه 35:
عاملهاي منطقي #عبارات هورن: ترکیب فصلي ليترال‌هايي است که فقط يكي از آنها مثبت “هر عبارت هورن را مي‌توان. به صورت یک استلزام نوشت که مقدمه آن ترکیب عطفي ليترالهاي مثبت و تالي آن یک لیترال مثبت است *اين نوع عبارات هورن كه فقط يك ليترال مثبت دارند. عبارات معين ناميده مي‌شوند *لیترال مثبت را رس و ليترال‌هاي منفي را بدئه عبارت گویند *عبارت معيني که فاقد ليترال‌هاي منفي باشد. گزاره اي بنام حقیقت نام دارد *عبارات معین اساس برنامه نويسي منطقي را میسازد #استنتام با عبارات هورن. از طریق الکوریتم هاي زنجیر پیشرو ‏ زنجیر عقبگرد انجام مي‌گیرد 35 LOAD, WET-OE Oey. 

صفحه 36:
ها ‎SS‏ ‏عاملهاي منطقي زنجیر پیشرو الکوریتم زتجیر پیشرو تعیین مي‌کند آیا نماد گزاره اي و(تقاضا), توسط پایگاه دانش عبارات هورن ایجاب مي‌شود یا خیر ‎Q‏ ‎P3Q‏ ‏م ‎LAM > P‏ ۳۹ ]ا +811 ‎AAP SL 1۷‏ را > ۸ ۸ ‎A‏ ‎B‏ K B LOAD, WET-OE Oey. 36 

صفحه 37:
37 000 

صفحه 38:
38 000 

صفحه 39:
000 

صفحه 40:
جنا 1۵۵ ,هجو 

صفحه 41:
41 جنا 1۵۵ ,هجو 

صفحه 42:
AOA, WET-OE Oey. 

صفحه 43:
43 L041, WETOG Oey. 

صفحه 44:
44 جنا 1۵۵ ,هجو 

صفحه 45:
SS ‏با‎ عاملهاي منطقي الگوریتم عقبگرد کامل 000 45 

صفحه 46:
SS ‏با‎ عاملهاي منطقي الگوریتم عقبگرد کامل #تغییرات عمده: خاتمه زودرس, اکتشاف نماد محض, اکتشاف عبارت واهد Q ‏معد م‎ LAM > P > BAL+M 38 AAPSL M AABSL A 8 ‏و‎ LOAD, WET-OE Oey. 46 

صفحه 47:
SS ‏با‎ عاملهاي منطقي الگوریتم عقبگرد کامل 000 47 

صفحه 48:
SS ‏با‎ عاملهاي منطقي الگوریتم عقبگرد کامل 48 جنا 1۵۵ ,هجو 

صفحه 49:
SS ‏با‎ عاملهاي منطقي الكوريتم عقبکرد کامل AOA, WET-OE Oey. 49 

صفحه 50:
SS ‏با‎ عاملهاي منطقي الكوريتم عقبکرد کامل AOA, WET-OE Oey. 50 

صفحه 51:
SS ‏با‎ عاملهاي منطقي الگوریتم عقبگرد کامل 51 جنا 1۵۵ ,هجو 

صفحه 52:
SS ‏با‎ عاملهاي منطقي الكوريتم عقبکرد کامل AOA, WET-OE Oey. 52 

صفحه 53:
SS ‏ها‎ عاملهاي منطقي الگوریتم عقبگرد کامل 53 جنا 1۵۵ ,هجو 

صفحه 54:
SS ‏ها‎ عاملهاي منطقي الگوریتم عقبگرد کامل 54 جنا 1۵۵ ,هجو 

صفحه 55:
SS ‏ها‎ ‎gibi cis الگوریتم عقبگرد کامل 55 جنا 1۵۵ ,هجو 

صفحه 56:
SS ‏با‎ منطق گزاره‌ای به ما اجازه می‌دهد که به تمام نکات مهم درمورد منطق و چگونگی استفاده از آن به منظور ارائه استنتاج که نهایتاً به عملیات تبدیل می‌شود برسیم. اما منطق گزاره‌ای پسیار ضعیف است. مشکل کند شدن رویه استنتاج: مشکل فقط نوشتن این قوانین نیست بلکه تعداد زیاد آنهاء باعث مشکل می‌شود. ۲) مشکل دیگر» روبرو شدن با تغیبرات محیط است. ما جزیی از عامل استدلال کننده را در یک مکان و زمان ویژه نشان دادیم و تمام گزاره‌ها در پایگاه دانش در آن زمان خاص؛ درست بودند. اما در حالت کلی: دنیا هر لحظه در حال تغییر است. اندازه یک جدول درستی 2 است. که " تعداد سیمبولهای گزاره‌ای در پایگاه دانش 10.471, 1067-00 Ory ‏است.‎ 

هوش مصنوعي فصلهفتمعامل‌هايمنطقي تهيهکنندهپورمحقق ويرايشحسينعليزاده 1 .HA-AI, IUST-CE Dep عامل حل مسئله چه چيزهايي در اختيار دارد؟ تعريف مسئله شامل گراف فضاي حالت ،تابع آزمون و ... تابع هيوريستيک استفاده از جستجوي درختي يا گراف براي يافتن راه‌حل عامل مبتني بر دانش چه چيزهايي در اختيار دارد؟ دانش در مورد مسئله در قالب مجموعه‌اي از گزاره‌هاي منطقي استفاده از روش‌هاي استنتاج منطقي براي تصميم‌گيري در مورد اقدام بعدي 2 ‏HA-AI, IUST-CE Dep. دو بخش مرکزي يک عامل مبتني بر دانش: پايگاه دانش ( ،)Knowledge Baseيا KB موتور استنتاج ()Inference Engine پايگاه دانش :مجموعه‌اي از حقايق در مورد دنياي عامل است. جمله :هر حقيقت در مورد دنياي عامل توسط يک جمله ( )Sentenceنمايش داده مي‌شود. جمالت :جمالت در يک زباني که زبان بازنمايي دانش (Knowledge )Representationناميده مي‌شود ،بيان مي‌شوند. 3 ‏HA-AI, IUST-CE Dep.  : TELLافزودن جمالت جديد به KB : ASKاستخراج اطالعات از KB ‏TELL 4 ‏HA-AI, IUST-CE Dep. ‏ASK عامل مبتني بر دانش به صورت زير عمل مي‌کند: .1 يک ادراک را به عنوان ورودي دريافت مي‌کند. .2 به پايگاه دانش گفته مي‌شود ( )TELLکه چه دريافت کرده است. .3 از پايگاه دانش سؤال مي‌شود ( )ASKکه چه عملي بايد انجام شود. .4 عمل انتخاب شده را در پايگاه دانش ذخيره ( )TELLو سپس آنرا اجرا مي‌کند. تشخيص اينکه چه چيزي بايد پس از ASKبه KBدنبال شود ،مسئوليت مکانيزمي به نام استنتاج ( )Inferenceاست. 5 ‏HA-AI, IUST-CE Dep. دنياي WUMPUS ‏معيار کارايي: +1000انتخاب طال -1000 ،افتادن در گودال يا خورده شدن -1 ،هر مرحله -10 ،براي استفاده از تير ‏محيط: ‏بوي تعفن در مربعهاي همجوار WUMPUS ‏نسيم در مربعهاي همجوار گودال ‏درخشش در مربع حاوي طال ‏کشته شدن WUMPUSبا شليک در صورت مقابله ‏تير فقط مستقيم عمل مي‌کند ‏برداشتن و انداختن طال ‏حسگرها: ‏بو تعفن ،نسيم ،تابش ،ضربه ،جيغ زدن ‏محرکها: 6 ‏گردش به چپ ،گردش به راست ،جلو رفتن ،برداشتن، ‏HA-AI, IUST-CE Dep. انداختن ،شليک کردن توصيف جهان WUMPUS کامل :خير ,فقط ادراک محلي قابل مشاهده قطعي :بله ،نتيجه دقيقا مشخص است رويدادي :خير ،ترتيبي از فعاليتهاست ايستا :بله WUMPUS ,و گودالها حرکت ندارند گسسته :بله تک عامله :بله WUMPUS ،در اصل يک خصوصيت طبيعي است 7 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي عامل نابود خواهد شد زماني که وارد يک مربع شامل سياه چاله و يا وامپوس زنده مي‌شود. هدف عامل يافتن طال و برگرداندن آن به خانه شروع با سرعت تمام است ،بدون آنکه کشته شود. 8 ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 9 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 10 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 11 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 12 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 13 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 14 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W عاملهاي منطقي توصيف جهان 15 ‏WUMPUS ‏HA-AI, IUST-CE Dep. عامل = A نسيم = B درخشش،طال =G مربع امن = ‏OK گودال = P تعفن = S مالقات شده = ‏V ‏Wumpus = W منطق ( :)Logicيک زبان رسمي براي بازنمايي دانش است به گونه‌اي که بتوان بر روي آن دانش ،استدالل کرد. هر زبان بازنمايي دانش شامل دو بخش زير است: نحو ( :)Syntaxساختار جمالت زبان را توصيف مي‌کند. معني ( :)Semanticتعيين مي‌کند که حقايق موجود در دنيا ب^^ه چ^^ه جمالتي نسبت داده شوند. تفاوت بين حقايق و بازنمايي‌هاي آنها :حقايق قسمتي از دنياي واقعي را تشکيل مي‌دهند ،اما بازنمايي‌هاي آنها بايد به صورتي کد شوند که بتواند به طور فيزيکي در 16يک عامل ذخيره شود. ‏HA-AI, IUST-CE Dep. SENTENC ES FACT S Semantics World Semantics Representation Entails SENTENC ES FOLLOWS FACT S .ارتباط بين جمالت و حقايق توسط معناي زبان توليد مي‌شوند HA-AI, IUST-CE Dep. 17 استلزام ‏استلزام منطقي بين جمالت اين است که جمله اي بطور منطقي از جمله ديگر پيروي مي‌کند ‏a╞b ‏اگر aدرست باشد b ،نيز درست است ‏جمله aاستلزام جمله bاست ‏جمله aجمله bرا ايجاب مي‌کند ‏در هر مدلي که aدرست است b ،نيز درست است ‏درستي bدر درستي aنهفته است ‏مثالx+y ╞ x+y>=4=<4 : ‏ارتباط استلزام بين يک پايگاه دانش KBو يک جمله aبه صورت KB|= aنوشته مي‌شود و به اين معني است که اگر و فقط اگر در هر دنيايي که KBدرست است a ،نيز درست باشد. 18 ‏HA-AI, IUST-CE Dep. مزايا و معايب زبان طبيعي: زبان طبيع ي راهي خوب براي سخنگو است تا مخاطب را متوجه منظور خود سازد. مشکل اصلي زبان‌هاي طبيعي ابهام است ،مانند عبارت «سگ‌ها و گربه‌هاي کوچک» ،روشن نيست که آيا سگ‌ها نيز کوچک هستند يا خير. يک زبان بازنمايي خوب مي‌بايست: ‏مزاياي زبان‌هاي طبيعي و رسمي را با هم داشته باشد. ‏پرمعني و رسا باشد. ‏دقيق و غير مبهم ‏قابل استنتاج 19 ‏HA-AI, IUST-CE Dep. ما روي دو نوع منطق تمرکز خواهيم کرد: ‏منطق گزاره‌اي ( )Propositional Logicيا منطق بولي ()Boolean Logic ‏منطق مرتبه اول ()First Order Logic 20 ‏HA-AI, IUST-CE Dep. منطق گزاره‌اي :منطقي ساده شامل نمادها (عالئم) و ترکيب‌هاي آنها عالئم منطق گزاره‌اي: ‏ ‏ ‏ ‏ 21 ثابتهاي منطقي ()true, False عالئم گزاره‌ايQ, P : رابط‌هاي  , ,  ,  ,  پرانتز () ‏HA-AI, IUST-CE Dep. منطق گزاره اي جمالت اتميک(عناصر غير قابل تعميم) :تشکيل شده از يک نماد گزاره‌اي هر يک از اين نمادها به گزاره اي درست يا نادرست اختصاص دارد ‏نمادها از حروف بزرگ مثل P,Q,Rاستفاده مي‌کنند 22 ‏جمالت پيچيده با استفاده از رابط‌هاي منطقي ،از جمالت ساده تر ساخته مي‌شوند :)not( ¬جمله اي مثل ¬ W1,3نقيض W1,3است ليترال :يک جمله اتميک(ليترال مثبت) ،يا يک جمله اتميک منفي(ليترال منفي) است )and( ^مثل P1,3 ^ W1,3ترکيب عطفي نام دارد .هر بخش آن يک عطف ناميده مي‌شود ν (or)مثل ) W2,2 ν (P3,1 ^ W1,3ترکيب فصلي مربوط به فصل هاي W2,2و ‏P3,1 ^ W1,3 ( >=استلزام) W2,2 ¬ => (P3,1 ^ W1,3) :استلزام يا شرطي ناميده مي‌شود .مقدمه يا مقدم آن P3,1 ^ W1,3و نتيجه يا تالي آن ¬ W2,2است جمله W2,2  W1,3دو شرطي نام دارد ‏HA-AI, IUST-CE Dep. هم‌ارزي‌هاي معروف در منطق گزاره اي 23 ‏HA-AI, IUST-CE Dep. جدول درستي يکي از راه‌هاي ارزيابي درستي يک گزاره استفاده از جدول درستي است. جدول درستي پنج عملگر منطقي معروف به صورت زير است: 24 ‏P ‏Q ¬P ‏F ‏F ‏T ‏F ‏T ‏F ‏T ‏T ‏F ^P ‏Q ‏F ‏F ‏F ‏Pν ‏Q ‏F ‏T ‏T >=P ‏Q ‏T ‏T ‏F ‏P ‏Q ‏T ‏F ‏F ‏T ‏T ‏F ‏T ‏T ‏T ‏T ‏HA-AI, IUST-CE Dep. مدل: جمله ( C^)Aν¬Bدر دنيايي با A=true, C=trueبراب^^ر trueمي‌ش^^ود ،پس {}A=true, C=true يک مدل براي جمله ( C^)Aν¬Bاست. جمله معتبر ( )Validيا جمله هميشه درست (:)Tautology يک جمله معتبر است اگر و فقط اگر در تمام مدل‌ها درست باشد .به عبارت ديگر يک جمله معتبر اس^^^ت اگر به ازاي تمام سطرهاي جدول درستي ،آن جمله درست باشد .مثلPν¬P (P=>P) : جمله ارضاشدني يا صدق‌پذير (:)satisfiable يک جمله صدق‌پذير ( )satisfiableاست اگر و فقط اگر مدلي وجود داشته باشد که آن جمله در آن مدل درست باشد .به عبارت ديگر آن جمله حداقل به ازاي يک سطر از جدول درستي برابر trueباشد. جمله‌اي که صدق‌پذير نباشد صدق ناپذير ( )unsatisfiableاست. 25 ‏HA-AI, IUST-CE Dep. منطق گزاره اي در دنياي Wumpus ترجمه از زبان طبیعی به منطق گزاره‌ای در [ ]1,1گودالي وجود ندارد ¬P1,1 در [ ]1,1نسيمي وجود ندارد ¬)B1,1  (¬P1,2 ^ ¬P2,1 در [ ]2,1نسيمي وجود دارد )B2,1  (P3,1 ν P2,2 ν P1,1 26 ‏HA-AI, IUST-CE Dep. الگوهاي استدالل در منطق گزاره اي قوانين استنتاج :الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد مي‌کنند. ‏قياس استثنايي ( :)Modus Ponensدر صورت درست بودن سمت چپ قاعده ،مي‌توان سمت راست قاعده را استنتاج کرد. ‏مثال :مي‌توان از ()WumpusAhead ^ WumpusAlive و (Shoot >= )WumpusAhead ^ WumpusAlive Shootرا استنتاج کرد 27 ‏HA-AI, IUST-CE Dep. ‏   , ‏ عاملهاي منطقي ‏حذف :andهر عطف را مي‌توان از ترکيب عطفي استنتاج کرد مثال WumpusAlive :را مي‌توان از جمله زير استناج کرد ()WumpusAhead ^ WumpusAlive خاصيت يکنواختي ()Monotonicity ‏  ‏ مجموعه اي از جمالت استلزامي که فقط مي‌تواند در صورت اضافه شدن اطالعات به پايگاه دانش رشد کند. ‏KB|  KB  | 28 ‏HA-AI, IUST-CE Dep. Resolution قانون عبارت ديگري توليد، يک عبارت و يک ليترال را گرفته، واحدresolution قانون مي‌کند l1  ... lk ,  Li l1  ... li 1  li1  ... lk : کامل تعميم دادresulotion واحد را مي‌توان به قانونresulotion قانون l1  ... lk ,  l i  lk1  lk2  ... ln l1  ... li 1  li1  ... lk  lk1  lk2  ... ln HA-AI, IUST-CE Dep. 29 فرم نرمال عطفي )Conjunctive Normal Form (CNF فرم نرمال عطفي يا :CNFترکيبات عطفي از ي^^^^ک يا چن^^^^د ترکيب فص^^^^لي ليترال‌ها. ) (l1,1  ... l1,k )  ... (ln,1  ... ln,k در هر عبارت موجود در جمله k-CNFدقيقا kليترال وجود دارد. نکته :هر جمله به تنهايي يک ترکيب فصلي است. مثال: ¬P1 ‏P1 ν ¬ P2 ν P3 30 (P1 ν ¬ P2) Λ (P3 ν P4 ν P5) Λ P6 ‏HA-AI, IUST-CE Dep. :رويه‌اي براي تبديل به فرم نرمال A (B ν C) 1) (A (B ν C)) Λ ((B ν C)A) 2) (¬A ν B ν C) Λ (¬(B ν C) ν A) 3) (¬A ν B ν C) Λ ((¬B Λ ¬C) ν A) 4) (¬A ν B ν C) Λ ((¬B ν A) Λ (¬C ν A) HA-AI, IUST-CE Dep.  حذف  حذف )1 )2 ¬ ) کاهش دامنه2 Λ رويν ) توزيع3 31 الگوريتم ( Resolutionالگوريتم تحليل) ‏براي اينکه نشان دهيم , KB|=aثابت مي‌کنيم ()KB ^ ¬a ارضانشدني است. ‏ابتدا ( )KB ^ ¬aرا به CNFتبديل مي‌کنيم ‏سپس قانون رزولوشن به عبارات کوچک حاصل اعمال مي‌شود ‏هر جفتي که شامل ليترال‌هاي مکمل باشد ،رزولوشن مي‌شود تا عبارت جديدي ايجاد گردد اگر اين عبارت قبال در مجموعه نباشد ،به آن اضافه مي‌شود ‏فرايند تا محقق شدن يکي از شروط زير ادامه مي يابد: هيچ عبارت ديگري وجود نداشته باشد که بتواند اضافه شود .در اين مورد b ،استلزام a نيست ‏کاربرد قانون ،resolutionعبارت تهي را به دست مي‌دهد که در اين مورد b ،استلزام a است 32 ‏HA-AI, IUST-CE Dep. مثال:الگوريتم رزولوشن فرض کنيد پايگاه دانش دنياي وامپوس را به شکل زير داشته باشيم. مي‌خواهيم ثابت کنيم در خانه [ ]1,2چاله‌اي وجود ندارد. ‏KB = (B11  (P12 P21))  B11 ‏α = P1,2 عبارت KB ^ ¬ αرا به فرم نرمال عطفي تبديل مي‌کنيم: ‏KB ^ ¬ α = (P21  B11 )  (B11  P12  P21)  (P12  B11)  B11  P12 33 ‏HA-AI, IUST-CE Dep. کالس مفيدي از جمالت براي زماني که رويه استنتاجي با زمان چن^^د جمله‌اي وج^^ود دارد که اين کالس جمالت هورن ( )Horn sentencesنامي^^ده مي‌ش^^ود .ي^^ک جمل^^ه ه^^ورن فرمي به صورت زير دارد: ‏P1  P2 ...  Pn  Q که Piو Qاتم‌هاي خنثي هستند. 34 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو و عقبگرد ‏عبارات هورن :ترکيب فصلي ليترال‌هايي است که فقط يکي از آنها مثبت است ‏هر عبارت هورن را مي‌توان به صورت يک استلزام نوشت که مقدمه آن ترکيب عطفي ليترال‌هاي مثبت و تالي آن يک ليترال مثبت است اين نوع عبارات هورن که فقط يک ليترال مثبت دارند ،عبارات معين ناميده مي‌شوند ‏ليترال مثبت را رأس و ليترال‌هاي منفي را بدنه عبارت گويند ‏عبارت معيني که فاقد ليترال‌هاي منفي باشد ،گزاره اي بنام حقيقت نام دارد ‏عبارات معين اساس برنامه نويسي منطقي را ميسازد ‏استنتاج با عبارات هورن ،از طريق الگوريتم هاي زنجير پيشرو و زنجير عقبگرد انجام مي‌گيرد 35 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو الگوريتم زنجير پيشرو تعيين مي‌کند آيا نماد گزاره اي (qتقاضا) ،توسط پايگاه دانش عبارات هورن ايجاب مي‌شود يا خير 36 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 37 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 38 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 39 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 40 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 41 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 42 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 43 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي زنجير پيشرو 44 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 45 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل ‏تغييرات عمده :خاتمه زودرس ،اکتشاف نماد محض ،اکتشاف عبارت واحد 46 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 47 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 48 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 49 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 50 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 51 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 52 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 53 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 54 ‏HA-AI, IUST-CE Dep. عاملهاي منطقي الگوريتم عقبگرد کامل 55 ‏HA-AI, IUST-CE Dep. منطق گزاره‌اي به ما اجازه مي‌دهد که به تمام نکات مهم درمورد منطق و چگونگي استفاده از آن به منظور ارائه استنتاج که نهايتًا به عمليات تبديل مي‌شود ،برسيم .اما منط^^^ق گزاره‌اي بسيار ضعيف است. مشکل کند شدن رويه استنتاج: )1مشکل فقط نوشتن اين قوانين نيست بلکه تعداد زياد آنها ،باعث مشکل مي‌شود. )2مشکل ديگر ،روبرو شدن با تغييرات محيط است .ما جزيي از عام^^ل اس^^تدالل کنن^^ده را در ي^^ک مک^^ان و زمان وي^^ژه نش^^ان داديم ،و تمام گزاره‌ها در پايگ^^اه دانش در آن زمان خاص ،درست بودند .اما در حالت کلي ،دنيا هر لحظه در حال تغيير است. اندازه يک جدول درستي n2اس^^ت .ک^^ه nتع^^داد س^^يمبولهاي گزاره‌اي در پايگ^^اه دانش 56است. ‏HA-AI, IUST-CE Dep.