هوش مصنوع رهیافتی نوین

صفحه 1:
از سري دروس اراه شده توسط دانشگاه پیام نور WWW.IBP.IR پرتال بیهانگ ۱۳۱۱ 

صفحه 2:
SS ‏با‎ 1 : به طور رسمی‌در سانل ۱۹۵ مطررح شده لست علل مطالعه /02: ۴ سعودارد تا موجودینهای‌هوشمند را د رككند. از ليزرو يكواز علل مطاسلمه آبادگیریب یشتر در موزد خودماززاست * جالب و مفید بودن موجودیت‌های هوشمند . 

صفحه 3:
1 چست تعارینی از 91) که به چهارقتتعت ‎Lew‏ شدءاند: *پرردازش فکرری و استدلالی * پردازش رفتاری * ایدهآل هوشمندی (منطقی بودن) * ارائه انسانی 

صفحه 4:
SS ‏با‎ پردازش‌هاي فكري 9 استدلالي ارائه انساني تمرکز بر روي پردازش‌هاي را 

صفحه 5:
SS ‏ها‎ 1 انسان گونه عمل کردن: رهیاقت آزمون تورینک آزمونی از کامپیوتر به عمل آیده و آزمون گيررنده نتواند دریابة که در آن طرف انسان قررار دارد یا کامپیوت. : ‏بش‎ BSI, Bs ‏این کار کامپیوتر بایدقابلیت‌های‎ gle ** پردازش زبان طبیعی < محاوره ** بازنمایی دانش* ذخیره اطلاعات * استدلال خود کار < استدلال و استخراج * یا گیری ماشینی< کشف الگو و برون ریزی 

صفحه 6:
تست تورینگ: این آزمون از ارتباط فیزیکی مستفیم بین کامپیوشر و محقق اجتتاب ‎ih‏ به منظور قبول شدن در تست تورینگ کلی؛ کامپیوتر به موار زیر احتیاج دارد: ** بینایی ماشین رای درک اشیاء ** روباتيك به منظور حرکت آنها 

صفحه 7:
SS ‏با‎ 2 انسانی فک کردن-: رهبافت مدلمنازی شناحتی: چگونگی شناسایی عملکمد افکاز انسان: 1- درون گرایی 2- تجارب روانشناسی علوع شناختی : مدلهای کامپیوتر از 0961 و همچنین تکنیک‌های روانشناختی را گرد هم می‌آورد تا بتواند تئوری‌های دقیتی از کا رگد ذهن انسان به دست آورند. 

صفحه 8:
3 منطتی فک کردن: تن رهیافت تک رمن «تفکی درست»: ارسطی‌شعی در کشف آن‌داشت. قیاس: از موضوعات مطرح شده توسط ارسطو مي‌باشد» که الگوهایی بای ساختار توافتی ایجاد کرد که همواره نتایج صحیحی به اندازه مقدمات صحیح به دست ali مثال: ستراط انسان است» تمام انسان‌ها می‌میم‌نده يس سقرراط خواهد مرد.» 

صفحه 9:
SS ‏با‎ دو مشکل عمده در این رسم منطق‌گرزایی وجود داررد؟ * تبدیل دانش غیر رسمی به شکل رسمی توسط اعلام منطقی ساده نیست. * تفاوت عمده‌ای بین قادر به حل مسئله بودن در اصول و انجام آن در عمل وجود aul 

صفحه 10:
SS ‏با‎ 4 منطقی عمل کردن: رهیافت عامل منطقي عامل: در اصل چیزی استا که ابتدا د زک می‌کند سپس عمل می‌کند. در نگرش «قوانین تفکم» تأکید عمده بر روی اسنتتاج‌های صحیح بوده است. «مهارت‌های شناخت» که بای آزمون تورینگ موردنیاز استه ببرای انجام فعالیت‌های منطقی وجود دارند. 

صفحه 11:
با ‎SS‏ ‏مرایای مطالعه 171 به‌عنوّان ‎Tila Sale col‏ * عمومی‌تر از رهیافت«قوانین هکر» * پیشرفت علمی بسیار قانون‌پذیرتر از رهیافت‌هایی است که بر تفكى يا رفتار انسانی‌متکی هستند. 

صفحه 12:
SS ‏با‎ زيربناى هوش مصنوعى* 01 از علوم مختلفی‌پ همم میپد که از مبان‌آنها علوع نز مهت شناخته شدملند: * علم فلسفه * علم ریاضی * علم روانشناسی * علم زبان‌شناسی * علم کامپیوض 

صفحه 13:
SS ‏با‎ فلسفه: ‎٩۲۸(‏ قبل از میلاد مسیح تاكنون) پایه‌های تفک و فرهنگ غر: شده است از: افلاطون, استادش سقراط» و شاگردش ارتطق ل قیاس: ارسطوء سیستمی"غیمرسمی از قیاس بررای استدلال مناسب توسعه داده امکان توليد نتايج؛ بر پایه فرضیات اولیه به طور مکانیکی وجود داشت. ل در نظ گررفتن ذهن به‌عنوان سیستمی فینریکی 

صفحه 14:
رنه د کارت مدافع س‌سخت قدرت اننتدلال بود؛ و همچنین طرفداز مکتب دوالیسم. ماتریالیسم: در مقابل دوالیسم قرار دارد و معتقد است تمامی جهان مطابق قوانین فیزیکی عمل می 

صفحه 15:
SS ‏با‎ ل ایجاد منبع دانش: فرانسیس بیکن» جنبش آزمونگرایان را آغاز کرد. و با شعاز جان لاک منهوم یافت: «هیچ چیر قابل فهم نیست اگ ابتدا در حس نباشد,» اصل استتررای امروزی» در حقیقت از کتاب دیوید هیوم نشأت م ىكيرد: "رسانهاى از طبيعت انسان" برتراندراسل» پایه گذار پوزیوتیزع منطقى؛ ارائهدهندة اين تثورى بود كه: «قوانين عمومى توسط تکار ارتباطات بین عناصر آنها به وجود می‌آیند.» 

صفحه 16:
7 ارتباط بین دانش وعمل اشیاء را با تحلیل» دسته‌بندی می‌کنیم و در اطراف آنهاء کار کنرد مورد نیازشان نز در اين ميان يايه سیستم‌مکاشفه‌ای 90۳69) بنیان گذارده می‌شود. 

صفحه 17:
ریاضیات (۸۰۰. 6-تاکنون) رای ارتباط فسفه با دانش نظ یبال اگ یازور سه زمینه اصلی است: محاسبات * منطق * احتمالات 

صفحه 18:
محاسیات* نظریه اظهار محاسبات به عنوان الگوریتمی رسمی به خوارزمی بررمی گرردد؛ ریاضیدان عربی قمرن نهم که نوشته‌های وي. جبر و تلوری اعداد عربی را به اروپا مرفی ‎2S‏ 

صفحه 19:
Se منطق: در ‎ates gal‏ دانشمندان زیادی بر چگونگی شکل گیرری و هدایت آن, نقش داشته‌اند که به چند نف از آنها اشاره می‌کنيم: * ارسطو: دانشمندی که بیشتززین شکل‌گیرزی نگرش فلسفی منطق رابه او نسبت می‌دهند. جورج بول: یک زبان رسمی برای ساحت استنتاج منطقی ا راگه داد. ‎(PREGE *‏ منطقم‌تبه اولرابه شکلیمطرح نمود که در بیشتر سیسته‌های ‏نمایشدانشپایه استفاده میشود. ‏آلفرد تارسکی: تئوری چگونگی ارتباط بین اشیاه موجود در محیط منطقیء و اشیاء موجود ‏در دنیای واقعی را ارائه نمود. ‎ ‎ 

صفحه 20:
SS ‏با‎ دیوید هیلبمت: ریاضیدان بر رگ بود که شهرت وی به‌دلیل مسائلی است که نتوانست حل کند. راسل: قضیه کامل نبودن (۱۳7/۵۳۶) را مطرح نمود؛ تورینگ: ماشین تورینگ قادر به محاسبه هر تابع محاسبه‌پذیری است. تنوری پیچید گی: 1. انجا‌ناپنیری 2 استحاله استيون كوك و ريجارد كارب: تثورى 57ج جاجاررج-- :)(1) را مطرح گ‌دند. 

صفحه 21:
SS ‏با‎ احتمالات: گاردنیوی: اولین کسی بود که ایده احتمال را مطرح گررد. *_پیس فرمته پاسکال» م‌نولی لابلاس و دیگر دانشمندان بر رشد و توسعه این ایده تأثیر داشتند. *_بم‌ئولی: دیدگاه (درجه باور» نهتی را در مقایسه با شخ نتایج عینی مطررح گرد. بیس: قانونی بای بهنگام‌سازی احتمالات ذهنی را به وجود آورد. * نيومن و مو ركنسترن: تلوری تصمیم گییری را آغاز کرردند. و از احتمال, و تتوری سودمندی حاصل می‌شود. وكيب تثورى 

صفحه 22:
SS ‏با‎ روانشناسی (۱۸۷۹- تاکنون): * . هلمولتن: روشی علمی پررای مطالعه بینایی انسان به کار برد؛ که این کتاب به عنوان مرجع بینایی فیریولوژیک واختتی به عنوان (مهمترین رساله فیتزیکی و روانشناختی بینایی انسان تا به "مرو ز» شناخته می‌شود؛ *_ وندت: اولین آزمایشگاه روانشناسی تجربی را در دانشگاه لایپزیک راه‌اندازی کرد. *_ داتسون و تورن دایک:حرکت رفتار گرایی (۳/۲۲) را مطررح کر‌دند. *_ اساس مشخصه روانشناسی شناختی(/<ج </77۳) این نگرش است که مغر دارنده و پردا زش کننده اطلاعات است. 

صفحه 23:
* كريكه كتاب ماهيت بيان را منتشن کرد. و سه مرحله کلیدی را بای عامل مبتنی بر داشن ‎tS om‏ ** محركها بايد به شكل دروفی تبدیل شوند. ** بازنمايى توسط پرردازش‌های شتاختی بازنمایی‌های داخلی جدیدی را مشتق کند. **_اینها دوباره به صورت عمل برگردند. 

صفحه 24:
Cap NA+) ‏مهندسی کامپیوتر‎ براى پیشرفت هوش مصنوعی؛ به ذو چیز احتیاح داریم: * هوش ۰ نوعی در این تفسیم‌بندی؛ کامپیوشر مي‌تواند به عنوانْمحصول مصئوعی موب گردد. 

صفحه 25:
a ‎ects Rober,‏ اوليّنكامبيوتر ندري نعطياتوبود كته در سالل194 توسطتيم آؤتورينكبه منظور كدكتايَياءهاى] مارها ساعته شد. ‏صحصداء0) :نام ماشيز بحي ود كه تيو بهو كلد س7 آزبه كار برد شد. 9-ك: اولي نكامبيوة. قابلبزثاميز.يرزوكه توس ظ كناد زوسدر ‎144١‏ اخترلع ‎a 

صفحه 26:
۹۹۰۰۰۰ اعداد با ممیز شناور و زیان التکانه0) نیز توسط زوش اختراع شدند. ‎DDO‏ اولینک امبيوض اکترونیگدرلمریکا -وسطجانآتناسفو کلیفورد در دانشگاه لیا لولیوا ساخته شد. 1 11 , 1 06061366): تنوسط تیمیبه ریهری‌هوراد ليكزدر هاروارد توسعه دادم شد. 62: اولینک امپیوردیجیتا لا اکترونیککچند منظوری توسط تیموپه س‌پرستوماچلیو (کرندر دلنشگام پنسیلوانیا ساخته شند. 

صفحه 27:
— ‎neal Spats) IDO POI *‏ 5 سودآور توّسط ناتانیلزوچتز در 1۹۵1 ساخته شد. ‏* جار بابیج: طراحی ماشینی که جداول لگازیتمی زا محاسبه کند. * طراحی موتور آنالیتیکی * طرح حافظه قاب لآدرس‌دهی؛ برنامه ذطیره شده و پرش‌های شرطی ‎ 

صفحه 28:
کار در زمینه 601 منجر به ایده‌های بسیار متعددی شد که به علوم کامپیوت بركشت؛ مانند: اشتراک زمانی - مضس‌های دوسویه 7- نوع داده لینت پیوندی - مدیرریت حافظه خودکار و برخی نکات کلیدی برنامه‌نویسی شیء گرا و محیطهای توستعه بنامه مجتمع با واسط کاربر گرافیکی. 

صفحه 29:
زبان‌شناسی (1۹۷۵- تاکنون) اسکین در سال ۱۹۷۵ کتابی در زمیه رفتارگرایان بمرای یاد یی زب منتشس کرد. نوآم چاسکی بر اساس تئورى حنودش يعنى ساحتارهاى تركيبى؛ اين كتاب را تجديد نظ و جاب کرد. که به اندازه اصل کتاب شهرت پیدا کررد. با نم «رفتار زبانی» تئوری چامسکی بر اساس مدل‌های نحوی قرار دازد. 

صفحه 30:
SS ‏با‎ زبان‌شناسی مدرن و 070 در يك زهان متولد شدندء بنابراین زبان‌شناسی نقش مهمی در رشد 91 بازی نمی‌کند. اين دو دریک زمینه مشترک به نا زبان‌شناسی محاسباتی (عطاصم لصطل() ایا (coturdl rogue procession) eb abs tile بهم تنیده شده‌اند که در آن بر رزوی مسئله استفاده زبان تمرکن شده است. 

صفحه 31:
SS ‏با‎ تاریخچه هوش مصنوعی پیدایش هوش مصنوعی ( ۱۹۵-۱۹4۳ ) * _ اشتیاق زودهنگام. آرزوهاي بزرگ (1969-1952) * مقداري واقعیت (1966-1974) سيستم‌هاي مبتني بر دانش: کلید قدرت؟ (1979-1969) *_بازگشت شبكه‌هاي عصبي (1986- تاکنون) * حوادث اخیر (1987 تاكنون) 

صفحه 32:
با ‎SS‏ ‏پیدایش هوش مصنوعي * اولین کار جدی در حیطه01» توتتط وارن مک‌کلود و والتر پیتر انجام شد. *_ سه متبع استفاده شده توسط آنها: * دانش فیزیولوژی پایه و عملکرد نرون در مغز ** تحلیل رسمی منطق گزاره‌ها متعلق به راسل و رایت هد ** تئوری محاسبات تورینگ 

صفحه 33:
a در ‎۱۹6٩‏ دونالد هبء قانون ساده بهنگاسازی بررای تفیی تقویت اتصالات بین زرون‌ها را تعرریف کررد که از طریق آن یادگیزی میمش می گرد" *_ در زمانی که کلود شانون و آلن تورینگ بررنامه بازی شطرنج را نوشتند , 0009086 اولین کامپیوتر شبکه عصبی در دانشگاه پرینستون توسط مینسکی و ادموندز ساخته شد. این کامپیوتر» از ۳ هار تیوپ مکشی و مکانیزم خلبانی خود کار اضافی که ممربوط به بمب‌افکن‌های *206) می‌باشد بای شبیه‌سازی شبکه ۰؛ ذرونی استفاده کررد. 

صفحه 34:
محنتین علاقمند به تئوزی آتوناتا: شبکه‌های عصبی و مطالعه هوش» گرد یکدیگ جمع شدند و در کارگاهی در دورت موند مشغول فعالیت شدند. که در این میان نام هوش مصنوعی برای حیطه فعالیت آنها انتخاب شد. 

صفحه 35:
اشتياق زودهنگام آرزوهای رگ (۱۱2۹-۱۹۵۲) * فعالان در عرصه 0 روچستو و تیمش در 41600 هربرت جلونش : ب ساخت ‎Cevwery Vhevrew Prover‏ آرتور ساموثل: ساخت بر‌نامه بررای بازی چکس 

صفحه 36:
۹۹۰۰۰۰ * جانمک کارتي در 0 * تعریف زبان لیسپ (15۳) مهمتررین زبان هوش مصنوعی ** مفهوم اشتراک زمانی اك ‎(Ire‏ ‏** تشر مقاله‌ای با عنوان "ببرنامهها با حواس مشترک" * تشریح یک سیستم فرضی به نام -عداج۳/ عرف3), که به اصول پایه بازنمایی محرفت و اتدلال تحسم بخشید؛ * کار بر روی سیستم ‎Clee Ibe gb‏ ** كار بس روی پروژه روبات‌های راد 

صفحه 37:
a * مينسكى: كار بر روی میکرووورلدها وهمکاری ‎(BIS Se b‏ ولى بر سر اختلاف بر نگر‌ش منطقی و ضدمنطقی کار تحقیقاتع خود را از هم جدا کردند. مینسکی با گرروهی از دانشجويان ب روی میکرروورلدها کار گرد که برخی از آنها عبارتند از: ‎GOTT Su) gue"‏ قادز به حل مسائل انتگرال‌گیری فرع بسته ‏*_ اوانم: 962690۸626 حل مسائل مشابهت هندسی در تست‌های هوش ‏* _رافائل: *9/16): پاسخ به قضایای پرسشی جملات ورودی ‏*_بابرو: 9/(60606): حل متنائل داستانی جب 

صفحه 38:
با ‎SS‏ ‏مقداری واقعیت (19۷-1۹17) مشکلات تقريباً تمام مر وزءها تحتیّي 31) وقتی پدیدار می‌شدند که مسائل گسترده‌تری براى حل توبنظ آنها مرح می‌شد: برنامه‌های اولیه اغلب دارای دانش محدود یا فاقد,دانش در مورد موضوع کار بودند. *_انجامنپنیری بسیاری از ان به دليل اعمال بمرحی محدودیت‌های پایه‌ای بس زوی ساختار پایه مورد استفاده بای تولید رفتار هوشمند 

صفحه 39:
SS ‏با‎ سیستم‌های مبتبی بر دانش: کلید قبرت؟ (3۹۷۹2۱۹۲۹) روش‌های ضعیف: مبتنی بر یک جستجوی همه‌منظوزه می‌باشند که قده‌های اولیه ياد كيرى را بر‌می‌دارند اما تلاشی در جهت یافتن راءحل‌های کامل نذارند. به این دلیل که اطلاعات ضعیفی را در مورد دامنه فعالیت خود به کار می‌بر‌ند. پس یرای حل مسائل دشوارم تقريباً جواب را از قبل بايد بدانيم. * برنامه 2000000 از بر‌نامه‌هایی است که از این رهیافت استفاده می‌کند. 

صفحه 40:
اهمیت برنامه 0۴۱108۵۱ در این بود که اولین سیستم موفق با دانش غنی بود یعنی تبحر سیستم بر پایه تعداد بسیار زیادی قانون ایجاد شده بود. سیستم‌های بعدی ایده اصلی رهیافت ۸۵0۷6 :311 مك كارتى را دنبال م كردند یعنی جداسازی دانش (در شكل قوانين ) و مؤلفه استدلال: 

صفحه 41:
SS ‏با‎ ۵ نسبتبه ا84()00369)() دوز تفاوتعمده دارد؛ برخلاف قوانین ‎J Gad DBOOROL‏ تلوری‌وار عمومى براى آنکه قوانین 710( استنتاج شودء وجود نداشت. * قوانين مى بايست عدم قطعيت مر بوط به دانش يزشكى را منعكس ‎aS‏ 

صفحه 42:
با ‎SS‏ ‏1 به یکصنعتتبدیلم شوه (۱۹۸۸-۱۹۸۰) * 0۲1: اولینسیستم خبره تجاروموفقاز شکت()6() که سودآوری‌زیادو را بای ش مكتبهمله دلشت * يروذه «نسل ينجم): اين پروژه ژاپنی به منظور ساحت کامپیوترهای هوشمندی که پرولوگ را به جای کد ماشین اجرا می‌کرردنده انجام شد. * . شرکت‌های دیگر جهان از جمله میکرروالکترونیک»()(6» لیسپ ماشین؛ تگزاس اینستررومنت» سمبولیکس؛ زیر کسووغییره در بتاخت ایستگاه‌های کاری بهینه شده در این عرصه فعالیت داشتند. 

صفحه 43:
با ز گشت شبکه‌های عصبی: دانشمندان فعال در این عرصه: * هاپ فیلد: که به آنالیر خواص ذخیمه‌سازی و بهینه‌سازی شبکه‌ها پرداخت. راسل هارت و هینتون: مطالعه مدل‌های شبکه عصبی را ادامه دادند. بریسون و هو: الگوریتم یادگیرری انتشار په عتب را مجددا مرج كرردند. 

صفحه 44:
حوادث اخیر؛ * رهيافت 10000: رهيافت غللت در سنالهاى اخير م باشد كه توسط مايكف به وجود آمده است. اين رهيافت از دو جنبه زیر حائز اهمیت است: مبتنی بر نظریه ریاضی محض است. "* طی فرایندی با یادگیریی گرروه عظیمی از داده گفتار واقعی خود.را بهبود می‌بخشد. 

صفحه 45:
بم‌نامه‌ریزری: در دهه *۷ فقط بای میکرووردها مناشب بودنده اکنون بای زمانبندی کار در کار خانه‌ها و مأموریت‌های فضایی استفاده می‌شوند. * بیان شبکه باور: استدلال کارا را در مورد ت کیب رویدادهای غیرمنطقی ممكن ساخت. 

صفحه 46:
Se " ایده سیستم‌های خبرمه فرماتیو توسط کار جوداپیر و اردیک هوروتين و دیوید هرمن مطرح شد: "سیستم‌هایی که مطابق قوانین تشوری تصمیم گیژی به طور منطقی عمل می کنند و سعی ندارند که بح انسانی را تقلید کنند." 

صفحه 47:
شرایط کنونی: بر‌خی از سیستم‌هایی موجود در جهان که از هوش مصنوعی استفاده می‌کنند: 0 اولیزب نامه ک امپیوتریکه موفقبه شکستلستاد بسزر.گشط نج جهان آر‌نولد دنکس شده لست 5 يكب نامه د كك نتار كه سوا لشكارب را جوابميهد وتمامى برنامه‌هاومسافرتی‌شخصرا با یکبرنامه‌ریزیدرستمشرون‌به صسرفه مي‌کند. ‎DPROCL‏ سیستم خبرملی‌که دادههای|زسا_لواز سفینه فضایو را تحلیلن موده و در صورتب روز مشکاقتجدی پیفام هشار بته تحلیلگران‌میبهد. 

صفحه 48:


صفحه 49:
عامل: به هر چیزی اطلاق می‌شوده که قادر به درک محیط پیرامون خود از طریق عسگر‌ها( عج<) وا شكذارى بس روی محیط از طریق آشرکنندهها (۳ج/(/ت) باشد. عامل ‎Selah‏ ‏عامل شر‌افزاری رشته‌هایبیتی را هعنوان دراک محیط و عملء کدگذاری میکند. 

صفحه 50:
عوامل انسانی 1 حس کردن؛ كوش چشم: دیگر ارگا‌ها 2 اش‌گذاری: دشت. پاء بيني اندامهاى ديك عوامل روباتيك 1 حس کنردن: دوربین, یابنده‌های مادون قرمز 0.2 اش كذاري: موتور 

صفحه 51:


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

صفحه 53:
SS ‏با‎ تفاوت میان منطتی بودن و داش کل (عمه‌طرصممحبا عامل داناى كل معنى زر وجى واقعی اعمال خود را دانسته و بم پایه آنن عمل م ىكند اما دانش کل در واقعیت غیم‌سکن اشت. اگر معين كنيم كه هر عامل هوشمند همواره باید همان کاري را انجام دهد که در عمل مناسب است. هیچگاه نمی‌توان عاملی را طراحی نمود که این مشخصات را مرتفع سازد. 

صفحه 54:
SS ‏با‎ آن چه در هر زمانی منطقی امنت به چهار یم وابسته است: ** معیار کارایی که درجه‌موفقیت را تعیین می‌کند. * هر چیزی که تا کنون عامل, ادرزاگ نموده است؛ ما ین تازریخچه کامل ادراکی را دنباله ادراکی می‌نامیم. آنچه که عامل درباره محیط خود می‌داند. *** اعمالی که عامل می‌تواند صورت دهد. 

صفحه 55:
رفتا ر عامل وابسته به دنباله ‎dle BSNS‏ است. عامل را بايد به‌عنوان اپزاری پمرای تحلمل سستم‌ها قلمداد کررد؛ نه شخصيتي مطلق که جهان را به دو بخش عامل و غیعامل‌ها تقسیم م ىكند. 

صفحه 56:
SS ‏با‎ نگاشت ایدهآل از دنبال‌های ادراکی به عقلیات هر عامل خاصی را به وسیله جدولی توصیف می کنیم» که در آن عمل آن در پاسخ به هر دنباله ادراکی قرار می‌گیرد. این بدان معنی نیست که ما جدول خاصی با یک ورودی بای هر دنباله ادراک ممکنی تولید کنیم. می‌توان مشخصات نگاشت را بدون شمارش خسته کننده آنها انجام داد. 

صفحه 57:
ماود تابع ريشه دوم دنباله ادراكقة دنباله‌ای از کلیدهای زده شده نكاشت ايدمآلة جراى مقاديى مثبت »< نشان داده شده توسط ادراكه > نين مثبت باشد و عمل مناسب نماي نان داده شد., 

صفحه 58:
خودمختاری: در اینجا تعرین عامل باید کامل‌تتر شود و بخش دانش ذرونی به آنْ اضافه می‌گرردد. رفتار عامل می‌تواند متکی بر دو پایه تصربه خود و داثش دزرونی بنا نهاده شود. اين رفتار» در ساخت عامل بررای شرایط محیطی خاص که در آن عمل خواهد کرد استفاده نی توف 

صفحه 59:
SS ‏با‎ سیستم به وسعتی نود مختار است که زفتاز آن بر اساس تجرربه خودش تعیین می‌کند. زمانی که عامل فاقد تجربه و یا کم تجربه استه مسلماً تصادفی عمل خواهد کررد؛ مگ آنکه رح کمک‌هایی به آن داده باشد. عامل هوشمند واقعاً خود مختار بايد قادز به عمل موفقي تآمي در دامنه وسیعی از محیطها باشد و البته بايد زمان كافى براى تطبيق نين به آن داده شود. 

صفحه 60:
ساختار عامل‌های هوشمند وظینه هوش مصنوعی طبراحی بم‌نامه عافل است؛ این طراحی شامل تابعی است که نگاشت عامل از اد راک به عملیات را پیاده سازی می‌کند. معماری: رض می‌کنیم نامه عامل بر رزوی نوعی ابززار محاسبه كر اجر م ى كرد كه آن را معماری می‌نامیم. ‎isle aba‏ باید توسط معماری قابل پذیر‌ش و اجرا باشد. 

صفحه 61:
عموماه معماري ادراک از ط 989 گر مرج زونه اماهظ برنامه را اجررا نموده و اعمال انتخابی بررنامه را به عمل کننده‌های سیستم منتقل می‌کند. ارتباط بین عامل‌هاء معماری‌ها و ‌نامه‌ها را می‌توان به صورت ذیل حمع بندی نمود: نامه + معماری< عامل 

صفحه 62:
SS ‏با‎ در اینجا مسئله تمایز بین محیط واقعی و مصتوعی مطررح می‌شود؛ اما مسأله اصلی؛ پیچید گی مابین: ارتباط رفتار عامل» دنیاله ادراکی تولید شده بوسیله محیط وا اهدافي كه عامل قصد حصول آن را دارك؛ است. مشهورترين محيط مصنوعى» محيط تست تور ينك (9ذ»() است. 

صفحه 63:
برنامه‌های عامل: تشایهات عامل‌های هوشمند: ۴ دریافت ادراک محیطی دو نكته د :5 1 برنامه عامل تنها يك د رك از شتزايط محيطى واحدٍرا به عنؤان وررودی دریافت م ىكند. 2. هدف يا معيار كارايى بخشى از برنامه شالوده نخواهد بود. ‎Ls‏ نامه قایلٌ دک هستند: ‎ 

صفحه 64:
چرا نها بهپاسخ‌ها نگه نم‌کنيم؟ جدول مراجعه باید بر پایه حنظ کامل دنباله ادراکی در حافظه عمل نموده و از آن بای ایند کس‌سازی داحل جدول استفاده کند. جدول عامل نوع رانندهتاکسی نوع عامل ادراکات عملیات اهداف محیط رانتده تاكسي | دوربينهاء سريت |#راهنگي کردن:! | ایمنی, سرعت: | جاده؛ پیاده‌رن 1 سنج ‎BPC.‏ | شتاب‌دهنده. ترمز., | | قالونمندي: ترافیک, 90 ميكروفون | صحبت با مسافر | "راحتي؛ افزایش مشتري سودمندی 

صفحه 65:
SS ‏با‎ جنبه‌های مختلف یک عمل انواع مختلف برنامه‌های عامل را پيشنهاد خواهد کرد. براى مثال» ؟ عامل را مورد بر رسی فا می دا عامل‌های واکنشی ساده *** عاملهايى كه اثرات دنیا را حفظ می‌کنند عامل‌های هدف‌گرا * عامل‌های سودمند 

صفحه 66:
‎le‏ اكنشى ساده ‏در اینجا جدول رجوع باید مورد توجه قرار گرفته و فیلدهای مَختلف آن توسط اطلاعات ورودی پر شود. ‏اتصالاتی (واکنش‌هایی ) وجود دارند که انسان‌ها بسیاری از آنها را دارا بوده: ‏برخی از آنها قابل ياد كيرى و برخى ديك غررینزی است. 

صفحه 67:
دهنده وضعیت دای جاری فرایئد یی عدر بیشبی: نشان‌دهنده وضعیت اطلاعات پس‌زمینه 

صفحه 68:
SS ‏با‎ عامل‌هایی که اشرات دنیا را حفظ ام كدئد آنجایی ناشی می‌شود که حسگ‌ها نمی‌توانند دترسی کامل په وضعیت دنیا را به وجود آورند. در چنین شرایطی» عامل ممکن است نیازمند دستکاری ب‌خی اطلاعات وضعیت داخلی باشد تا از طبریق آن تمایز بین وضعیت‌های دنیا که در ظاهم ورودی ادراکی ‎hp ABS gt SLE‏ در واقع معنى كاملاً متفاوتی دارند را میسر سازد. 

صفحه 69:
بهنگا‌سازی اطلاعات وضعیت داخلی همان با گذر زمان تیا زمند دونوع دانش کد شده در برنامه عامل است. اول: نیازمند آنیم که برخی اطلاعات درباره چگونگی تغبیس جهان مستقل از عامل را داشته باشيم. دوم: نيازمند اطلاعات درباره اعمال حُود هسنتیم که بر روی دنیا اثر گذار است. 

صفحه 70:


صفحه 71:
عا هدف گرا: دانستن درباره وضعيت كنونئ مخيّط همؤازه براى تِصميم كير ىعمل نمىتواند كافى باشد. به همان گونه که عامل نیازمند شرح وضعیت جاری استه په نوعی نیازمند اطلاعات هدف(۳۳3) می‌باشد که توضیح موقعیت مطلوب است. 

صفحه 72:
SS ‏با‎ بررنامه عامل می‌تواند اين اطالاعات را با اطالاعاتى درباره نتايج اعمال ممکن (همانند اطلاعاتی که در عامل واکنش برای بهنگام‌ساژی وضعیت داخلی استفاده شد ) تر کیب نموده تا اعمال مناسب را بای دسترسی به هدف انتخاب نماد در مواقعی ساده است: که رضایت اژ هدف بلافاصله از عمل واخد تولید گردد. در مواقعی پیچیده است: که عامل باید دنباله‌های طولانی را در نظ‌گرفته تا راهی بای دستیابی به هدف بيدا كند. در مواقع بیجیده» حستحو و برنامهربزى به دافتن دننالة اعمال ميج خو اهند شد. 

صفحه 73:
تفاوت عامل‌های واکنشی و هذفگیرا: در طراحی عاملهای وا کنشی طراح بای حالات متفاوت عملی درست را پیش محاسبه می در عامل‌های هدف‌گرا» عامل می‌تواند دانش خود را در مورد چگونگی واکنش بهنگام سازد. 

صفحه 74:
1 برای عامل واکنشی ما مجبور به دوباره نویسی تعداد زیادی قوانین شرط -عمل خواهیم بود. 2 عامل هدق گرا نسبت به رسیدن به مقاصد متفاوت انعطاف ‎poy‏ است. 3 بسادگی با تعیین یک هدف تازه؛ موتوانيم عامل هد كرا را به رفتار تازه برسانيم. 

صفحه 75:


صفحه 76:
عامل‌های سودمند: *_اهداف به تنهایی بای تولید رفتار با کیفیت بالا کافی نیستند. * ملاک کارایی عومی باید ها ین وضعلت‌هی کنيايمتناوك (يادناله حالات) را بر پایه چگونگی رضایت عامل در صورت.حصول هدف بدهد. بنابراين اككى يك وضعيت دنيا به ديكرى ترجيح داده م شود» آنكاه آن بای عامل سودمندتر خواهد بود 

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

صفحه 78:
SS ‏با‎ ار تباط بین عامل و محیط: اعمال بوسیله عامل بم محیط انجام می‌شود؛ که خود ادراک عامل را مهیا می‌سازد. خواص محیط: ** قابل دسترسي در مقابل غیر دستزلسيي * قطعي در برابر غیر قطعي ** اييزوديك در مقابل غيرايد * ایستا در مقایل يؤيا * گسسته در مقابل پیوسته 

صفحه 79:
SS ‏با‎ ** قابل دسترسى در مقابل غيسرقابل دست ريسا محیط قابل دسترسی: محیطی که عامل آن توسط ابراز خس‌کنندهاش امکان دسترسی به وضعیت کامل محیط را داشته باشد. محیط قابل دسترسي راحت است. زیرا عامل نیازمند دستكاري هیچ وضعیت داخلي براي حفظ دنیا را نخواهد داشت ۱ 

صفحه 80:
** قطعى در مقابل غي "قاع محیط قطعي: محيطي است که اگر وضعیت بعدی محیط وسیله وضعيت كنونى و اعمالى که با عامل‌ها انتخاب گردد تعييق شود. ‎ap‏ است به قطعی یا غیس قطحی بودن محیط از دید گاه عامل نگاه کنیم. 

صفحه 81:
SS ‏با‎ * اپیرودیک در متابل غیم انيز ديك سا محیط اپیزودیک ‎depts)‏ تجربه عامل به پیز ودهایی تقنتیم می‌گرردد. سا هر اپیزود شامل درک و عفل عامل است. لسأ كيفيت اعمال آن تها به خود اپیزود وابسته است: لسا محيطهاى ابييزودى بسيار سادهترزند زييرا عامل ذبايد به جلوتن فك کند. 

صفحه 82:
SS ‏با‎ ایستا در مقابل ‎gg‏ محیط پویا: محیطی که در حین شنجیدن عامل تخییر می کند. محیط نیمه‌پویا: محیطی که با گذر زمان تغییم نمی‌کند اما امتباز کارایی تفییر م ىكند. محیطهای ایستا ببرای کار ساده هستند زیررا عامل نیاز به نگاه کرردن به دنیا در حین تصمي م كيرى عملی نداشته و همچنین در مورد گذر زمان نیز نگران نمی‌باشد. 

صفحه 83:
SS ‏با‎ 8 * گسسته در مقابل پیوسته محیط گسسنه: اگر تعداد محذود و مخزا از ادراک و اعمال بوضوح تحریف شده باشد. - بازی شطرنج گسسته است. - رانندگی تاکسی پیوسته است. سختترين حالت در بين حالاق موود براى محيظ: ‎ab‏ قابل دستررسی؛ غیر اپینزودیک» پویا و بيوسته 

صفحه 84:
مثال‌هايي از انواع محیط و ويژگي‌هاي آنها لبه ‎Bo FS Ses) teal‏ امحيط ‎YES YES NO. Semi YES‏ شطرنج به هصراء ساعت ‎coke apie gi tat YES YES NO YES YES‏ ‎Sn NO NO NO YES YES‏ ‎YES NO NO YES YES‏ ته تود ‎NO NO NO NO NO‏ راندنتاکسی ‎NO NO NO NO NO‏ سیستم تشخیص پزشکی ‎YES YES YES Semi NO‏ سیستم ‎le‏ 8 ‎NO NO YES 0 NO‏ ریات جایجاکند اشی ‎NO NO NO NO 0‏ ‎NO NO NO NO YES ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ 

صفحه 85:
بررنامه‌های محیط * شبیه‌ساز یک یا چند عامل راه عنوان ورودی گرفته و بگونه‌ای عمل می‌کند که هر عامل ادراک درست و نتیجه باز گشتی عمل خود را بدست آوزد. * شبیه‌ساز محیط را بر اساس اعمال و دیگر فرآیندهای پویای محیط بهنگام می‌سازد. * محیط با وضعیت آغازین و تابع بهنگام‌سازی تحریف می‌گردد. 

صفحه 86:


صفحه 87:
يك نوع عامل هدفكرراء عا. مسئله نامیده عاملهاى حل مسئله توسط يافتن ترتيب عمليات تصميم م كي ررد كه جه انجام دهند تا ‎UBT‏ ‏رابه حالتهاى مطلوب سوق دهد. 

صفحه 88:
عامل‌های حل مسئله * عامل‌های هوشمند به طریقی عقل نمی کنند که محیط مسیم به داخل دنبالهحالت‌هایی وارد شود که معیار کا رآرایی را افزایش مي‌دهند. * عملیات به گونه‌ای ساده‌سازی می‌شوند که عامل قادر باشد تا هدفی را قبول کرده و به آن ‎en‏ * الگوریتم جستجو مسئله‌ای را به عنوان ورودی دریافت نموده و راه‌حلی را به صورت دنباله عملیات بس م ىكرداند. 

صفحه 89:
SS ‏با‎ فاز اجرابي: مرحله‌اي است که در آن زمان» راهحلی. پیدا می‌شود و عملیات پیشنهادی می‌توانند انجام شوند. به طور ساده براى طرح يك عامل مماحل (فر بموله‌سازی» جستجوء )را در نظر مي‌گيريم. پس از فی‌موله‌سازی یک هدف و یک ممتثله ‎HALE Som cdo‏ 1 رویه جستجویی را برای حل آن مسئله فراخوانی می‌کند. 2 از راه حل برای راهنمایی عملیاتش استفاده می‌کند و هر‌آنچه که راه حل پيشنهاد می‌کند را انجام می‌دهد. 3 آن ممرحله را از دنباله حذف می‌کند. 4 زمانی که رامحل اجرا شد, عامل هدف جدیدی را پیدا می‌کند. 

صفحه 90:
SS ‏ها‎ چهار نوع اساسی از مسائل وجود دارند: * مسائل تک حالته (عممجط6) * مسائل چند حالته (سفسوانفان()) ** سائل احتمالی (بصحب»ه:0) * سائل اکتشانی (سج) 

صفحه 91:
دانش و انواع مسئله دنیای مکش ( جاروبرقی): اگر دنیا حاوی دو محل پاشد: هر محل ممکن است که شامل خاک باشد و یا نباشد و عامل ممکن است كه در يك محل يا ديك محل‌ها باشد؛ که دارای هشت حالت متفاوت خواهد بود؛ هدف تمییر کرردن تمام خاک‌هاست که در اینجا معادل با مجموعه حالت [۸و ۷] است. 

صفحه 92:
SS ‏با‎ مدل‌هاي مختلف براي مسئلةاتجاروبرقق: مدل تک حالته: ‎cla Sor‏ عامل به آن اطلاعات کافی می‌دهند تا وضعیت دقیق مشخص شود. (دنیا قابل دسترسی است ). عامل م‌تواند محاسبه کند که کدام وضعیت پس از هم دنباله از عملیات قرار خواهد گرفت. 

صفحه 93:
- مدل چند حالته: عامل تمام اشرهای عملیاتش را مي‌داند اما دسترسی به خالت دنیاارا محدود کرده است. زمانی که دنیا تماماً قابل دسترشی نیست عامل باید ذر مود مجموعه حالت‌هایی که ممكن است به آن بر‌سد استدلال کند. 

صفحه 94:
با این مدل حل مسئله» حس-گیرهایی زا در طول فاز اجرایی نیاز داریم. عامل اکنون باید تما درخت عملیاتی را بر ‎OYE‏ دنباله عملیاتی مننرد» محاسبه کند. که به طور کلی هس شاخه درخته با یک امکان احتمالی که از آن ناشی می‌شود؛ بررسی می‌شود. 

صفحه 95:
عاملی که هیچ اطلاعاتی در مورد ارات عملیاتش ندارد: در اين حالته عامل باید تجربه کند و به تدریج کشن کند که چه عملیاتی باید انجام شود و چه وضعیت‌هایی وجود دارند. این روش یک نوع جستجو است. اكى عامل نجات يابدء «نقشهاى »از محيط را ياد مى كيرد كه می‌تواند مسائل بعدی را حل کند. 

صفحه 96:
SS ‏با‎ مسائل و راءحلهاى حنوب تعرب ندم مسئله: در واقع مجموعداى ا نإطالاعات است كه غافل ان آنْها تززاى تصميم كيرى در مورد اينكه جه كارى انجام دهدء استفاده می‌کند: عناص اوليه تعريف يك مسئله,وضعيتها_عمليات هستند. 

صفحه 97:
SS ‏با‎ براى تعریف یک مسئله موارد زی رآفیاز داریم v v وضعیت آغازین ‎Ciuittal ott)‏ که عامل خودش از بودن در آن آگاه است. محموعه‌ای از عملیات ممکن» که برای عامل قابل دسترسی باشدء ۲ آزمون هدف (اعط اسب كة عامل می‌تواند در یک تین وضعیت منفرد آن را تقاضا كند تا تعيين گردد که آن حالتء وضعیت هدف است یا خیس. = تابع هزینه مسیر» تابعی امشت که بای هس مسیم» هزینه‌ای را در نظم می‌گیررد؛ و با حرف [ مشخص می‌شود. هزينه يك سف > مجموع هزينههاى عمليات اختصاصى در طول مسيس 

صفحه 98:
SS ‏با‎ براى حل مسئله جند حالتهء فقط به یک اصللاح جزرئی نیاز داریم: یک مسئله شامل: * یک مجموعه حالت اولیه * مجموعه‌ای از عملگرهای ویثژه بای هر عمل به گونه‌ای که از هر وضعیت داده شده مجموعه‌ای حالات رسیده شده و یک آزمون هدف و تابع هزینه سیر را معین کند. 

صفحه 99:
يك عملگس: توسط اجتماع نتايج اعمال عملگر در هر وضعیت مجموعة به كار برده می‌شود. یک مسیس: محموعه حالات را ممرتبظ می‌کند. یک راء حل: مسیرری است که به مجموعه‌ای از حالات که تمام آنهاء وضعیت هدف هستند» سوق می‌دهند. 

صفحه 100:
SS ‏با‎ اندازه گیرری کارایی حل مسئله: 2 آپا راه حلی مناسبی است؟ 3. هزینه جستجو از نظر زمانی و حافظه مورد نیاز بای یافتن راه حل چیست؟ مجموع هزينه جستجو - هز بنه مسي هزین جنتجو عامل بايد تصميم بكيررد كه جه منابعى را فداى جستجو و چه منابعی را صرف اجرا کند. 

صفحه 101:
انتخاب حالات و عملیات هنس واقعی حل مسئله؛ تصمیم گیری در مورد این اسلت که چه چیزهایی در تحریف حالات و عملكرها بايد به حساب آورده شوند و چه چینهایی باید کنار گذاشته شوند. 

صفحه 102:
انتراع: فرآیند حذف جزئیات از یک بارنمایی انتزاع (۲200صواه ) نامیده می‌شود. * همانگونه که تحریف را خلاصه‌می‌کنیم می‌بایست عملیات را نییر خلاصه نمائیم. * انتتراع به این دلیل مفید است» که انجام هر کدام از عملیات آسانتر از مسئله اصلی است. * انتخاب یک انتراع خوب از این رو شامل حذف تا حد ممکن می‌شود تا زمانی که عملیات خلاصه شده براى انجام آسان باشند. 

صفحه 103:
مسائل نموند؛ مسائل اسباب‌بازی 

صفحه 104:
edb BLUES ‏مسائل‎ ‎:۸ ‏معمای‎ معمای ۸ نمونه‌ای است شامل یک صنحدٌ ۳*۳ با ۸ مربع شماره دار در یک صفحه خالی- هر مربع که مجاور خانه خالی است. مي‌تواند به دزون ‎BI‏ خانه برّوّد. هدف رسیدن به ساختاری است که در سمت راست شکل نشان داده شده انشت. نکته مهم این است که بجای اينکه بگوییم «مربع شماره 4 را به داحل فضای خالی حررکت بده» بهتر است بگوییم (فضای خالی جایش را با مربع سمت چپش عوض کند.» ‎rat Orie Cod Ore‏ og Hod نا ت ‎agg‏ ag 23 

صفحه 105:
SS ‏با‎ حالت‌ها: توصیف وضعیت مکان هر ۸ مربع را در یکی از 7اه صنحه مشخص میکند. بای کارایی بیشتر» بهتر است که فضاهای خالی نیرز دک شود: عملگی‌ها: فضای خالی به چپه تاست, بالا و پائین حرکت کند. آزمون هدف: وضعیت با ساختار هدف مطابقت می‌کند. هرینه مسیس: هر قدم ارزش ۱ دارد؛ بنابر‌این هزینه مسيس همان طول مسيى است. 

صفحه 106:
SS ‏با‎ Seah ۸ ‏مسئله‎ هدف از مسئله ۸ وزیر» قرار دادن ۸ وزیر بمز روی صفحه شطرنج به صورتی است که هیچ وزیری نتواند به دیگری حمله کند. دو نوع بیان ریاضی اصلی وجوددازد بیان آفنرایشی که با جايگزيتي وزيرهاء به صورت یکی یکی کار می‌کند و دیگری بیان وضعیت کامل که با تما 8 وزیم وی صفحه شروع می‌کند و آنها را حرکت مي‌دهد. در این فرمول ما 16 امکان داریم: 

صفحه 107:


صفحه 108:
SS ‏با‎ بنابم‌این ما تست هدق و هزینه متیر را به صورت زیر خواهیم داشتا: آزمون هدف: 8 وزیر روی صفحه که با هم بر‌خورد ندازند. طزينه مسيس ذ صف حالات: ترتیب از صفض تا ۸ وزیر بدون هیچ رخورد. عملگی‌ها: یک وزیر را در خالی‌ترین ستون سمت چپ جایگزین کنید که هیچ بر‌خوردی با بقیه نداشته باشد. 

صفحه 109:
حادملا ورن : در مسائل کرریپتاریتتیک» حروف به جای ارقام می‌نشینند و هدف یافتن ‎ge Se‏ از اعداد برای حروف است که مجموع نتیجه از نظر ریاضی درست باشد. محمولاً هم حرف ید به جای یک رقم مختلف بنشینند. مثال: ‎TORTS a ht (P=, O=8, R=?, ov‏ ‎TED + 680 +‏ + 690 + ۳6۵0 ©9066 “يك 

صفحه 110:
یک فرمول ساده: حالات: یک معماى ۱۳۷/۳۸۵۳۵۲۳۵۰) با چند حرروف جایگزین شده توسط ارقام. ‎tla Sle‏ وقوع یک حروف را با یک رقم جایگزین کنید که قبلاً در معما ظاهر نشده باشد. آزمون هدف: معما فقط شامل ارقام ابنت ویک مجموع صحیح را بس می‌گررداند. هزينه مسي صف - تمام راه حل‌های صحیح است. 

صفحه 111:
می‌خواهیم که از تبدیل جایگنرینی‌های مشابه اجتتاب کنیم: "7 قبول یک ترتیب ثابتمانندترتیبالنبیی: ۲ هر کدام که بیشترین محدودیت جایگزینی را دارد؛ انتخاب کنیم؛یعنی حرفی که کمترین امکان مجاز را دارنه محدودیت‌های معما را می‌دهد. 

صفحه 112:
دنیای مکش: مسئله تک حالته: عامل از جای خودش اطلاع دارد و تمام مکان‌های آلوده را می‌شناسد و دستگاه مکنده ما درست کار می‌کند: حالات: یکی از ۸ حالت نشان داده شده. عملگ‌ها: حرکت به چپه حرکت به ژاسته عمل مکش. آزمون هدف: هیچ خاکی در چهار گوث‌ها نباشد. هزینه مسیس: هر عمل ارزش ۱ دارد. 

صفحه 113:


صفحه 114:
SS ‏با‎ مسئله چند حالته: عامل دارای ‎Kae‏ نمی‌باشد, محموعه وضعیت‌ها : زیر محموعه‌ای از خالات, عملگی‌ها: ح رکت به چپه حرکت به راشته عمل مکش آزمون هدف: تمام حالات در مجموعه حالت‌ها فاقد خاک باشند. هزینه مسی: هر عمل هزینه ۱ دارد. 

صفحه 115:
SS ‏با‎ مسئله کشیش‌ها و آدمخوارها: سه کشیش و سه آدم خوار در یک ظرف رودخانه قرار دارند و هم چنین قایقی که قادر است یک یا دو نف را حمل کند. راهيزا پیایید که هر تفر به سمت دیگر رودخانه بررود؛ بدون آنکه تعداد کشیش‌ها در یکجا کمتر از آدم خوارها شودء 

صفحه 116:
SS ‏با‎ حالات: یک حالت شامل یک دثبالة ممتب شده از عدد است که تعذاد کشیش‌هاء تعداد آدمخوارها و محل قایق در ساحلی از رودخانه که از آنجا مسئله شروع شده را نمایش می‌دهد. عملگی‌ها: از هم حالته عملگها کیک کیش یک "تتخواره دو کشیش دو آدمخواره پا یکی از هر کدام را در قايق چا می‌دهند. آزمون هدف: رسیدن به حالت(۰و * و ۰). هينه مسیم: تعداد دفعات عبور از رودخانه. 

صفحه 117:
با ‎SS‏ ‏مسائل دنیای واقعی الگوریتم‌های مسیم یابی کار بمدهای"زیادی دراند؛ مانند مسیریاپی در شبکه‌های کامپیوتری: سیستم‌های خود کار مسافرتی و نیست‌های ببرنامهنویستی مسافررتی هوایی. 

صفحه 118:
SS ‏با‎ مسائل فرروشنده دوره گرد و تور: مسئله فروشنده دوره گرد مسئله مشهوزی اثبت که در آن هس‌شهر حداقل یکبار باید ملاقات شود هدف یافتن کوتاهترین ‎Tal ia‏ علاوه بر مکان عامل؛ هر حالت باید محموعه شهر‌هایی را که عامل ملاقات کرد نگه دارد. علاوه بر بررنامه‌ریزی صفر بای فروشنده دوره گرد اين الكوريتمها بمرای اعمالی نظیسر برنامه‌ریزی حرکات مته خورد کار سوراخ‌کننده برد مدار استفاده می‌شود. 

صفحه 119:
طح0101: اببرار طراحی کمکی کامپیوتری در هم فازی از پر‌دازش امنتفاده می‌شود دو وظیفه بسیار مشکل عبارتند از؛ بقح امن خ لموا اون < که بعد از اينکه ارتباطات و اتصالات مدار کامل شد؛ این دو قسمت انجام می‌شوند. 

صفحه 120:
هدف طراحی مداری روی تراشه است که کمترین مسناحتو طول اتصالات و بیشترین سرعت را داشته باشد. هدف قرار دادن سلول‌ها روی تراشهببه گونه‌ای است که آنها روی هم قرار نگیرند و بنابراین فضایی نیز برای سیم‌های ارتباطی وجود دارد که باید ین سلول‌ها قزار كيرند. کانالیاپی؛ مسیم ویخه‌ای را رای هر سیم که از فواصل بین سلول‌ها استفاده می‌کند» پیدا می 

صفحه 121:
هدایت ریات: ۲ یک ربات می‌تواند در یکنافضای پیوسته ببا یک مجموعه ناتعدودی از حالات و عملیات ممکن حرکت کند. ریات‌های واقعی باید قابلیت ت اشتباهات را در خواندن حسگر‌ها و کنترل موتور داشته باشند. 

صفحه 122:
خط تولید خودکار: در مسائل س‌هم‌بندی؛ مشکل یافتن قانوتی است که تکه‌های چند شینی را جمع کند. اگ ترتيب نادرست انتخاب شود» راهی نیتنت که بتوان قسمت‌های بعدی را بدون از نو انجام دادن قسمت‌های قبلى؛ اضافه کرد. کنترل یک مرحله در دنباله» یک مسئله جستجوی پیچید؛ هندسی است که ارتباط نزدیکی با هدایت ربات دارد. از این رو تولید مابعدهای مجاز گرران‌ترین قسمت دنباله سر‌هم‌بندی است و استفاده از الگوریتم‌های آ گاهانه بای کاهش جستجو ضروری است. 

صفحه 123:
جستجو بررای راه‌حل: ۲ نگهداری و گسترش یک مجنوعه از دنبالههای اه عل‌ناتمه 7 جستجوي حالت‌های موجود و یافنتن راحل با بر اصل جستتجو. 

صفحه 124:
تولید دنباله‌های عمل: فرایند گسترش حالت: فرایندی که از طرریق تولید مجموعه خذیدی از حالات؛ عملگی‌ها در حالت جاری را به کار گرفتف و نتیجثاًحالتاهدف را در مخموعه وّارد می‌کند. اصل جستجو: انتخاب یک حالت و کثار گذاشتن بقیه رای بعده زمانی که اولین انتخاب به حل مسئله منج نشود. يشه درخت جستجو؛ یک گره جستلخو ات که با حالت اولیه مطابقت دارد. گه‌های ب‌گی درخت: حالاتی هننتند. که دارای فررزندی د رآذرحت نیستند. 

صفحه 125:
SS ‏با‎ ساختارهای داده بررای درخت‌های چستجو: گره به عنوان یک ساختار داده با قنتفت به شرح زیر انا ** وضعيتى كه كه در فضای حللانت دارا م‌باشند» گره‌ای که در جستجوی درخته ‎oS‏ جدیدی را تولید کردهاست ( گره والد) * عملگری ‎gl oS‏ تولید گره به کار رفته است. * تعداد گره‌های مشیر؛ از ریشه تا گره موردنظر (عمق گر هرینه مسیرء از حالت اولیه تا گرد قاورت بین گرههاه حا گره‌ها عمق و والد دارند؛در صورتی که حالت‌ها شامل چنین چیزهایی نیستند. 

صفحه 126:
استرراتی جستجو: GETTIN cb ab lags 2.8 ‏کامل بودن‎ * ** پیچیدگی زمانی ** پیچیدگی فضا 8 و 

صفحه 127:
*_ جستجوی سطحی © جستجوى با هزينه يكسان جستجوی عمقی محدود شده *_ جستجوی عمیق‌کننده تکیراری : جستجوی دوطرفه 

صفحه 128:
SS ‏با‎ جستجوی سطحی: در ‎gael gel‏ که بسیانٍسیستماتیک استه اپتدا گره ریشهو سپس تمام گره‌های دیگر گسترش داده می‌شوند. به عبارت کلی‌تر» تمام گره‌های عميق 1 قبل از گره‌های عميق ‎AH‏ گسترش داده می‌شوند. ‎thle‏ جستجوی سطحی» کامل و بهینه می‌باشد زیرا هرینه مسیمء یک تابع کاهش‌نيابنده از عمق گره است. معايب: مرتبه زمانى (1>ط)0) مى ناشد كة"تمايقاست: نیاز به حافظه زياد. 

صفحه 129:
جستجوی با هزینه یکسان: در اين استراتزي. در شرایط عموی؛ اولین ارام ‎he‏ ارتان‌ترن رام نیز هست. اگر هزینه مسیر توسط تابع (0))> انداژه گیری شود در این صویرت جستجوی سطحی همان جستجوی با هزینه یکسان است با: (0۵۸ 

صفحه 130:
it goer اين استراتری؛ یکی از گره‌هارا در پائیزتزین سطح درخت بسط می‌دهد؛ اما اگ به نتیجه نرسيدء به سراخ گره‌هایی درتعلوح کم ‎Hime‏ مورود. thle این جستجو نیاز به حافظه نسبتاً کنی فقط برای ذخیره منسیم واحدی از ريشه به یک گره برگی» و گره‌های باقی‌مانده بسط داده نشده دارد. پیچیدگی زمانی (۳۳)() می‌باشد. به ظوریکه ۲ فاکتور انشعاب فضبای حالته و ۲۳ حدا کش عمق درحت باشد. 

صفحه 131:
معایپ: ‎gee SI‏ را اشتباه طی کند؛ هنگم پائین زفتن گیر می‌گند: جستجوی عمقی نه کامل و نه بهینه ات در درخت‌های با عمق نامحدود و بررگ این استراتری کار نمی‌کند. 

صفحه 132:
جستجوی عمقی محدود شده: این استرراتری» بای رهایی از,داملی که چنبتجوی عمقی در آین گررفتار می‌شد» از يك برش استفاده می‌کند. جستجوی عمقی محدود شده کامل است اما بهینه نیست. زمان و پیچیدگی فضای جستجوی عمتی محدودشده مشابه جستجوی عمقی است. این جستجو پیچیدگی زمانی (۸)() و فضای (۳۶)() را خواهد داشتء که را محدود؛ عمق است. 

صفحه 133:
SS ‏با‎ در یک درخت جستجوی نمایی تقریباتغام گره‌ها در سظح ‎cates BBL‏ بنابراین موردی ندارد که سطوح بالایی چندین مرنبه بط تاد شوند.تقداد بت در یک جستجوی عمقی محدود شده با عمق ا» و فاکتور انشعاب ابه قرار زیر است: btbO+.. thd-Otbtbd+ 1 

صفحه 134:
SS ‏با‎ جستجوی عمي قكننده تكرارى ؟ قسمت دشوار جستجوى عمقى مجدود شده؛ انتخا یک محدودة خوب است. اگر محدود؛ عمق بهتری را پیدا کنیم؛ این محدوده. مارا به تنوی جستجوی کاراتری سوق می‌دهد. اما بر‌ای بیشتم مسائل؛ محدود؛ عمقی مناسب را تا زمانی که مسئله حل نشده است» نمی‌شتاسیم. جستجوی عميقکنند؛ تکراری استرراتری است که نظریه انتخاب بهترین محدود؛ عمقی؛ توسط امتحان تمام محدودة مسیرهای همکن را یادآوزی می‌کند. 

صفحه 135:
this تمرکیبی از منایای جستجوی سطحی و عمقی را دارد. این جستجو مانند جستجوی سظحی کال و بهینه استه اما فقط منزیت درخواست حافظه اندک را از جستجوی عمقی دارد. مرتبه بسط حالات مشابه جستجوی سطحی استه به جنر اینکه بعضی حالات چند بار بسط داده می‌شوند. 

صفحه 136:
SS ‏با‎ در جستجوی عمیق‌کننده تکرراری؛ گره‌های سطوح پائینی یک بار بسط داده می‌شوند؛ آنهایی که یک سطح بالات قررار دارند دویاز بسط داده می‌شوند و ال ی آح تا به ريشه درخت جستجو برسه, كه 0+ بار بسط دادهمي‌شوند: بنابم‌این مجموع دفعات بسط در این جستجو عبارتست از؛ #()b# (Hb 4, AObLO+OLHI+bd (t+) پیچیدگی زمانی این جستجو هنوز (/۳)() استه و پیچیدگی فضا (۳)() است. ت؛ زماني که فضای جستجوی در حالت کلیء عمیق کننده تکرراژی» روش جستجوی بر‌تری | بزرگی وجود دارد و عمق راه حل نیز مجهول است. 

صفحه 137:
جستجوی دوطرفه: ایده جستجوی دوطرفه در واقع شبیه‌سازی جستجویی به سمت جلو از حالت اولیه وبه سمت عقب از هدف است و زمانی که این دو حستجو به هم رسد متوقن می‌شود. برای پیاده‌سازی الگوریتم سوّالات زیر باید پاسخ داده شوند: 1 سئال اصلی این است که جستجو از سمت هدف به چه معنی است؟ ماقبل‌های (ع ايك كره را گره‌هایی درنظر می‌گيرريم که 0 مابعد دص ) آنها باشد. جستجو به سمت عقب بدين معناست که تولید ماقبلها از گر؛ هدف آغاز شود. 

صفحه 138:
" ۲۲۲۲" 2 _زماتی که تمام عملگ‌هاء قابل وارونه‌شدن باشنده مجموعه ماقبل‌ها ومایعدها یکسان هستند. . چه کار می‌توان کرد زمانی که هذف‌های متفاوتی وجود داشته باشد؟ اگر لیست صریحی از حالت‌های هدفه وجود داشته باشد, می‌توانیم یک تابع ماقبل رای مجموعه حالت تقاضا کنیم دز حالیکه تبع مابعد ی (جانشین) در جستجوی مسائل جندوضعيته به كاز مورزود: ‎٠‏ بايد يك راه موش براى كنترل هر ره جدید وجود داشته باشد تامتوجه شويم كه آيا اين كره قبلاً در درخت ‏جستجو توسط جستجوی طرف دیگر؛ ظاهر شده است یا خیس. ‎٠‏ نیاز داریم که تصمیم بگیریم که چه نوع جستجویی در هر نیمه قصد انجام دارد. 

صفحه 139:
مقایسه استراتتژی‌های ارزیابی استراتژی‌های جستجو. ما فاکتور انشعاب؛ 5 عمل پاسخ؛ 5۳ هاگن یمم عمق در خت حستحو | محدو دیت عمق است. Depth Bidirection | Iterative TNS G8 eee | areaae | critario al(if | Deepenin he Limite m-Cost | h-First | ‏م‎ ‎applicable) |g mite | First bee be bo] be | ‏سر‎ be | Time be bd pl | bm | be be | Space Yes Yes ‏ما ماهس‎ | yes | Optima 1 Yes yes | ‘we | No | Yes | Yes | Comple te 

صفحه 140:
اجتتاب از حالات تكررارى: براى مسائل زیادی» حالات تکمرازی غیررقابل اجتناب هستند. این شامل تما مسائلی می‌شود که عملكرها قابل وارونه شدن باشندء مانند مسائل مسیریابی و کشیش‌ها و آدمخوارها. 

صفحه 141:
SS ‏با‎ سه راه برراى حل مشكل حالات تکرراری بای مقابله با افمایش مرتبه و سررژیزی فشار کار کامپیوش وجود دارد: به حالتی که هم اکنون از آتن آمدهاید, برتگردید: داشتن تابع بسط (یا مخموعه عملگر‌ها ) از تولید مابعدهایی که مشابه حالتی هستند که در آنجا نیز والدین این گرهها وجود دارنده جلوگیری می‌کند. اب بسط ( یا مجموعه عملگ‌ها )از تولید مابعدهای یک گره که ایجاد مسیم‌های دوار بپر‌هیزید. دا مشابه اجداد آن گره استه جل و گیری می‌کند؛ 2 حالتی را که قبلاً تولید شده است» مجددًتولید نکنید. این مسئله باعث می‌شود که هس حالت در حافظه نكهدارى ‎Sane ost‏ فضایی (۱)() داشته باشد. بهتر است که به (2)() توجه کنید که < تعداد کل حالات در فضای حالتا ورودی امنته. 

صفحه 142:
LOprstratet GutsParton Problew) ‏جستجوی ارضاء محدودیّت‎ نوع خاصی از مسئله است که 696۳) حالات توسط قادیس مجموعه‌ای از متفیر‌ها تعریف می‌شوند و آزمون هدف مجموعه‌ای از محدودیت‌ها را به آنها اختصاص می‌دهد که متفیر ملع به پیرروی از آنها هستند. 

صفحه 143:
SS ‏با‎ )ها مخ وانند توسط اس گگو یتمه یجستجو ۳۳۰۳۳9 حل‌شوند لما به علتس اختار خاصرآنها: | آگوریتهی را بلق 0)90ايب طرح میشوند که از اسگوریت‌هایعمومیک ار آپوسهترمدانند. محدودیت‌ها به گونه‌های مختلفی ظأه هی‌شوند. 2 محدودیت‌های یکتا ‎te‏ % محدودیت‌های دودوبی 4 ۳ ۱ محدوديتهاى مطلق * محدوديتهاى اولويتدار 

صفحه 144:
۲ در *296)های گسسته که‌دامتتهای آنن مجدود هستند/ محدودیت‌ها می‌توانند به سادگی توسط شمردن تررکیبات مجاز مقادیر نمایش داده شوند: ” با استفاده از یک شماره‌گذازی, هی 2696۳) گیسته مي‌تواندْبه یک 696۳( دودویی تبدیل شود. 

صفحه 145:
SS ‏با‎ چطلور یک الگورینم جستجوی همه منظؤى, تأر يكل 90606 كال ‎Ry‏ ‏د رحالتي كه تمام متخبرهاء تعب 0 عملكرها مقدارى را به يك متخيس از مجموعة متادي ممكن؛ نسبت مىدهند. آزمون هدف تمام متفیرها کنترل می‌کند که آیا مقدار گرفته‌اند و تمام محدودیت‌ها از بین رفته‌ند یا خیر. سا توجه کنید که حداکش عمق درخت جستجو در 0" و تعداد متفیر‌ها و تمام رامحل‌ها در عمق هستند. سا جستجوی عمقی روی یک «2690) زمان تجشتجو را تلف می‌کند زمانی که محدودیتها قبلاً مختلف شده باشند. 

صفحه 146:
روش‌هاي جستجو آگاهانه 

صفحه 147:
این استراتتژی به این صورت بیان مي‌شود که در یک در خته زمائع که گره‌ها مرتب می‌شونده گره‌ای که بهترین ارزیایی را داشته باشد قبل از دیگر گره‌ها بسط داده می‌شود. هدف:یافتن رامحل‌های کم‌هزینه استه این الگوریتم‌هنا عموماً از تعدادی معیار تخمین بای هزینه رامحل‌ها استفاده می‌کنند و کی بر حداقل کرردن آنها دارند. 

صفحه 148:
SS ‏با‎ حداقل هزینه تخمین زده شده بر رسیّدن به هدف : جینتجون حريصانه یکی از ساده‌ترین استرراتژی‌های جستجوی بهترین؛ به حداقل رساندن هزینه تخمین زده شده برای رسیدن به هدف است. بدین صورت که حالت گره‌ای که به حالت هدف ندیک‌تر استه ابتدا بسط داده می‌شود. تابع کش کننده: هینه رسیدق به هذف از یک حالت ویثه مي‌تواند تخمین زده شود اما دقيقاً تعیین نمی‌شود. تابعی که چنین هزینه‌هایی را محاسبه می‌کند تابع كش نكننده > ناميده موشود. حستحوی حریصانه: جستجوی بهترین که را به منظور انتخاب گرره بعدى براى بسط استفاده م ىكندء جستجوی حریصانه (اجد رل ) نامیده می‌شود. 

صفحه 149:
** جستجوی حریصانه از لحاظ دنبال کرردن یک مسیز ویزه در تام طول راه به طررف هدفه مانند جستجوی عمقى استه اما زمانى كه به بزبست می‌ رسد رم ی گرزدد. * این جستجو بهینه نیست و ناکامل استه. پیچید گی زمانی. در بدترین حالت بای جستجوی حریصانه (0)() که ۲0 حدا کش عمق فضای جستجو است. * جستجوی حریصانه تماع گرهها را در حافظه نگه می‌دارده بنیراین پیچیدگی فضای آنن مشابه پیچید: زمانی آن است. ** مان کاهش پیچید گي به سئله و كينيت تابع >أبستكى داد 

صفحه 150:
SS ‏با‎ حداقل‌سازی مجموع هزین مسیمٌ: جستجوی 6*- جستجو با هزینه یکسان» هیزیده عتتیز؛ ()ب" را نیز حداقل می‌کند: 9+ لماه (۲ ۶( هزینه مسیر از گره آغازین به گره را به ما می‌دهد. با کیب دو تابع ارزیابی دازیم (1)0 هرينه تخميززدهم شده از ارزانترینمسیر از 0 به هدفلست و ما داریم: بت 

صفحه 151:
تابع ‎clk‏ را که هزینه‌ای بیش از تخمین بررای رسنیدن به هدف نداشته باشد, یک کشف‌کنندگی قابل قبول (عاصسح «اطادواد 1 ) كويد جستجوي 30 جستجوی بهترین که *به عنوان تابع ارزیاب و یک تابع <قابل قبول استفاده می‌کند؛ به عنوان جستجوی (68* شناخته می‌شود. 

صفحه 152:
رفتار چستجوی 6* نگاهی گذرا به اثبات کامل و نود 69*: مشاهده مقدماتی: تضریباًتمام کشف کنندگی‌های مجاز دارای این ویخگی هشتند که در طول هس مسیری از ريشهه هزينه “اه كن كاهش بيدا نمی‌کند. این خاصیت بررای کشف‌کنند گیء حاصیت یکنوایی (/۳۲۳۸) گنته می‌شود. اگر یکنوا نباشه با ایجاد یک اصلاح جرتی آن را یکنوا می‌کنیم» 

صفحه 153:
SS ‏با‎ بنابراين هس ‎oS‏ جدیدی که تولید می‌شود؛ باید کنترل کنیم که آیا هزينة * این گره از هزینه پدرش کمتر است یا خیر. اگر گنت باشده ‎hae‏ یدرب جای فرزند می‌نشیند: بنابراین <همیشه در طو له مسيررواز ريشه غي ر_كاهشيحولهد بودء مشروط ب لینکه کا لمکارپذ: مافد: 

صفحه 154:
a (۳*)0 : هزینه ولقعیرسیدن‌از " بته هدفلست در استفاده عملی؛ خطاها با هزینه مسیس متناسب هستنده و سم‌انجام رشد نمایی هر کامپیوت را تسخیر می‌کند. البته, استفاده اژ یک کشف‌کنند گی خوب هتوز پاعث ص‌فه‌جویی زیادی نسبت به جستجوی ناآ گاهانه می‌شود. ( معمولاقب راز لینک» دچار کبود زماشود؛ دچار کمبود فضا میشود. زیرا لین جستجوتمام گم‌مهایتولید شده رادر حافظه ذخيره موكند. 

صفحه 155:
توابع کشف‌کننده: مسئله ۸ را بر‌رسی می‌کنیم: معمای ۸ یکی از مسائل اولیه کشف‌کنندگی بود. هدف: لغزاندن چهاررخانه‌ها به طور افتی یا عمودی به طرف فضای خالی است تا زمانی که ساختار کلی مطابق با هدف (۳>) باشد. 

صفحه 156:
Lo Me] ‏لعالعا يها‎ fo ۱ ۵ ‏لعا‎ ‏لدالدائلعا لعالعالها‎ Orat Grae od Orte 

صفحه 157:
اگس خواستار یافتن رامح‌های گوتا ‎uth‏ به یک تبلع کش گنندهنیازداریم که هرگ در تعداد ممراحل به هدف اغرراق نکند. در اینجا ما دو کاندید داریم؛ لاا 2 تعداد چهارخانه‌هایی‌کسه در مکارهای‌نادررستهستند. ۱۷ ی کک شفک نندم مجاز لسةزيرا واضح لستکه هر چهاریخانه‌لی‌که خاریج از مکاندستب اشد حدلقلیکبار باید جایجا شود. الاي < مجموع فولصلچهارخانه‌ها از مکانهایهد فص حیحشانزاست فاصله‌لی‌که ما حساب ميکنیم مجموع فولصل(عمودیزٌ لشیلستکه بعضووقتیا ال تا بت ریا حول <(1) ناميدم ميشود. 

صفحه 158:
با ‎SS‏ ‏اش صحت کشفکنندگی بر کارایی* یک راه بمرای تشخیص کینیت کشفکنندگی فا کتور انشعاب مش «9* است. ‎SV‏ مجموع تعداد گره‌های بسط داده شده توسظ (6* بر‌ای یک مسئله ویه 1 اد و عمق راه حل ام سپس فاکتور انشحابی است که یک درخت یکنواخت با عمق © <واهد داشت تا گره‌های (1) را نگهدارد. بنابراین: O=0+ b*+( bC...+( b*)d "معمولاً فاکتور انشعاب موش که توسط کشف‌کنند گي نمایش‌ذاده ی شوده مقدار ثابتی دارد. *یک کشف‌کنندگی خوب طراحی شده * در حدود!دارد. 

صفحه 159:
SS ‏با‎ کشف کننده‌ها رای مسائل ارضا محدودیت: مسئله ارضاء محدودیت شامل یک منزنی از متفیرهایی نت گةبتويژگي‌هاي زیر را دارا هستند: ” می‌توانند مقادیربی را از دامنف‌ذاده شلده در یافت کنید. با یک سری از محدودیت‌هاء ویش‌گی‌های ‎oly‏ حل را مُشخص کنند. رنگآميزي نقشه نمونه‌اي از این کشف کننده‌هاست: ‎an‏ رنگآمیری تقشه اجتتاب از رنگ‌آمیزی مشابه دو کشور همنایه است. 

صفحه 160:
6 © 

صفحه 161:
اگس رنگ سبن را برای کشور 9 قررمن را رای 9) انتخاب کنیم» کشور ۶) باید آبی باشد. در اين صورت ما ناجازيم كنه © رابه رنكاق رمد رآوريم و “0 سبن باشد. رن آميزى 00 با رنك آديى يا قرم ب هيجكونه جستجويى حل موشود. به رامحل دارد. در این حالت مسئله بدون 

صفحه 162:
GOOD ‏جستجوی‎ GropihedDewory-) ‏حافظطه هخدود (6* ساده ده‎ SOP 258) thee *Brveded این الگوریتم» قادر است تا از تمام حافظه موجود بای اجرای جستجو استفاده کند. استفاده از حافظه بیشتم کارایی جستجو را وسعت می‌بخشد. می‌توان هميشه از فضای اضافی ص‌فنظر aS 

صفحه 163:
a ‏دارلی‌خولصرزیر لس‎ 08 ** می‌تواند از تمام حافظه قابل دسترن استفاده کند. * از حالات تکراری تا جایی که حافظه اجازء می‌دهده جلو گیبری می‌کند. * این الگوریتم کامل است ‎MGT Baby‏ حافظه بای دفییره گم آعمق‌ترین مسیر راه حل کافی باشد. ** اين الكوريتم بهيده استه اك حافظه كافى بای یره كمعمقترين مسيس رادحل كافى باشد. بعلاوه بهتررين راهحلى را بم ى گررداند که بتواند پا حافظه موجود مطابقت داشته باشد. ** زمانى كه حافظه موجود یرای درخت جلتجوی ‎cat IS JUS‏ جستجو نبلو 6م07 ماه است. 

صفحه 164:
scl ool. GOO gob * زمانی که نیاز به تولید فزرژند داشته باشد ولی حافظه‌ای نداشقه باشد» نیاز به ساختن فضا بس روی صف دارد. بررای انجام این ام یک گره را حذف می‌کند» گره‌هایی که به این طریق از صف ‎bie‏ می‌شونده گره‌های فراموش‌شده یا (< ۲۳۱۳۹ ) نامیده می‌شوند. * برای اجتتاب از جستجوی مجدد زيردرخت‌هایی که از حافظه حذف شده‌اند» در گره‌های اجدادیء اطلاعاتی در مورد کیفیت پهترین مسیر در زیم دخت فراموش شدهء نگهداری می‌شود. 

صفحه 165:
SS ‏با‎ الگوریتم‌های اصلاح تکراری بهترین راه بای فهم الگوریتم‌های اضلاح تکراری در نظتر داشتن تمام حالاتی است که روی سطح یک دورنمایی در معررضل دید قرزار داده شده است. ارتناع هت نقطه در دورنما مطابق با تابع ارزیاب حالت آن نقطه است. ایده اصللاح تکراری» حرکت کردن در اطراف دورنما و سعی بر یافتن قله‌های مرتفع است» که همانا راهحل‌های بهینه هستند. الگوریتم‌های اصلاح تکراری متمولٌ اشر حالت جاری را فقط حنظ میکننده و توجهی فراتر از همسایگی آن حالت ندارند: 

صفحه 166:
الگوريتم‌هاي اصلاح تكراري سعي بر یافتن قله‌هليي بروي سطح حالات دارند. جائي که ارتفاع توسط تابع ارزيابي تعریف مي‌شود. 

صفحه 167:
(Wikohoobicny) ‏تپه‌نوردی‎ glace si) 

صفحه 168:
SS ‏با‎ 1- الگوریتم‌های جستجوی تیه‌نو رد ( بان یک اصلاح خوب این است زمانی که بیش از یک فر‌زند خوب بای انتخاب وجود دارد» الگوریتم بتواند به طور تصادفی از میان آنها یکی را انتخاب کند. 

صفحه 169:
۹۹۰۰۰۰ این سیاست ساده» سه زيان عمده دارد: ‎Lov Daxian‏ ی کهاکریسمحلع بر خالاها کریمم عمومج قله‌ای‌استکه پائیوچ از ‏بلندتريزقله درفضاوحا_اتلست زیعان‌کته وبا زیم محلني‌هستيم اسگوریتم توقن‌خواهد نمود. ‎aL de SI‏ حلنیز ممکزاستدور از لنتظار بناشد. ‏+ جسه) : یک فا حوطه‌لو|ز فضای‌حاناناستکه تابع ارزیابیکنواختب اشد. جستجویک ‏قدم تصادفیرا ب‌خولهد دلشت ‏۹9۹ : نوک و دار ای به‌های,_راشیبلست نارای زجستجو به با -لون وک وه به آسانی ‏مبييسهم لما بعد با مالإمتبه سمتقله مييرود. مك لیتکه عملگرهای‌موجود باشند كه مستقياً به متب اون وک ک وم ح کتک نند: جستحو مك زلستاز ليبهلوبه لببه ديك نوسازدلشته باشدو ‏پیشرفت | حاصل‌شود. ‎ ‎ 

صفحه 170:
در هر مورد؛ الگوریتم به نقظه‌ای می‌رسد که هیچ پیشرفتی يست اك اين اتفاق بيفتدء تنها كار ممکن بررای انجام دادن آغاز محدد از نقطه شروع دیگرری موباره آعا می‌شود. موفقیت 7۷| خیلی به ظاهر فضای حالت (سطح» بستگی دارد: اگر فقط ما کزیمم‌های محلی کمی وجود داشته باشد؛ تپه‌نوردی با شروع تصادفی خیلی سریع را‌حل خوبی را پیدا خواهد کرد. 

صفحه 171:
2 سس لسلی5 در این گروه از الگوریت‌ها به جای شزوع دوباره به طور تصادفی زمانی که در یک ماکزیمم محلى كيس افتادیم؛ می‌توانیم اجازه دهیم که جستجو چند قد به طرف پائین بمردارد تا از ماکنریمم محلی فرار کند. 

صفحه 172:
راحل دو مرحله‌اي براي مستله 8 وزیر با استفاد‌از حباقل بروردهرا نان مي‌دهد. در هر مرحله یک وزیر به منظور تعیین مجدد ستون انتخاب مي‌شود. تعداد برخوردها (در لین مورد. تعداد وزيرهاي حمله‌کننده) در هر چهارخانه نشان دادة شده است: الكوريتم وزير را به چهاهضاه‌ كه بحداقل برخورد را داشنته باش براي از بين بزدن تصادفي برخوردهاء حرکت مي‌دهد. 

صفحه 173:
SS ‏با‎ اگر حرکت واقعاً شرایط را بِوَه بخشده آن حرکت همیشه جرا می‌شود. پارامتر‌های موش به ‎stilted‏ ‎AE |‏ : چگونگی ارزیایی: 2 *: تعیین احتمال. الگوریتم شباهت صریحی با ۳۹( پردازشی که به طور آهسته مایعی را تا زمانی که یخ ببندد سرد می‌کند , گسترش يافته است. متدار تابع مطابق پا انرژیی ورودی اتم‌های ماده استه و "با دما مطابقت دارد. جدول مینران دما را در جایی که پائین آمده استه تعیین می‌کند. 

صفحه 174:
SS ‏با‎ کاربمر‌دها در مسائل ارضا محدودیت مسائل ارضاء محدودیت (4)(66 می‌توانند توسط روش‌های اصللاح تکساری با استفاده از موارد زیر حل شوند. *** مقدار دادن به تمام متفیر‌ها. 0-3 * به کاربردن عملگر‌های تفییر به منظور حركت دادن ساختار به طررف يك رادحل. 

صفحه 175:
الگوریتم‌هایی که 266۳ )ها را ل می‌کننده روش‌هاع تضحیح کش کنند گی؛ نامیده می‌شوند, زیرا آنها تناقضات را در ساختار جاژی مسئله اصلاح می‌کنند: در انتخاب مقدار جدید بای یک متفیسس» واضح‌ترینن کشفکنندگی انتخاب مقداری است که کمترین متدار تناقضات را با ديك متفیر‌ها نتیجه دهدء که همان کشف‌کنندگی مینیمم تناقضات است. 

صفحه 176:


صفحه 177:
SS ‏با‎ بازي‌ها در نقش مسائل جبییتجو قابت انتراعیء که در بازي‌هاي صفحه‌اي دیده مي‌شنود. ‎Goat ey‏ تتوری بازی جزء تحقیتات 691 قرار بگیم: وضعیت بازی بای بازنمایی آسان است و عامل‌ها معمول به تعداد کمی از عملیات محدود می‌شوند. 

صفحه 178:
دلايلي که محتقین قدیم؛ شطیونج,رابعدوان موضوطی نز |( بن‌گزیدند: ** بازی شطرنج کامپیوتری اثباتتی بر وجود ماشینی ات که اعمال هوشمندانه‌ای را انجام مي‌دهند. ** سادگی قوانین , 9 وضعیت دنیا ‎SUS‏ رای برنامه شناخته شده است. (بازنماییبازی به عنوان یک جستجو از طریق فضای موقعیت‌های ممکن بازی تناده انت) 

صفحه 179:
پیچیدگی بازی‌هاء به طور کامل نوعی از عدع قطعیت را مرفی مي‌کنند. عدم قطعیت به علت وجود اطلاعات گم شده رخ نمي‌دهء اما به علت اينکه فررد زمانی بای محاسبه دقیق نتایج حرکت ندارد عدم قطعیت بوجود می‌آید. در اين مورد. فرد بر اساس تجربیأت گذشته مي‌توان‌بهتراین حدس را بزند. 

صفحه 180:
تصمیمات کامل در بازي‌هاي ذونفره: مورد کلی از یک بازی با دو بازیکن زا دز نظر می‌گیرّيم که آن را (60(), 60۳10 می‌ناميم. 

صفحه 181:
SS ‏با‎ یک بازی به طور رسمی می‌تواند به عنوان نع اژٍمتنله جد تجوربه یاه قسیت‌های زیر تعرین شود: ** حالت اولیه شامل مکان صفحه وتعیین نوبت کت هر بازیکن است. 0 * مجموعه‌ای از عملگر‌ها کنه حررکات صحیح را که بازیکنمی‌تواند انجام دهده تعيين می‌کند. ۴ آزمون پایانی زمان بازی را تعبین می‌کند. حالاتي را که بازی درآنها به پایان رسیده است حالات پایانی نامیده می‌شوند. ‎coinage gb‏ (تابع امتیاز ‎gone labs aS (POOP‏ بررای نتیچه بازی را تعیین می‌کند. 

صفحه 182:
SS ‏با‎ اگر به آن به عنوان یک مسئله جستجو نگاه شودء جستجو بای دنبله‌ای از حر کات که منتهی به حالت پایانی می‌شد (مطابق با تابع سودمندی » و سپس پیشروی و ساخت اولین حرکت در دنیاله بود. اما حوکائ (4) غل رقاب ل/پیتگق بت ایت: بنابراين: 6 بايد لسترلتزهورا بيابد كه به يكحا تتيايانوب_نده بدونتوجه به عملکرد 0 من شود» که ایزاستراتژی‌شاملخرکاندرستب رل ی1(692) بس ایهم ح رکتهمکن از 0100 ميياشد. 

صفحه 183:
SS الگوریتم ‎Cal oat eo b DOM) pea] Sl eas slain DIDDOX‏ و از این رو می‌توان بهتووین,حکتا ۱ تصعیم گیززی کزد.الگوتویتم شامل ۵ مرحله است: 1. تولید درخت کامل بازی, تمام رآه تا مراخل پایانی 2 _درخواست تابع سودمندی برای هر حالت پایانی به منظور بدست آوردن مقذارش, 3. از سودمندی حالات پایاتی به منظور تعيين سودمندى كلرءها يك مرحله بالاتى دردرخت جستجو استفاده 4. بررسى مقادیر را از گره‌های بر گی تا زیشه یک لایه در هر لحظهء ادامه دهید. 5 احتمال دیس به بالای درضت میرَند 060 آع ‎dy AS AS ORI AS‏ بالاترین مدار منتهی می‌شود. 

صفحه 184:
Sh ‏حداکش عمق‌درخت‎ >7 ‏تعداد حر کات قانونی‌در هر نقطه‎ زمان پیچیدگی الگوریتم (62)0۳ ۰ 7۸0۳۳۷ است. الگوریتم یک جستجو عمقی است, 

صفحه 185:
تصمیمات ناقص: الگوریتم ۲۳ فرض می‌کند که بررنامه زمان لازم بای جستجوی تمامی راه‌های ممکن وضعیت‌های پاینی را دارد که این طرضن معمولا عملی نیست. AD eee ‏الگوریت‎ سا تابع سودمندی با تبع ارزیاپی ,6068 جایگزین شود. لا آزمون پایانی با آزمون قطع "۳969/۱ -06()۳6() جایگنرین گردد. 

صفحه 186:
تابع ارزيابي: تابع ارزیابی تخمینی از سودمندی مورد انتظار باژی را ازموقعیت داده شده ‎gay‏ گر‌داند. واضح است که ارائه یک بمرنامه بازی بی نهایت به کیفیت تایع ارزیابی بستگی دارد. 

صفحه 187:
1 تابع ارزیابی با تابع سودهندی دررمورد حالت پایانی باید به توافق برسند. 2 نباید زیاد طول بکشد! (اگس پیچیدگی را محدود نگیم 7۳۲ به عنوان یک زیر‌بم‌نامه فراحوانی می‌شود و مقدار دقیق وضعیت محاسبه می‌شود. ) از این روء معامله‌ای بين صحت تابع ارزيابى و هزینه زمان آن وجود دارد. 3. تابع ارزیابی باید به درستی شانس‌های واقعی بررای برد را منعکس کند. 

صفحه 188:
تابع ارزیابی طرض مى كي ررد اكةامقذا زه مهره م ‎SNS‏ ور تتنتقل از ديك مهره‌ها روی صفحه قضاوت شود. این نوع از تابع ارزیابی» تابع خطی و ن دار نامیده می‌شود. این تابع می‌تواند به صورتی- دک شود که ()ها وزن ها هستند و "لها اعداد هر نوع مهره روی صفحه خواهند بود. 

صفحه 189:
صریح‌ترین رهیافت برای کنترل میزان جستجو قرازذادن محدودیتی برای داشتن یک عمق ثابت است بنابراین تست قطع بررای تمام گره‌ها در زیم عم [) موفق می‌شود. عمق طوری انتخاب می‌شود که میبزان زمان استفاده شده از آنچه که قوانین بازی اجازه می‌دهد تجاوز نکند. زمانی که وقت تمام می‌شود» بمرنامه حرکت انتخابی توسط عمیق‌ترین جستجوی کامل شده را برهم ىكرداند. 

صفحه 190:
به دلیل تخمینی بودن توایع ارزیابی این رهیافتها می‌توانند نتایچ ناخوشایندی را به همراء داشته باشند. تابع ارزیابی فقط باید بای مواقعی به کاربرده شود که خاموش هستند؛ یعنی اينکه تناوتهای جشم كير در مقداره در آینده نزدیک بعید به نظ می‌رند. این جستجوی فوق العاده جستجوی خاموش نامیده می‌شود. 

صفحه 191:
سئله افتی ‎.thorizonproblem)‏ ‏رخ سياه ملنع از حركت وزير سفيد بي خللت افقي ثندة اسث و لين موقفیت دز حللي که برگ برنده در دست سفید است. به نفع سیاه ا 

صفحه 192:
هرس آلفا-بتا: هرس درخت جستجو پردازش حذف شاحه‌ای از درخت جستخو با در نظم داشتن و بدون آزمایش هس درضت جستجو نامیده می‌شود. زمانی که این تکنیک برای یک درخت 72857706 استاندار به کار برده می‌شود؛ ‎OS po‏ مشابهی همانطور که 7070 انجام ‎loge‏ برمی گرداند؛ اما شاخه‌هایی که در تصمیم نهایی دخالتى ندارند را هرس می‌کند؛ 

صفحه 193:
جستجوی ۳6 عمقی است بثاب‌این در هر ‎ABA‏ باید گره‌هایی در نظر گرفته شوند که در طول یک سي محرا در درخت هستند. مقدار بهترینانتخابیپاشد کنه تا کنون‌در طولمسیر بل ی)(1269) پیدا شده لست و 6 مقدار بهترین(به طور مثال پاییق رین تدار ) لنتخابویاشد که در طولمسیر تا لین لحظه بلی(2716) پیدا شده لست 

صفحه 194:
لین درخت. مقدار 01 و 8 را همچنانکه جلو مو رود به روز درمی‌آورد؛ و زیس درخت را هرس می‌کند (فراخوانی با زگشتی را قطع می‌کند ) به محض اینکه معلوم می‌شود که این زیر درخت بدتر از مقدار 0 یا ۵] جاری است. 

صفحه 195:
مزرایای هرس آلفا-بتا مرایای آلفا-بتا به مرتبه‌ای که در آن گره‌های فرزندی آزمایش شده‌اند؛ بررمی گردد. پیچیدگی ل(۲ ۳/۳)() مي‌باشد. 1 در عمل» یک تابع ساده رتب‌کننده شمارا به نتیحه بهترزین حالت بر خللاف نتیحه تصادفی سوق می‌دهد. 2 رهیافت مشهور دیگر انجام جستجوی عمیق‌کننده تکرراری و استفاده از مقادیر سس از یک تکار بررای تعیین جانشین‌ها در تکرار بعدی است. 

صفحه 196:
انتا بازی‌ها نی قابل ملاحظه هستند (و در حقیقت» مسائل جننتجو در حالت کلی ) و باید به صورت یک مدل درخت مطلوب فررض شوند تا نتایحشان رابه دست آورند. 

صفحه 197:
بازی‌هایی که شامل عنص شانس هستند: تخته زرد یک بازی عمومی اننت که شانس و مهارت ‎PUSS BL‏ كند. تاس‌هاي سفید 6-5. چهار حرکت زیر را مي‌تواند انجام دهد: “11 5 19-24) 4 (5-10 5 16-10) 411-16) 5 (5-10 55-11) 46 Gl 

صفحه 198:
*درخت بازی در تخته زرد باید شامل گره‌های شانس براي گزره‌های ۳160) و 26926) باشد. *مرحله بعدی فهم چگونگی ساخت تضنیمات صحیح است. "محاسبه مقادیس انتظاری گره‌هاء صریح است. بای گرههای پایانی» از تابع سودمندی مانند بازیهای قطعی استفدهمی‌کنیم. پيشروي در درخت جستجو به اندازه یک مرحلهء به یک گره شانس بر‌خورد می‌کنیم. 

صفحه 199:
اگما ضرض کنیم که (5۷,())() مجموعه موقعیت‌های تولید شده توسط اعمال حررکات قانونی برای پرتاب (۷ع)<) در موقعیت. () باشده موتواند مقدار +8 جوج از 0) را با استفاده از فرمول زير محاسبه نمود: Cxpevtcoan (= Ly Pd) war,, Ged) (utli-(=)) این فر‌مول» سودمندی مورد انتظار در موقعیت ۲2 را با رض بهترین بازی ارائه می‌دهد. 

صفحه 200:
ارزيابي موقعیت در بازي‌ها,باگرة‌هاي شانس: حضور گره‌های شانس بدین معناست که پاید در مورو آنچه که به معنای مقادیر ارزیابی استه اگس ما تغییر‌ی را در مقیاس مقادیس ارزیابی ایجاد کنیم؛ برنامه در مجموع به طور متفاوت رفتار می‌کند. 

صفحه 201:
بيجيد كي : "بدليل اينكه »جروج تما دتبال‌های پرتاب تاس را در نظ ف كيده زمانى معادل (7”97آ)0) مو برده كه » تعداد پرتابهای محدود است؛ "مریت آلقا- بتاء با داشتن بهترین بازی نادیده گرفتن پیشرفت‌ها در آینده است که احتمال وقوعشان کم است. *در بازیهای به هماه تاس» دنبالههاى محتملنى ازا حکات وجود ندازد؛ چون بای آسن حرکاتی که باید انجام بكيرنده ابتدا تلس بايد به روش درستی پررتاب شود تا آن حرکات منطقی شوند. ‎SI"‏ بگوئیم که تمام مقادی سودمندی بین ۱+ و ۱- هستند؛ سپس مقدار گره‌های برگی محدود می‌شوند و در ‏عوض ما می‌توانیم حد بالایی روی مقدار گره شانسی بدون توجه به فرزندانش قرار دهیم. 

صفحه 202:
عامل‌هاییکه به طور منطقی استدلال می‌کنند 

صفحه 203:
SS ‏با‎ معرفي طبراحی پایه‌ای بمرای یک امل مبتتع بر دانش: رهيافت مبتنى بس دانش روش قدرتمندی از ساخت بر‌نامه عامل استا: هدف آن پیاده‌سازی نمایی از عامل است که بتواند به عنوان دانش در مورد دنیای آنها و استدلال در مورد گونه‌هایی ممکن از رفتار آنها به کار می‌رود. 

صفحه 204:
SS ‏با‎ عامل‌های مبتنی بر دانش قادرند که: 1. وظایف جدید را به صویرت اهداف تین شده صریح قبول کنند. 2 آنها می‌توانند به سرعت توسط گفتن یا یادگیری دانش جدید درمورد حیطه به رقابت بر‌سند. 3. آنها م‌توانند خود شانس را با تخييرات محيط؛ توسط به روز در آوردن دانش مربوطه» تطبیق دهند. 

صفحه 205:
عامل مبتنی بس دانش به موارد ز 1 چه ‎plane‏ را بداند؟ 2 وضعیت جاری دنیا؟ 3) چطور توسط ادراک به خواص نادیده دنیا رجوع کند؟ 4) چطور دنیا زمان را می‌گشاید؟ 5) عامل به چیزی می‌خواهد برسد؟ 6) فعالیت‌هایی که در شرایط مختلف انجام می‌دهد چیست؟ 

صفحه 206:
SS ‏با‎ بخش مکی عامل مبتنی بس دانش پایگاه دانش ( تما عبلارم۳) آن یا 16) است. پایگاه دانش:مجموعه‌ای از نمایش حقایق در مورد نیاز است: جمله: هر نمایش اختصاصی یک جمله (7<) نامیده می‌شود. جملات: جملات در یک زباني که زبا نمایی دانش ( وه صلواس) نامیده می‌شود؛ بیان می‌شوند. 

صفحه 207:
SS ‏با‎ 6 به منظور لفزودن‌جماقجدید به پایگاه دانشرینه کار برده میشود. ‎DELL‏ به منظور پم سئرلینکه جه چیزهایی‌شناخته شدم لست تشخیص اینکه چه چیزی باید پس از 21.601 1 به 1613 دنبال شودء مسئولیت مکانيزمي به نام استنتاج ( ۱6۲6066 ) است» که قسمت مهم دیگر عامل مبتتی بر دانش را تشکیل می‌دهد. 

صفحه 208:
1 به پایگاه دانش گفته می‌شود (11)8,/۶) که چه دريافت گرده است. sgt peal ab lie ag aS (BGK) optics db ‏از يايكاه دانش‎ .2 در فر‌آیند پاسخ به اين پررسش, استدلال منطقى براى اثبات اينكه کدام عمل بهتر از بقیه است استفاده می‌شود و دانسته‌های عامل وّاهداف آن مشخص می‌شوند: 

صفحه 209:
SS ‏با‎ می‌توانیم یک عامل مبتنی بس دانثتوا درآیه لیطح تعرزیف کنیم: 1 سطح دانش اصرطا ‎Von ied‏ سطع دسو وان كارن كة خلاصدترين سطح است؛ مىتوانيم عامل را توسط گفتن اينكه عامل جه می‌داند» تمرف نماییم. 2 سطح منطتی اصعط اه سطحی ابنت که دانش به صورت جملات رم گذاری می‌شود. 3 سطح پیاده سازی اصا ع9هه 1۳۳95 سطحی است که در معماری عامل اجرا می‌شود و بازنمایی‌های فييزيكى از جملات سطح منطتی؛ در این سطح وجود دارد. انتخاب بياددسازى در كا رآكى بهت ”عامل بتار اهمين داررده امابَّهُ سطح منطقی و سطح دانش opto be 

صفحه 210:
دنياي 000006 مشابه دنیای مکش دنیای 7۲۶( شبکه‌ای از مربع است که توسط دیوارهایی احاطه شده‌اند, که هم مربع می‌تواند شامل عامل‌ها و اشیاء باشد؛ وظينه عامل يافتن طلا و با ز گشتن به نقطه شروع و بالا رفتن از غار است. 

صفحه 211:
Se برای مشخص نمودن وظیفه عاملء ادراكاته عملیات و اهداف آن را باید مشخص کنیم. در دنیای عم( اینها به صورت زیم هستند: "از مربعى که شامل 6105:00۳۲ است و مربع‌های مجاور (ننه قطی ) عامل بوی بدی را دریافت می‌کند . "در مريعهايى که مستقیما مجاور با چاله‌ها هستنده عامل نسیمی را دریافت می‌کند. "در مربعي كه طلا وود دارده عامل یک دز خشقع را رک می‌کند. *زمانی که یک عامل به داخل دیواره قدع بر می‌دارد؛ ضربه‌ای را دریافت می‌کند. *زمانی که <»() کشته می‌شود» فرربادی س‌می‌دهد که هم جایی از غار شنیده می‌شود. *ادراکات به عامل به صورت لیستی از پنج سیمبول داده می‌شود. 

صفحه 212:
SS ‏با‎ *مانند دنیای مکش عملایتی بای جلو رفتن» چرخیدن 90 به شمت چپه چرخیدن ‎٩۰‏ به سمت راست وجود دارد. "عامل نابود خواهد شد زمانی که وازد یک مربع شامل سیاده چاله و یا کی حم() زنده می‌شود. "هدف عامل يافتن طلا و ‎gl gl So‏ به خانه شروع با سرعت تما استه بدون آنکه کشته ag 

صفحه 213:
با ‎SS‏ ‏بازنمایی. استدلال و منطق: بازنمایی و استدلال با همدیگ» عملکرد یک عامل مبتتي بر دانش را حمایت خواهند کرد. بازنمایی ‎Sb (howled represeutstion) lb‏ رادر ضرم حل شدنى كامبيوة, مطرح مىسازدء كه به عاملها كمك مى كند تا ارائه بهشرى داشته باشند. 

صفحه 214:
نحو (عصاو2)) یک زبان تناختازی ممکن بررای تشکیل جملات زا ایجاد می‌کند. بازنمایی واقعی در داخل کامیبوتر: هم جمله توسطایک ساختار فیزیکی یا خاصیت فیزیکی قسمتی از عامل پیاده‌سازی می‌شود. معنی ( )6 تعيين مى كند كه حقايق موجود در دنیا به چه جمالاتی نسبت داده شوند. Sle Sz bates HEL AS Sb ‏با 2/۳ )هاء موتوانيم بكوييم‎ وجود دار عامل به چملات مربوطه؛ اعتقاد دازد. 

صفحه 215:
معنی‌های زبان تعیین می‌کند که حقایق به کدام جملات مرربوط می‌شوند. تفاوت بین حقایق و بازنمابي‌هاي آنها: حقایق قسمتی از دنیای واقعی را تشکیل می‌دهندء اما بازنمایی‌های آنها بايد به صورتى كد شوند که بتواند به طور فیزیکی در یک عامل ذخیره شود. 

صفحه 216:
جملات قسمتی از ساختار فینریکی عامل هستند و استدلال باید پردازشی از ایجاد ساختار جدید فیریکی از نمونه‌های قدیمی‌تر باشد. استدلال مطلوب باید این اطمینان زا حاصل کند که ساختار جدید حقایقی را بازنمایی می‌کند که از حتایتی که ساختار قدیمی ایجاد گرده بود؛ پیرروی کنند. 

صفحه 217:
0 < 2200 یه ۳ تسه ‎ord i‏ 58 > ۷ سین ی ی ارتباط بي ,جملات و حقايق”توشبط معناي زباق توليد في شوند. 

صفحه 218:
استلزرامة ارتباط بين حقايقى كه دنالة زو يكذيك هستند زا نشآن موده در علائم رياضى؛ ارتباط استلزام بين يك يايكاه دانش 16019) و يك جمله > به صورت 210 مستلزم ب است» تلفظ می‌شود و به صورته >-|600) نوشته می‌شود. 

صفحه 219:
SS ‏با‎ رویه استنتاج می‌تواند یکی از دقعامل فیلر ارانجا دهد: ‎nga! 1‏ ۳ ۰ با داشتن پایگاه دانش 16) می‌توان ت تاز می‌تواند جمالات تازه‌ای از تولید کند که منیوم آن ‎tl ۱‏ تولید کند که منهوم آن استلرام 2. يا با داشتن یک پایگاه دان یک پایگاه دانش 169 و جمله " دیگری؛ اين تواند گزارش ون ‎ue,‏ این رویه می‌تواند گنرارش دهد که ت 

صفحه 220:
رویه استنتاج امی‌تواند توسط جملاتی که آنها را مشتق می‌کنده تحرین شود. اگس ابتواند "را از ‎KO‏ مشتق کند» منطق‌دان مي‌تواند بنویسید: | 0608 که خوانده می‌شود ««آلنا از ظ) توسط | مشتق شده است یا «1مشتق می‌کند آلفا از 60». ثبت عملیات رویه استنتاج صحیح اثبات [۳۳))نامیده‌می‌شود. 

صفحه 221:
كليد استنتاج صحيح: داشتن مراحل استنتاج است که به جمللات مورد عمل قنرار گررفته؛ توجه داشته باشد. 

صفحه 222:
بازنمايي: زبان‌های بمرنامه‌نویسی (مانند () پا پاسکال یا </1) بررای تیف الگوریتم‌ها مناسب هستند و بین ساختارهای داده پیوستگی ایحاد می‌کنند: زیا رهای طبیعی بیش‌تر محتاج محاوره یر خالاف باز نما هستند. 

صفحه 223:
SS ‏با‎ مزایا و معایب زبان طبيعي: ‎abs‏ طبیعی راهی خوب بای سخنگی اننت تا مخاطب را متوجه منظور خود سازه؛ اما اغلب اين تقسیم دانش بدون بازنمایی صرریح خود دانش انجام می‌شود. زبان‌های طبیعی هم چنین از ابهامات رنج مىبرنده مانند عبارت ((سگ‌ها و گربه‌های کوچک», روشن نیست که آیا سگ‌ها نين كوجك هستند يا خيس ‎٠‏ 

صفحه 224:
با کی ۲ یک زیان با نمايی خوب مت ‎eg‏ زبان‌های طبیحع ور سمی را با هم داشته باشد. السايرمعنى و رسا باشد. السادقيق وغيس مبهم السأمستقل از متن ‏السأقابل استنتاج 

صفحه 225:
معانی: یک جمله خودش به تنهای معنایی نداره. می‌توان زبانی را تحریف نمود که در آن هم جمله یک تفستیم اختیاری داشته باشد. اما در عمل تمام زبان‌های بازنمایی ارتباط سیستماتیکی بين جملات اعمال مى 

صفحه 226:
صدق پذيري: یک جمله معتبر (/۱)) یا لزوماً ضحیع است | گر و فقظ اگم تحت تمام تنسيرهاى ممكن در تمام دنیای ممکن؛ بدون توجه از آنچه که تصور می‌شد کهمعنا دهد و بدون توجه به حالت آتن مطلب در کل؛ تحریف شده باشد. 

صفحه 227:
SS ‏با‎ یک جمله صدقپذیر ( 09 /9<) است | گر و فتط اگی تفسیری در دنیایی بای صحت آن وجود داشته باشد. جمله در خائه [1/2]. عب() وجود دارد " طاطاهاطاه() است زیرا امکان دارد که <عح۳() در آمن خانه باشند, ‎ete‏ گس چنین اتفاقی نیفتاده باشد. جمله‌ای که صدقپذیر نباشد صدق ناپذیر (عاطهاطامعی) است. جملات خود تناقضی صدقناپذیر هستند؛ اگر تناقض به معنای سیمبول‌ها بستگی نداشته باشد. 

صفحه 228:
SS ‏با‎ اج در کامپیوترها: معتبس بودن و صدق ناپذیری به قابلیت کامپیوتری که استدلال م كند, بستگی دارد. کامپیو ‎la‏ از دور نقطه ضعثٌ رنچ‌می‌رزند : لأكامبيوة, لزوماً تفسيررى را كه شما براى جملات در يايكاه دانش به كار می‌برردید» نمی‌داند. لسأجيرزى در مورد دنيا نموداند به جن آنجه كه در يايكاه دانشن ظاهر می‌شود. 

صفحه 229:
SS ‏با‎ چیزی که استنتاج رسمی زا قدر ۵ می‌بخشد؛ نبودن محدودیت پر روی پیچید گی جملاتی است که کامیپوتر باید آنها را مورد غمل قرار دهد. بر رگترین چین در مورد انستنتاج زسمی, قابلیت آنن بای بدستا آوردن نتایج صحیح است حتی زمانی که کامپیوتر اطلاعی از تفسیم استفاده شده توسط شما نداشته باشد. کامپیوتر فقط نتایج معتبس را گزارش می‌کند» که بایست بدون توجه به تفسیم شماء صحیح شید 

صفحه 230:
SS ‏با‎ منطق شامل موارد زیر می‌شوّد: PES cll gle SL ge ‏یک سیستم‎ -1 الف - نحو (#ك/5 ) زبان؛ كه روش ذرسنت كردن جمالاتبرا شرح مىدهد. ب- معانی (709۲<) زبان, كه محدوديتهاى ستيستقاتيكى راروى جكونكى ارتباط جملات با حالات موضوع قراز مىدهند. ۳- تلوری اثبات- مجموعه‌ای از قوانین بای استتباط استلزیامی یک سری از جمللات. 

صفحه 231:
"منطق بولین یا گزاره‌ای» "منطق مرتبه اول (دقیق تربگوییم» خبباب گزاره مرتبه اول با تساوی. ) "در منطق گزاه‌اي سیمبول‌ها تمام گزاره‌ها را بزثمايي مي‌کنند. "سیمبولهای گزاره‌ای می‌توانضد با اسستفاه از ربطدهنده‌های بولین (0۳۷() حصشرصجسه) جملات را با معناهای پیچیده‌ترین تولید کنند. 

صفحه 232:
a منطق مرتبه اول با بازنمايى دنياهايئ به ثام اشياء ( تن ) و گزاره ها روی اشیاء (به عنوان مثال» خواص اشیاء يا ارتباط بین آشیاء) به خوینی استتفاده از ربط دهنده ها و سورها (عامسج) به جملات اجازه می‌دهند تا در مورد چیزی رز دنیا به سرعت نوشته شوند. در منطق مرتبه اول گزاره‌ای یک جمله یک حقيقت را بیان می کند و عامل باور دارد که جمله صحیح استه یا جمله نادرست است یا قادر نیست تا از راه دیگری تنیجه گیری کند. 

صفحه 233:
سیستم‌هایی که مبتنی بر منطق شولا (122) ) هستند, می‌توانند در جایی از اعتقاد را در یک جمله داشته باشند و هم‌چنین به درحات حقیقت نی اجاره دهند: یک حقیقت نیازی به درست یا نادرست بودن در دنیا ندارد؛ اما می تواند تا یک مییزانی صحت داشته باشد. 

صفحه 234:
SS ‏ها‎ منطق گزاره‌اي: یک منطق بستیار نیاده: علائم منطق گزاره‌ای: dru, Pabe) ‏ثابتهاى منطقى‎ *** ** علائم كزارهاي: © ,© ‎ney‏ ‎Bu, 4‏ ام کر هر هه ‎& ‏4 وه ‎& ‏پرانتز و 

صفحه 235:
با ‎SS‏ ‏تمام جملات توسط قار دادن ابن علاقبا هم وبا اسّاده از قوانین زیمء ساخته می‌شوند: الا ثابتهای منطتی (صحاح۳) زص) خودشان چمله محسوبامی‌شوند. لس علامات گزاره‌ای نظیر ۳) ,63 هر کدام بهتنهانی یک جمله هستند. سا پرانترهای ‎Sle gl Boke GALL‏ را تبدیل هیک جمله واحد می‌سازند مقل (۳) 0 م4 ‎Qa‏ یک جمله می‌تواند توط ترکیب جملات ساده‌تر با یکی از پنج رابط منطقی ایجاد ‏می‌شود. ‏روش رفع ابهام منطق گزاره‌اي بسیار شبیه‌عبارت ریاضی ابت. ‎ 

صفحه 236:
معاني: یک سیمبول گزاره‌ای مي‌تواند آنچه که خواست شما استه؛ معني بدهد. یعنی اینکه تسیر آن هر حقيقت اختيارى می‌تواند باشد. یک جمله پیچیده معنایی مر کب از معناهای هس قسمت از جمله را دارده هم رابط می‌تواند به عنوان یک تابع تصور شود. 

صفحه 237:
اعتبار و استنتاج: جدول درستى براى تعريف رابطها و بای کنترل جملات معتبس به کار می‌رود. ماشین هیچ ایده‌ای از معنای نتایج نداردء كارب مىتوانة نتايج را بخواند و از تفسیس خود برای سیمبولهای گزراره‌ای به معنای نتیجه پی برد . 

صفحه 238:
وجود یک یک سیستم استدلال ضروری است تا قادر باشده نتایجی را استضراج کند که از مقدم‌هاء بدون توجه به دنیا که اولویت رجوع جمللات را مشخص می‌کنده پی‌وی کنند. لايد الوا سس" 0۳000 ام جملات اغلب به دنيايي رجوع مي‌کتند که عامل دسترسي مستقلي به آن نداشته ‎ath‏ 

صفحه 239:
Oodels la Jao ‏دنیایی که در آنن جمله‌ای تحت تفسیری ویب درست باشد؛ یک مدل (24()) از آنن جمله‎ نامیده می‌شود. مدلها در منطق بسیار حاشز اهمیت هستند زیرراء دوباره اشتلزاع را مرح می‌کنند» جمله » توسط یک پایگاه دانش 669) مستلزع می‌شود اگ مدل‌های 169) تمام مدلهای " باشند. سپس زمانی که 68)) درست باشد» ۷ نیز درست خواهد بود. 

صفحه 240:
«دنیاهای واقعی» متفاوت بسیاری وجود دارند که مقادیر درستی مشابهی برای ن سیمبول‌ها دارند. تنها تقاضایی که برای کال شدن تضفیه لازم انست» درَتبتی یا نادرستی هم سیمبول گنزاره‌ای در هر دنیا است 

صفحه 241:
SS ‏با‎ قوانین استنتاج براي منطق گزارهاي؛ پردازشی که توسط هم کدام از آنهاه ضحخت یک استتباظ از طریق جداول درستی بدست آمده استه می‌توند به کلاس‌های اننتنتاج‌ها گسترش داده شود: نمونه‌های مطمئنی از استنتام‌ها وجود دارند. که بیشت و بیش‌تر بوجود می‌آینده و صحت آنها می‌تواند یکبار بای هميشه نشان داده شوند. زملنی که یک قانون پیاده شند؛ می‌توان به منظور ساخت استنتاج‌ها بدون سات جداول درستی» استفاده شود. 

صفحه 242:
SS ‏با‎ a #6 ...۲ این جمله نیستا/ اما یک قانون استنتاج ‎Cun‏ یک قانون استنتاج زمانی درشت است اگر نتیجه آن دز تماع مارد درست باشد و متد‌ها نیز درست باشند. یک اثبات منطقی شامل دنبال‌ای از کاربر‌دهای قوانین استنتاج است که ابتدا با جمله‌های موجود در 169) آغاز می‌شود» و منحر به تولید جمله‌ای می‌شود که اثبات را پایان می‌دهد. 

صفحه 243:
Se يكنوايي: استفاده قوانين استتتاج به ‎sala la Sa SL‏ به طور عریح مبعی بر خواص عمومی منطقهای قطعسی (شامتل گزاره‌ای و منطسق میرتبه اول ) است که یکنوایبی ( ملاس نامیده می‌شود. می‌توانیم خواص یکنوایی منطق را به طور زیر شرح دهیم: ifKB |=,, theqKB U KB) |=a 

صفحه 244:
SS ‏با‎ منطق مرتبه اول ووگزاره‌ای دراین ‎lle‏ یکنوا هستند: تلوری احتمال» یکنوا نیست. كلاس منيدى از جملات بای ژمانی که رویه استنتاجی با مان چند جمله‌ای وجود دارد که اين كلاس جملات هورن (ع59 ترا نامینه‌می‌شود. یک جمله هورن ضرمی به صورت زیر دارد: ‎Q‏ ط ‎PR’ Bat‏ که ,() و () اتمهای خنثی هستند. دو مورد مهم وجود دارد: اول, زمانی که ثابت ‎Pato‏ است: 

صفحه 245:
مابه جملداى مى رسيم كه باب ‎WEEN‏ )ل دوع ايفكه زماني ‎GEMS‏ و هل ,)ما یه (۷۵< ۳۶ می رسیم که ابر است با جمله ae 

صفحه 246:
a منطق گزاره‌ای به ما اجازه می‌دهد که به تما نکات مهم در مورد منطق و چگونگی استفاده از آنن به منظور ارائه استتتاج که نهایتاً له عملیات قبدیل مشود پر‌سیم. اما منطق گزاره‌ای بسیار ضعیف است. مشکل کند شدن رویه استنتاج: 1) مشکل فقط نوشتن این قوانین نیست بلکه تعداد زياد آنهاء باعث مشکل می‌شود. 2 مشکل دیگء روبرو شدن با تفییرات محیط است. ما جزریی از عامل استدلال کننده را در یک مکان و زمان ویزبه نشان دادیم؛ و تمام گزاره‌ها دز پایگاه دائش در آنن زمان خاصء درست بودند. اما در حالت کلی» دنیا هر لخظه در حال تخييش است. اندازه یک جدول درستی (>" است. که " تعداد سیمبولهای گنرارهای در پایگاه دانش است. 

صفحه 247:
SS ‏با‎ برای اجتتاب از سرد رگمی» ما به تتیمبول‌های گنزاره‌ای متفاوتی» رای تشخیص مکان عامل در هر مرحله نیازداریم. 1- ما نمی‌دانیم که بازی چه مدت طول خواهد کشید بناببراین نمی‌دانیم که چه تعداد از این گزاره‌های وابسته به زمان؛ نیاز داریم- 2- اکنون باید بر‌گردیم و حالتهای وابسته به زمان از هر قانون را بنویسیم. 

صفحه 248:


صفحه 249:
SS ‏با‎ منطق گزاره‌ای هستی شناسی بسیازمحدودی دارد و فقظ بای دنیایی که شامل حقایق باشدء تعهد قبول می‌کند و این امم بازنمایی مسائل ساده را نیز مشکل ساخته است. منطق مرتبه )9 ‎Sud Oly ( (PrrstOrder _lruir J‏ گنناسانه قوی‌تری را نسبت به منطق گزاره‌ای ایجاد می‌کند. 

صفحه 250:
Se اجزایی که در این منطق #دارندة اشیاء (۳۳ط() 5: مردم خانه‌ها اعداد, تئوریهاء زنگهاء بازیهای بیس_سبال؛ جنكلهاء کشورها... روابط (ع9() 4: بررادر بزر گتر از؛ داخل» قسمتی از رنگ ...دارد» بدهكار استه اتفاق افتاد بعد از... ۱ ‎Proportion) vel se‏ فرمز: گرد: غیررواقعی؛ رسمی... ‏توايع (سدصاصص<0: بدزء بمدرين دوتنتة يكى بيشت ازء نوبت سوم... 

صفحه 251:
a ما ادعا نمی‌کنیم که دنیا واقعا از شیاه و/روابط بین آنهاشاخته شده استه بلکه این جداسازی به ما کمک می‌کند با بهتر در مورد دنیا قضاوت کنیم- ل منطق مرتبه اول قادر أست نايحقايقج ا ذر مور د زر عون ین درد سا اگرچه منطق مرتبه اوله موجؤديت اشياء و روابط آثهارا ممكن مىسازدء اما هيج تعهد هستىشناسى را مراى جيزهايى مثل ظبقات» زمان و حوادث قبول نمىكند. لا منطق مرتبه اول از اين نظس جهانى است که قادر است تا هس چیزی را که قابل برنامه‌ریزی ‎ath‏ بیان کند. 

صفحه 252:
نحو و معانی: منطق مرتبه اول جملاتى داردء اما همچنین واژههایی ۳ نیر دارد که اشیاء را بازنمایی می‌کنند. سيمبولهاى ثابته متخيرها و سيمبولهاى تابع براى ساحت واژه‌ها استفاده می‌شوند؛ و کمیت‌سنجها و سیمیولهای گزاره‌ای براى ساجت جملات به كار برده موشوند. 

صفحه 253:
Coweta Gyarbrbs) cs ‏سیمبولهای‎ یک تفسیر می‌بایست معین کند که کدام شوء توسط کدام متیمبول ثابت در اشیاء ارجاع داده می‌شود. هى سيمبول ثابته دقيقاً به اسم يك شىء نامكذارى می‌شوده اما تمام اشياء نيازى به داشتن نام ندارند و بعضی از آنها می‌توانند چند اسم داشته باشندء 

صفحه 254:
a سیمبولهای گنراره (عاساه6) )4 يك تفسیم معین می‌کند که یک سیمبول گرا به یک رابطه وی در مدل رجوع م ىكند. سیمبولهای تابع (عاساس(6) مصصی۳ 4 بعضی از روابط تابع هستند پدین معنا که هم شيج دقیتا به شیی دیگری توسط رابطه رجوع می‌کند. انتخاب ثابت» گراره» و سیمبولهای تایع به ‎gS‏ به گرد بستگی دارد. 

صفحه 255:
LD erwoe) lap, يك ترم یک عبارت منطقی است ‎eet S45‏ رجوع می‌کند. معانی رسمی ترء‌ها بسیار صبریح اسست. تفسیر» یک رابطته تابعی ارجاع داده شده توسط سیمبول تابع؛ و اشیاء ارجاع داده شده توسط واژه‌ها را اختضاص می‌دهد که آررگومان‌هایش هستند. از این رو تمام ترم به شیی رجوع م ىكند كه به عنوان (5+01) امين مدخل در آلن اذ در رابطداى كه اولين > عنص آنن اشیاء ارجاع شده توسط آ رگومان‌ها هستند؛ ظاهس می‌شود. 

صفحه 256:
SS ‏با‎ ‎sectewes) 3) our‏ و( ‏می‌توانیم با استفاده از ترو‌هایی بای ارجاع یه اشیاء و گرازه‌هایی بای ارجاع به روابط جملات اتمی به وجود آوریم» که حقایق را پایه گذاری می‌کنند: ‏یک جمله اتمی از یک سیمبول گزاره‌ای تشکیل یافته و توسط یک لیست پررانتر از واژه‌ها دنبال می‌شود. 

صفحه 257:
SS ‏با‎ یک جمله اتمی درست است اسر رابطه ارجاع شده توبنط سینبول گزاره با اشياء ارجاع شده توسط آ رگومان‌ها مطابقت داشته باشد: رابطه در صورتی صحت دارد که ۸7 اشیاء در رابطه باشد. حقیقت یک جمله بنابراین هم به تفسیر و هم به دنیا بستگي دارد. 

صفحه 258:
agg OMe ما می‌توانیم از رابطهای منطتی بای تشکیل جملات پیچیده‌تم فتط در محاسبات گزاره‌ای استفاده کنیم. معانی جملات که با استفاده از رابطهای منطقی فرع كررفتهائدء ازلحاظ گنزراره‌ای با تن یکسان 5-5 

صفحه 259:
AQuaciPires) lye ‏زمانی که ما منطقی در اختیار دایم که شامل اشیاء استه طبَیعَی است که دک خواص کلی‎ ‏اشیاء را ببر شمارش اشیاء توسط نام تررجیح می‌دهیم. سور‌ها به ما اجازه این کار را می‌دهند.‎ منطق مرتبه اول دو سو ارد دارد: ‎(uciversel) gage‏ ‎(existecttal) cose **‏ 

صفحه 260:
SS ‏با‎ سور عمومی: ‎(Oaversd Quenificcicon)‏ 0 . معمولا به معني ‎cle)‏ تمام» است. 2 شما یک جمله را می‌توانید به صورت ‎٠.05‏ كه <1) يك عبارت منطقى است تصور كنيد. و () معادل با کیب عطفی ‏ , تمام جملات حاصل شده توسط جانشینی نام یک شیی بای منفیس «هر‌جا که در ) ظاهر شود؛ است. 

صفحه 261:
SS ‏با‎ By 4Exttectd) ‏سور وجودق‎ به صورت «وجود دازد::.» تلفظ می‌شود. درحالت کلی "6 زمانى درست است كه ۳ براى بعضی از اشیاء در دنیا درست باشد. ینایم این مي‌تواند به عنوان معادلی بای کیب فصلی جملات بدست آمده توسط جانشینی اسم یک اشیاء بای متفیس ۵6 تصور شود. بنابر‌این؛ یک جمله شرطی با سور وجودی در دنیایی شامل هر شیی که مقدم ‎SS ol‏ شرطی نادرست باشده درست است+ از ای رو همچنین جملاتی اصلاً چیزی بای گنتن ندارند. 

صفحه 262:
SS ‏با‎ های لانه‌اي ‎AODested QueciPers)‏ 3 1 9 و ‎ad‏ ‏ترتیب سورها بسیار مپواستولرگی ما آنها زا در پرانتز فرّازدهیم روشن‌تر می‌شود. در حالت کلی؛ ((۳)6۷۷) ۷ ‎x(‏ جمله دلخواهیاست که شامل ۷,:«می‌باشد. می‌گوید که هر شینی در دنیا وگ حاصیت ویژه‌ای دارده و آن خاصیت به چند شینی توسط رابطه 7 مربوط می‌شود. از طرف دیس ((۳)6۷) ۷« می‌گوید که در دنیا شیئی وجود دارد که خاصیت ویژه‌ای دارد و خاصیت توسط 7 به هر شیئی در دنیا ممربوط می‌شود 

صفحه 263:
مشکل اساسی زمانی‌بوجود میآید » که دو سور تا یک متفیماستفاده می‌شوند. قانون این است که متفر به داخلی‌شرین سوار که آن را بیان می‌گند» پس این متفیرر ارتباطی با دیگر سورها نخواهد داشت؛ 

صفحه 264:
ارتباط بين 0و 4 در واقع دو سور وجودی و عمومی از طرریق تناقض با هم در ارتباط هستند. بدلیلاینکه "در واقع رابطعاطقی دت دایز اشیاء سول رابط فصلی استه تعجب آور نخواهد بود که آنها از قوانین مورگان پیروی کنند؛ قوائیتن دمو رگان در ارتباط با جملات سوری به شرح زیر است: ‎-P* ~Q=-(PY Q‏ ميردددم عرو ‎aVxP=ax.P) -(P* Q=4P’7Q‏ ‎VxP=s4x:P) » P\.Q=-(-PY -Q)‏ ‎SxP=iVeP. PY Q=-4P*-Q‏ 

صفحه 265:
برای اهداف ۳1» محتوا و از این رو قابلیت واندن جملات مهم هستتد. ‎ele‏ ماهر دواسور را نگه می‌داریم. 

صفحه 266:
(Equi) gps 2۷ ( ‏به غیر از گزاره‌ها و تمم‌هایی که قبلاً به آنها اشاره مي‌توائيم از سیمبول تساوی‎ ‏اسامود) بای ساختن عباراتی که دو تزع به شیثی مشابه رزجوع کنندء استفاده می‌کنیم.‎ سیمبول تساوی : می‌تواند به منظور شرح خواص یک تایع داده شدهء استفاده شود. این سمبول هم چنین می‌تواند با علامت تقیض بررای نشان دادن عدم تشابه دو شیثی استفاده شود. 

صفحه 267:
SS ‏با‎ توسعه‌ها و تمایزات نگارشی: سه نوع از روشهای که روی منطق مرتبه اول اعمال می‌شود: 1- منطق مم‌تبه بالات 2-1 عبارات تابعی و گنزاره‌ای با استفاده از عملگر ۱( 2-2 سور یکتایی 2-3 عملگر یکتایی 3- انواع علائم 

صفحه 268:
منطق مرتبه بالاتىة #*مارا قادر موسازد تا بتونیم کیثیت زوابط وتوابع اشياء تابه خوبى تعيين كنيم. **قدرت معنا دارتري نسبت بهافنطق أو لذارد. 

صفحه 269:
SS ‏با‎ عبارات تابعی و گنراره‌ای با استفاده از عملگر ۸ : لس اغلب مفید است که توابع و گنرارههای پیچیده را از قسمت های ساده‌تری تشکیل دهیم. الا عملگر ۸ مر‌سوم است که بر این منظور استفاده شود این -۸ وس می‌تواندبرای آر گومانها نی به کار برده شود تا به یک ترم ای مثال گزرارة ««از جنیست متفاوت و از آدرس مشابه هستند.» را مي‌تواند به رت ز ی Ax, y Genddm) #gendéy)*" Addregs) =Addreé: 

صفحه 270:
سور یکتایی: راه دقیقی بررای گفتن اینکه تیک شیثی متحصر به فرد یک كزاززه را قانع م ىكندء وجود ندارد. بعضی از موّلفان علامت ! 616/0 ‎ait‏ را استفاده می‌کنند. جمله بالا بدین معناست که ««یک شیثی منحصر به فررد « وجود دارد که ۲:۹ را قانع می‌کند ((يا غير رسمی تر بگوییم » أقيقاً يق 00012 وزجود داردة 

صفحه 271:
‎Sic‏ یکتایی: ‏۳ براى منهوم یکتانی استفادهمی ‏یم استفاده می‌شود. ‎t‏ تأنمايئ ینیم شین ‎AS ofa‏ استفاده مى: علامت() ۱ عمومً بای باژنایی مستقب 

صفحه 272:
انواع علائم: تعدادی از علائم رایج در منطق مرتبه اول: دحا دمر (س) سبح ‎(or)‏ ت0۵ ‎(Fr)‏ ‎(HK) ‎(eReSkolen ‎ ‏(ع) مهروما ‎ ‎"Phas book ~PP ‎PEO RRA L Carrs) ‎۶۱۵ 5 ‏م0 مط‎ P=Q (vx) ‎(ay A (Rxy ‎ ‎oP ‎Fig ‎PQ ‏دص‎ 4 Pe vxPC 2 ‎ ‎Rs ‎ ‎ ‎ ‎ 

صفحه 273:
SS ‏با‎ استفاده از منطق مرتبه اول؟ لا دامنه اس Us pan ls ‏لا اصل موضوعاته‎ سا دامته مجموعه‌ها سا علائم خاص برای مجموعههاء لیست‌ها و محاسبات لا طرح يرسش و كبرفتن ياسخ 

صفحه 274:
SS ‏با‎ عامل‌های منطق ببرای ‎Dumps loo‏ ما معماری سه عامل را در نظین م‌گیتزیم: * _ عامل‌های (»«صااس) که فتط ادراکات و عملیاتشان زامطابق هم طبقه‌بندی می‌کنند. * عامل‌های مبتنی بر مدل (لحصجمواط) که بازنمایی داخلی از دنیا را تشکیل می‌دهند و از آن بمرای عملک‌دشان استفاده می‌کنند. عامل‌های مبتنی بر هدف اه که اهداف را صورت می‌دهند و سعی دارند تابه آنها برسند. (عاملهال متیر هدف معمهلاً عامل‌های انتنی طیرمادل نیز هستند. ) 

صفحه 275:
عامل واکنشی ساده: ساده‌ترین نوع ممکن عامل؛ قوانیتی دارد که مستقیمً ادرا کات زا به عملیات مرتبط می‌سازد. این قوانین مشابه وا کنش یا غراییز هستند. 

صفحه 276:
SS ‏با‎ محدودیت‌های عامل‌های وا کنشی نناده؛ وجود مسائلی که باید به عامل از طبریق بازنمایی دثیا د نوی امل از طریق بازنمایی دنیا فهمانده شود. ای واکنشی نمي‌تواند از حلهای نا کنشی نمی‌توانند از حلقه‌های نامحدود اجتتاب وّزند. 

صفحه 277:
بازنمایی تفییر در دنیا: در طراحی عامل, تمام ادراکات به پایگاه دانش اضافه می‌شود, و در اصل تاریخچه ادراک تمام ن چینرهایی است که در مورد دثیا باید دانسته شودء !گر ما فوانینی داشته باشیم که به گذشته به همان خوبی زمان جاری رجوع کنند» مي‌توانیم قابلیت‌های یک عامل را بای یافتن جایی که عملکد بهینه دارد؛ افزایش دهیم. 

صفحه 278:
۹۹۰۰۰۰ هس سیستمی که تصمیماتی را بر پایه ادراکات گذشته می‌گیرد می‌تواند بای استفاده محدد از جملاتی در مورد حالت جاری؛ دوبازه نوشته شود؛ به شرط اینکه این جملات به محض رسیدن هر درک تازه‌ای و دز عمل تاژه‌ای که انجام می‌شود؛ به روز د رآورده شود. قوانینی که روش‌هایی در آن دنیا می‌تواند تفییس کند (تفیی نکند ) را تعریف م ىكنند, قوانین اما نامیده می‌شوند که از زبان یونانی به معنای س‌تاسس زمان» بر‌گرفته شده است. بازنمایی تخبیررات یکی از مهم‌ترین حیطه‌ها در بازنمایی دانش ساده‌ترین راه ببرای کنار آمدن با تغییسات» تفییم پایگاه دانش اشت. 

صفحه 279:
يك عامل می‌تواند در فضای گذشته و حالات ممکن آینده» به چستجو بپردازده و هس حالت توسط پایگاه دانش متفاوتی باژثمایی می‌شود. در اصل؛ بازنمایی موقعیت و عملیات تفاوتی با بازنمایی اشیاء واقعی يا روابط واقعی ندارد. ما نیاز داریم که در مورد اشیاء و روابط مناسبه تصمیم گیری کنیم و سپس قضایایی در رابطه با آنها بنویسیم. 

صفحه 280:
محاسبه موقعیت: محاسبه موقعیت (صالحاح() 9( اروش خاصی بای تحرین تغييريات در منطق مرتبه اول است. تصوری که از دنیا می‌شود؛ آن را به صورت دنبله‌ای از موقعیت‌ها در نظر می‌گیررد؛ که هر كدام از آنها یک اج" از حالت دنیا است. 

صفحه 281:
SS ‏با‎ استنتاج خواص پنهانی دنیاء زمانی که عامل بتواند تشخیص دهد که کجا قرار دارد؛ می‌تواند کیفیت‌ها را با محلء به جای موقعیت تطبیق دهد. قضایایی را که ما برای تسخیر اطلاعات ضروری برای این استنباطها خواهیم داشته قوانین ‎(Gparkrosiz) gl‏ نامیده می‌شوند» زیرا آنها خواص حالت یک دنیا را به دیگس خواص حالت دنیای مشابهء مربوط می‌کنند. 

صفحه 282:
قوانین 0: قوانین سببی جهت مفروض شده علت را در دنیا منعکس می ادراکات مطمثنی را بای تولید شدن باعث می‌شوند. 

صفحه 283:
Se 2) قوانين تشخيصى (وحدحم صا وت 4)0015: قوانین تشخیصی مستقیماً لالب حضبور بنواص نان از اطلاعات مبتسی بر ادراک دارند. اگرچه قوانین تشخیصی به نظى می‌آید که اطلاعات مطلوبی را ستقیماً توليد كندد, خیلی حیله گیررانه است اطمینان داشته باشیم که آنها قوی‌ترین نتایج ممکن را از اطلاعات موجود به دست م‌آورند. 

صفحه 284:
مهم‌ترین مسئله برای به خاطسن‌سپر‌دن این است که آگسر قضاینا به درستی و کمال» روش عملکرد دنیا و روشی که ادراکات تولید می‌شوند را تعریف گنند» رویه استنتاج به درستی قوی‌ترین شرح ممکن از حالت دنیا با ادرا کات داده شده را اننتضراج خواهد کررد. 

صفحه 285:
اولویت بین عملیات: تغییررات عقاید عامل در مورد بعضي از چهره‌های دنیا نیاز به تفییرات در قوانينى كه با ديك جهرءها سر وكار دارند دارزقاة "عامل ما به سادگی توسط پر‌سش بررای رسیدن به چیزی متفاوت؛ می‌تواند دو مرتبه برنامه‌ریزی شود. ۷ اهداف مطلوب بودن حالات حاصل را بدون توجه به روش به دست آمدن آنها توضیح می‌دهند. 

صفحه 286:
a اولین قدم شرح مطلوبیت خود ‎y darting) Slee‏ تررک ماشین بای انتخاب بهترین عمل است. از یک مقیاس ساده استفاده ی کنیع عملیات می‌توانند عالی؛ خوب متوسط , ریسکی و یا مهلک باشند. عامل هميشه بايد يك عمل فوقالعادماى را در صورت ياقتن انجام دهد؛ در غیس اینصورت. يك عمل نوب در غيم اينصورت؛ يك عمل متوسطء ويك عمل ريسكدار اك تمام قبلوها شکست بخورند. 

صفحه 287:
بستم متقيار عهليائي: سيستمى كه حاوى قوانيتق اين نوع است يك سيستم نقذازاعملياتى (صاصح-صاص ! نامیدء می‌شود. > توجه كنيد كه قوانين به آنجه كه واقعاً عملیات انجا می‌دهند؛ رجوع نمی‌کننده فقط به مطلوب بودن آنها توجه دارند. 

صفحه 288:
به سوى يك عامل هدفدار: حضور یک هدف دقیق به ال ماه می‌دهد تا دنبله‌ای از ‎Ble‏ كله منج رسيدن به هدف می‌شوند را پیدا کند. 

صفحه 289:
استتتاج: نوشتن قضایایی که به ما اجازه 0966) از 169) را بای دثباله‌ای از عملیات بدهد که ضمانت رسیدن به هدق را به طور امن بکند, چندان مشکل نیست: - برای دنیاهای بر رگه تقاضاهای محاسباتی بسیار زیاد است. ىو ای بز! 'ى ‎gh‏ رو - مشکل تشخیص راءحل‌های خوب از راءحل‌های بیهوده وجود دارد. 

صفحه 290:
SS ‏با‎ ما می‌توانیم از رویه جستجوی سطحی بای یافتن مسیری به هدف استفاده كنيم. اين از عامل درخواست می‌کند تا دانش خود را به صورت مجموعه‌ای از عملگرها دررآورد؛ و بازنمایی حالات را دنبال کند بنابراین الگوز بتم خستحو می‌تواند به کار رده شود. Seep abe ‏شامل استفاده از سیستم‌های استدلال خاصی مىوشود كه براى استدلال در مورد عمليات طراحى‎ شده‌اند. 

صفحه 291:
۱ 

صفحه 292:
SS ‏با‎ قوانین استنتاج مربوط به سویزها: ). Ovdus Pogecs 5. ‏لو‎ - Clicpicratioa 9) - ‏اسلا‎ ‎4. - ‏ملس‎ ‎۳ 

صفحه 293:
سه قانون استتتاجی جدید: 1- حذف سور عموبی (۷) اج ریب( بای هر جمله 0 متغیس ۸7 و ترم زمينى ]5 داريم: ‎Vv,a‏ ‎SUBSTY / g},a)‏ 

صفحه 294:
2- حذف سور وجودی: بررای هر جمله ل0» متیر مه و سیمبول ثابت ؟| که جای دیگرری از پایگاه دانش ظاهر نشده است» داریم: ‎Av,a‏ ‎SUBST / K},a)‏ 

صفحه 295:
3- (مسسدستا سح : بررای هر جمله ل6» متفیر ۱ که در 01 واقع نباشده وترم زمينى "كه در 60 واقع نشود داریم a av SUBST g/v}.a) 

صفحه 296:
مي‌توان این قوانین را ما استفاده از : یک جمله با سور عمومی به عنوان تز کیب عطنی تام متدازدهی‌های ممکن آن؛ و تعرریف یک حمله با سور وحودی به عنوان ت کیب فصلی تمام مقداردهی‌های ممکن آنن» ‎oS SBS‏ 

صفحه 297:
کاریرد قوانین استنتاي, دز واقع پرسشی از مطابتت نمونه‌های پیش‌فرضیات آنها پا جملات موجود در 69) و سپس افزودن نمونه‌های جدید آنهاشت. اگس ما فرایند يافتن اثبات را به عنوان یک پرردازش جستجق فرموله‌سازی کنیم؛ پس واضح است که اثبات همان راه حل مسئله جستجو است و روشن است که باید بررنامه‌ای هوشمند جراى يافتن اثبات بدون دنبال كردن هس كونه مسيى ناارست موجود باشد. 

صفحه 298:
سم سل( دختم ان Coward ‏یکسان‌سازی (صمسناله)‎ ** 

صفحه 299:
Onwriords,> تمام جملات موجود در پایگاه دانش باید به صورتی باشند که با یکی از پیش‌فرضیات قانون ‎Dorks Power gis Cunard 73 wilt acth alls Dodus Pocus‏ متضمن این نکته است که هر جمله در پایگاه دانش ا چه نوع آتمی یا شرطی با یک تر کیب عطفی از جملات اتمی در طرف چپ و یک اتم منفرد د ر طرف راست بايد باشد. ما جملات را به جملات 1/۳" زمانی تبدیل می‌کنیم که ابتدابوارد پایگاه دانش با استفاده از حذف سور وجودی و اتحذق 2) شده باشد. 

صفحه 300:
a OP raion) ¢skeghS وظینه روتین یکسان‌ساز 08( گرفتن د و جمله اتمی :۳7 و ب‌گرداندن یک جانشین که 5 ۳۰ را مشابه هم خواهد ساخته است: (اگر چنین جانشینی موجود نباشد ۳ 0۰() برمی‌گرداند. ) ‎UNIFYp,q)=0 , SUBST¢, p)=SUBST0 ,q)‏ ۳۷ عمج ریز کسازساز (مطلن() امسووظ) عم( ‎LOCO) L‏ ‎he Fo‏ که جانشینواستکه کمتریزتهد را در قبلمصوسازمتفي‌ها دارد. 

صفحه 301:
SS ‏با‎ زنجیر‌سازی به جلو و عتب 0۵ مایت 0000016 لممسد :0 زنجی‌سازی به جلو (موه ل ومد قانون عم۳) ل0() تیم یافته به دو صورت استفاده مي‌شود. می‌توانیم با جملات موجود در پایگاه دانش شروع کنیم و نتایح جدیدی را که می‌توانند استنباطهای بیشتری را بسازند؛ تولید کنیم. اين روش زنجیم»سازی به جلو نامیده می‌شود. این روش زمانی استفاده می‌شود که حقیقت حدیدی به پایگاه داده ما اضافه شده باشد و 

صفحه 302:
SS ‏با‎ ذنجي_«سازى به عتب (/-:45-ا0 لموسوات ©1)8: می‌توانیم با چیری که قصد اثباتش را دازیم آغاز کنیم و جملات شرطی را پیدا کنیم که به ما اجازه بدهند نتیجه را از آنها استنتاج کنیم» و سپس سعی دز ایجاد پیش‌فرضیات آنها داشته با این روش زمانی ا مي‌شود ‎clo bab aS‏ اثبات وحود داشته باشد. 

صفحه 303:
Se الكوريتم زنجيس«سازى به جلوة زنجير:سازى به جلو توسط افزودن يك جتيققت جديد. «به يايكاه دانش» فعال موشود و می‌تواند به عنوان قسمتی از پردازش بامال)]"بر‌ای مثال» همکاری داشته باشد. در اينجا تمام ترکیبات شرطی استا که () را به‌عنوان پیش‌فررض داشته باشده سپس اگر بقيه بيش فرضيات برقرار باشندء موتوانيم نتيجه تركيب شرطى را به يايكاه دانش توسط راهاندازى استنتاجهاى بعدى اضافه كنيم. 

صفحه 304:
SS ‏با‎ مابه ايده 55 ‎Ooeppsitiva)‏ جانشیتی نیز شباز دازلیم. (,03۳ 1 همست که ار Ned كن با ار اعمال هن جانشينى به نوبته برابى است. SUBS(COMPOSE,,6,), P) = SUBS®,, P) زنجير«سازى به جلوء تصوبرى تدریجی از شررایط در حالی که داده‌های جدید وارد می‌شوند: می‌سازد. پردازش‌های استنتاجی آن مستقیما با حل مسئله ویژه در ارتباط نیستند؛ به همین دلیل رو با رف لول با لاو طسو ‎vost gs cal‏ 

صفحه 305:
Se الگوریتم زنجیس,سازی به عتب: زنجیمهسازی به عقب به منظور یافتن تمام پاسخ‌ها بای سوال طرح شده به وجود آمده است. بنابراین زنجیرهسازی به عتب» وظینه‌ای که از رویه 6966) خواسته شده را انجام می‌دهد. الگوریتم ذنجيرسازى به عقب (009006-0110910) ابتدا تؤسظٍ كنترزل درم يابد كه آيا ياسخها مستقيماً از جملات پایگاه دانش, توليد می‌شوندایا خیر. سپس تمام تر کیپات شرطی که نتایجشان با پررسش ‎Gillan query)‏ دارد را پیدا می‌کند و سعی دارد تا پیش‌فرض‌های آنن ترکیبات شرطی را توسط زنجیم‌سازی به عقب ایجاد کند, آگس پیش‌فرض» یک ت کیب عطفی باشد سپس ,9000-01۷ تز عطف پرردازش می‌کند» تا یکسان‌ساز را بای تماع پیش‌فرض يسازد. 

صفحه 306:
SS ‏با‎ كامل بودن «5جمجادار 00 تصور کنید که ما پایگاه دانش زیر را در اختیار داریم: vx ‏دض‎ AX ۷۶ ‏داد‎ ۵ vx ‏شد دض‎ vx ‏فک دم‎ سپس ما می‌خواهيم که (0)) )را نتیجه بگیریم؛ (69)() درست است. اگر (7)69)یا (1۲)69) درست باشد» و یکی از آنها باید درست باشد زیرا: يا (۳)60) یا (۳)60) " درست است. 

صفحه 307:
SS ‏با‎ متأسفانه, زنجیمه‌سازی با ع() <۳() نمی‌تواند (60)() را نتیجه بگیرد. مشکل این است که ۳ // ( نم ود وت "سا" دربباده واز این رو توسط ) 7(]) نمی‌تواند استفاده شود. این بدان معنی است که رویه اثالی کی ازج( 002( استفادهمي‌کند ناکامل (اطام0) است: حملاتی که در پایگاه ‎Sloat peed Sls‏ یه نب توأندآنهاآریا استنتاج کند. 

صفحه 308:
پرسش در مورد وجود رویه‌های اثّات کامل بحثی است که ارتباط مستقیم با ریاضیات دارد. اگس یک رویه اثبات کامل بتواند بای عبارات ریاضی پیذا شود؛ دو چین دنبال می‌شود: *** تمام مضروضات می‌توانند به طور مکانیکی ایجاد شوند. * تمام ریاضیات می‌توانند به عنوان نیج منطقی مجموعه‌ای از اصل موضوع‌های پای‌ای ایحاد شوند. 

صفحه 309:
یک رویه اثبات کامل بم‌اي منطق متبه اول ارزش بسیاری در 1) دارد: ** نظریه‌های عملی در رابطه با پیچیدگی کامپیوتری: * فعال ساختن یک ماشین بای خل هر كونه مشئلة كه دالكازبان می‌تواند قررار داده شود. 

صفحه 310:
Se قضیه کامل بودن گودل ‎aS ols ght‏ برا منطق مرتبه اول هر جمله‌ای که توسط مجموعه جملات دیگری مستلزم شود می‌تواند از آن مجموعه اثبات شود. ‎ly‏ ‏كامل 8) اجازه م‌دهد پیدا کنیم: if KBS thenKB|- ‏بر‎ این م‌توانیم قوانین استنتاجی را که به یک رویه اثبات این قضیه کامل بودن مشابه این است که بگوییم رویه‌ای بای یافتن سوزنی در یک پشته کاه وجود دارد و این ادعای بیهوده نیست زیر جملات با سود عمومی و سیمبول‌های تابع لانه‌ای دلخواهی در پشته‌های ‎Lol‏ ‏اندازه نامحدود؛ استفاده می‌شوند. داد که رویه ا د داد آما هیچ زویه‌ای را 

صفحه 311:
a استلرام در منطق مرتبه اول» نیمه تصمیم‌پذیر (۳۳۱۵)) بنابم‌این می‌توانیم نشان دهیم که جملات از پیش‌فرضیات تبعیت می‌کنند» اما هميشه نمی‌توانیم نشان دهیم که آنها از پیش‌فرضیات تبعیت نمی کنند. به‌عنوان يك فرضیه سا زگاری (77) محموعه جملات (سژّالی در مورد وجود راء‌حلی ‎clo‏ تبدیل تمام جملات به جملات درست ) نين نیمه تصمیم‌پذیر است. 

صفحه 312:
SS ‏با‎ قات2؟1): یک رویه لستنتاج کامل از دو ترکیب شرطی می‌توانیم کیب سومی را مشتق کنیم که پیش‌فرض اولی را به نتیجه دومی متصل می‌کند. ] pany ‏كيبش م طوجديد را‎ 5 el aud ol Oocs Pouras ‏لتمی‌را لستخرلج مي‌کند. از لینرو قانون 00 قدرتمندتر از عو() عل()‎ ‏لش‎ 

صفحه 313:
قانون استتتاج امه در فرح ساده قانون 9 پیش‌فرضیات دازراي دقیتاً دوت کیب فصلی هستند. ما می‌توانیم این قانون را بای دو تم کیب فصلی به هم طولی وستعت بخشیم» که اگس یکی از قسمت‌های ترکیب فصلی در یک([۳))!ت با نقیض قسمت دیگر ترکیب فصلی (1 یکسان باشنده سپس ت کیب فصبلی از تمم قسمتها استتتاج می‌شود بغیر از آن دو: ‎Gla BLS, 5) ilo pert Resvhiivd‏ لس وص اددت؟) تعميمي يافته (تركيبات شرطي) 

صفحه 314:
SS ‏با‎ بای وه ضرضی که 28( )00۳۳۲ و = 2 «4 A has 42 SUBS®@,(RY ‏رگ‎ Pha Pn © G+” Gor -G)) معادلاء می‌توانیم این عبارت رابه صورت ت کیب شررطی بنویسیم. 

صفحه 315:
SS ‏با‎ ماس ه() نحس بافته(ت کی تشگ طی): براى اتم‌های ۱) و بو ۲۱و اد که سره , ز6) 0001۷۲ ‎ea. Eo‏ که الوك و 4 ۰ و ينه .۰ © احم گرد 5 ۷ SUBSO,(R* PB... Bas” Pa ٩ ‏دوى..‎ BY ‏وق‎ * Gir” Goa” +" Gu) jel 

صفحه 316:
SS ‏با‎ ضرجهاى دده 0 براي -طقاموطد در نسخه اولیه قانون !د25 » هر جمله یک ت کیب فصلی از حروف فرضی است. تماع ترکیبات فصلی در 6)) فرض شده‌اند که در یک ت کیب عطفی صریح (مانند یک 8 حمولى ) به هم متصل شده‌اند بنابم‌این این فرم» فرع زرمال عطفی 679/۲ ‎Pore (COR)‏ اسر نامیدهمی‌شود. اگرچه هم جمله به تتهان ‎AM tad SS Si‏ 

صفحه 317:
SS ‏با‎ در صورت ثانویه قانون ماه هر جمله یک ترکیب شررطی با یک تر کیب عطفی از اتم‌ها در سمت چپ و یک ت کیب فصلی از اتم‌ها در طرّف راست استاء این حالت» فرح رمال شررطی(( 1606 ‎Por‏ ابر عرطکام0_نامیده می‌شود. هر مجموعه از جملات می‌توانند به دو فرع ترجمه شوند. رم شرمال عطفی ‎Coal Spel‏ اما ضرم شرمال شرطی طبیعی‌تر به نظر می‌آید. 

صفحه 318:
SS ‏با‎ 2) تیم از عه(۳) ۳() لست فرع رعال شرطی رایچتم از فترم نا استه به دلیل اینکه طرّاف سمت راست می‌تواند یک ترکیب شرطی باشد و نه فقط یک اتم تنها: عجوه) جبلعه() قابلیتتم کیت‌ها با یکت كييش /طورا به منظو رلستخراج نتیحه به صورتي. دارد که لاس قادر به لنحام آزنیست 

صفحه 319:
SS ‏با‎ زنحیم:سازی با اجه قد رتمندتم از زنحی»سازی با عج) () است؛ اما هنوز کامل نیست. برهان خلف: رویه استنتاج کاملی که از ددع استفاده می‌کند پرهان خلف ‎cab (reP ution)‏ می‌شود و هم‌چنین به عنوان اثبات توسط تناقض (اطل با 1۳۳و ‎neduciog cod ubsurducz)‏ شناخته شده است. 

صفحه 320:
تبديل به ضرم ضرمال: 7 هر جمله مرتبه اولیمی‌تواند به صورت فرع نرمالشرطي (یا عطفی ) دربيايد. ۲ از یک مجموعه از جملات به فرع نزمالمی‌توانیم اثبات کنیم که یک جمله نرمال از مجموعه پیروی خواهد کرد. 

صفحه 321:
رویه‌ای بای تبدیل به فم زرمال: ‎SoS, 3 bio (1‏ یود بات شررطی را با معادل فصلی جایگزرین نمود. ‎ ‏نقيض فقط براى ضرم نرمال عطفی مجاز است» و بر‌ای تمام فرهای نرعال شرطی قدغن است. 3 استاندارد ک‌دن متفی‌هان اين عمل بعداً از ایجاد ابهام زمان خذف سورها جل و گیرری می‌کند. ‏4) انتقال سورها یه سمت چپ: 

صفحه 322:
6 سس ‎Gholewizaiiva‏ 2 داز شولستکه در آزتمام سور‌هایوجودیحذفمي‌شوند. 6 توزیع بر ۷ 7 تركيبات ف في لانها ‎Bou‏ در این مورد» جمله به ضرم نرمال عطفى (*0000) لاست. 8) تبديل تم کیبات فصل به ش کیب شمرط ی( 

صفحه 323:
بر‌خورد با سئله تساوی: یکسان‌سازی یک تست نحوی مبتتی بر ظاهس ترم‌های آ رگوّمانی است و تست صحیح معنایی مبتنی بر اشيايي که نمایش می‌دهند, نیست. دو روش بای انجام این ام : 1) بدیهی نمودن تساوی به وسیله ذک خواص آن: ‎2b‏ 53 شود که تساویء انعطاف‌پذیر» متقارن و (متعدی) است- 

صفحه 324:
2) استفاده از یک قانون استتتاج از یک قانون استنتاج: می‌توانیم قانون استنتاج را به صورت زیر تحریف کنیم: ‎DOIPY (x,y) = OS ayy ops ph Sg) > Decwrdukaion‏ ‎X=Y,(...Z...)‏ ‎SUBS®, y)...)‏ ...( 

صفحه 325:
Resvhiiod lag 25) tu) 4 استراتترى ‎hgh ge oli PELE Ed 1 1S Sean Mal cho 4S‏ را بررسى خواهیم ‎2S‏ 

صفحه 326:
‘Dut prePerewe (1 در اینجا ما سعی بر تولید جمله کوتاهی 4 910 5 & ‎Pale‏ >= ۱ داريم. اين استرراتتری يك كشن کننده منید است که می‌تواند با ديك استراتری‌ها كيب شود. 

صفحه 327:
SS ‏با‎ )8 ‏مجموعه اووس‎ ) ١ هس تك !دوج جملداى را از ‎Gupport 46 gaa‏ با جمله دیگری ت كيب م ىكند و نتیجه را به محموعه 2۰۳۳۳۲۷۱) اضافه م ىكند. اك مجمواعنه 1 :0) به نسبت تمام پایگهدانش کوچک باشده فضای جستجو را قطع خواهد کرد یک انتخاب بد بررای مجموعه !9۰۳۳۳۲ الگوریتم را ناکامل خواهد ساخت. استرراتتری محموعه ۱۷۳۳۷ ) داررای این میت است که درخت‌های اثباتی تولید مي‌کند که 

صفحه 328:
3) اسآ و رودی: در استراتژی اهب ورودی هر لامج یکی از چملات ورودی را (از 4160 یا دمجي )با جمله ديك ت کیب می‌کند؛ در يايكامهاى دانش ‎Worn Ordus Prorar‏ نؤعى از استر اتتزى كمف !م7 ورودى استه زیررا یک ترکیب شرطی از 6168 اصلی را با دیگر جملات ت کیب می کند. از این رو شگفتیآور نخواهد بود که ۸ ورودی برای پایگه‌های دانشی که به صورت ‎WS ares Wore‏ باشة اما درحالت ‎OS‏ ناکامل است. 

صفحه 329:
4) مطاممیصل): متد ام« جیان0) سار جملاتی که توسط یک جمله توچود در ما۵ ‎٩06,‏ ‏می‌شوند؛ را حذف می‌کند. ‎Gubsucoping‏ ب نگیداری16) به صورتک وچکک مکمي‌گند و در نتیجه فضای جستجورا کوچکم‌سازد. 

صفحه 330:
7 دش موه + 

صفحه 331:
SS ‏ها‎ تفاوت عامل م‌نامه‌ریزی با عامل حل قسئله در شه جیاست: بازنمايى اهداف. حالات و عملیات استفاده از بازنمایی‌های منطقی و صسیح بر‌نامه‌ریسن را قادر می‌سازد تا سنحش عامل را محتولانه هدایت کند. عامل بررنامه‌ریزی همچنین در روش با زنمایی و جستحو بای رامحل‌ها نیز تفاوت دارد. 

صفحه 332:
یک عامل ساده برنامه‌ریزی: زمانی که حالت دنیا قابل دستررسی استه عامل می‌تواند از ادرّاکات تولید شده توسط محیط استفاده کررده و مدل کامل و صحیحی از حالت دنیای جاری بسازد: سپس, با داشتن هدفه می‌تواند الگوریتم بمرنامه‌ریزی مناسبی را بای تولید بررنامه عمل فرراخوانی کند. عامل سپس می‌تواند در طی مراحل ببرنامه» هم لحظه یک عمل را اجرا کند. 

صفحه 333:
عامل با محیط از طریق یک روش حداقل در عمل است واز ادا کاتش بررای شررح حالت اولیه استفاده می‌کند و از این زو هدف اولیه را دنبال می‌کند؛ اما به ساد گی توانسته مر‌احل برنامه را تشکیل بدهد. 

صفحه 334:
از حل مسئله به نامه رینزی: بر‌نامه‌رینری و حل مسئله موضعات متفاوتی هستند زیر در بازنمایی اهداف و حالات و عملیات ازنمایی ساختار دنباله‌های عملیاتی متفاوت ‎aS gt Jae‏ 

صفحه 335:
عناصم اولیه یک حل مسئله مبتلی بر چستجو: *** بازنمايى عمليات. * بازنمایی حالات. ** بازنمایی اهداف. بازنمایی برنامه‌هاء 

صفحه 336:
بازنمایی عملیات: ییات توسط بم‌نامه‌هايی که شرح حالت مابعد ر | تولید مي‌کنند؛ تحریف می‌شود. 

صفحه 337:
بازنمایی حالات: در حل مسئله» شرح کامل حالت اولیه داده شده است و عملیات توسنط بررنامه‌ای که شرح کامل حالت را تولید مي‌کنند. بازنمایی می‌شوند. ‎pla‏ ‎tls‏ بازنمایی‌های حالتء کامل هستند: 

صفحه 338:
بازنمایی اهداف: ف هو است. هر دو تنها دانشی که عامل در مورد هدف,دز اختياز دارد؛ تست قدف و تايع كشفكتنده است. هس اینها بر روی حالت‌ها اعمال می‌شوند تا مطلوبیت آنها مورد ازرزیابی قررار گیررد. 

صفحه 339:
بازنمایی رنامدها: در حل مسئله یک راءحل دثباله‌ای اژ عملیات است. در طول تشکیّل راء‌حل‌هاء الگوریتم‌های جستجو فقط دنباله‌های پیوسته عملیات را که از حالت اولیه آغاز می‌شوند (یا در مورد جستجوی دوطرفه» خاتمه دادن به حالت هدف ) در نظر می گیر‌ند. 

صفحه 340:
SS ‏با‎ حال ببينيم جطور اين تصميمات بن روى قابليت عامل تأثير می‌گذا رند؛ تا مسئله ساده زیر را حل کنند؛ «یک لیس شیر و یک خوشه موز و یک مته چندسرعته زا بخر»» حالت اولیه: عامل در خانه است اما بدون هیچ یک از اشیاء موردنظر. عملگ : تمام کارهایی که عامل قادر به انجام آن است. تابع کشف‌کننده: تعداد چیزهایی که هنوز به دست آورده نشده‌اند؛ 

صفحه 341:
SS ‏با‎ اولین ايده کلیدی در ورای ب‌نامه‌رینزی: «بسط دادن» بازنمایی حالات؛ اهذاف و عملیات است. الگوریتم‌های بنامه ریری از تعاریفی به زبان‌های رسمی استفاده میکنا گه محللا نطق مركب وكاؤويا تلإتُجموعداى از آن است. 

صفحه 342:
حالات و اهداف توسط محموعه‌هایتی از جملات بازنمایی می‌شوند و عملیات توسط شرح پیش‌شرطها و تأثیررات منطقی بازنمایی می‌شوند که برنامه‌ریزی را قادر می‌سازد تا ارتباطات بین حالات و عملیات را هدایت کند. 

صفحه 343:
SS ‏با‎ دومين ايده كليدى در ورای پ‌نامه‌زییزی3 این است که ببرنامه‌ریر آزاد انتتا تا عملیات را به برنامةه هت زمان که لازم باشد اضافه کند. هم‌چند که دنباله افنرایشی در خالت اولیه وجود داشته باشد. 

صفحه 344:
هیچ الرامی بم وجود ارتباط بین مرتبه برنامه رییزی و مرتبه اجرا نیست. با ساختن تصمیمات «مشخص» و «مهم» در ابتداء ببرنامه‌ریزی مي‌تواند فاکتور انشعاب را ببرای انتعخاب‌های بعدی و نیاز به پی‌جویی به عقب را رای تصمیمات اختیاری کاهش دهد. 

صفحه 345:
SS ‏با‎ سومين ايده كليدى در ورای نامه ینوی این است که بیشتم بخش‌های دنیا مستقل از دیگر بخش‌ها هستند.و این ام داشتن یک هدف عطفی را ممکن می‌سازد و می‌توان آن را با یک استراتری تیم و غلبه حل نمود. 

صفحه 346:
SS ‏با‎ الگوریتم‌های تفسیم و غلبه موشر هنستند؛ زیرا تقرریبا همیشه حل چندین زر‌سئله کوچک آسان‌تر از یک مسئله بز رگ اننتت: هس حال تقسیم و غلبته درمواردی که هزینه تر کیب راء‌حل‌های زیر‌مسائل زیاد باشد, با شکست مواجه می‌شود. بسشیاری از معماها دارای این حاصیت هستند. دلیل اینکه معماها (( گول‌زنند» هشتند» این است كه قرار داهن زيريب نامعها كنار هم كار دشوارى است. 

صفحه 347:


صفحه 348:
مسئله‌اي که ابا منطق "مر تبه ول 0101010111101 رهبا فت اعامل 10 1 ‎DODUOOOOO0O000000 > 5 > Ait‏ عامل‌ها!غلب اهیچگاه| دستر سي اک مل 1111111 حقیق ۲ امحیط اخود!11اندارندا 

صفحه 349:
سؤالات بسيار مهمى وجود دارند که عامل نمی‌تواند پاسخ طبقه‌بندی شده به آن را بیابد. بنابراين بايد تحت عدم قطميت ‎Jae Curamer taal)‏ کند؛ عدم قطعيت به علت کامل نبودن؛ و عدم صحت د رک عامل از خواص محیط ناشی می‌شود. 

صفحه 350:
مسئله کیفیت: قوانین بسیاری در دامنه کامل نیستند؛زجا: 1 )شرايط بسيار زيادى بايد دقيقاً شمازاش شونده ۳ 2 بر‌خی از شرایط ناشناخته هشتند. 

صفحه 351:
SS ‏با‎ بر‌خورد با دانش غیمرقطعی: ابزار اصلی ما بای کنار آمدن با درحات باور تئوری احتمالات خواهد بود که درجه عددی از باور را بین * و ۱ به جملات اختصاص می‌دهد. احتمالات روشی از خلاصه‌سازی عدع قطعیت را به وجود می‌آورد که از تنبلی و حهل ما ناشی می‌شوند. احتمال ۰ ببرای باور مبهمی که دارای جمللات نادرست استه و احتمال ۱ برای باور مبهمی که دارای جمله درست استه تخصیص داده می‌شود. 

صفحه 352:
جمله در حقیقت خودش هم دنت و هم نادرست است. مهم است توجه داشته باشیم که درجه باور با درجه درستی متناوت است. تئوری احتمالات تعهد 0 را همانند منطِق ایجاد مي‌کند» که حقایق در دنیا هم وجود دارند و هم ندارند. 

صفحه 353:
درجه درستی که با درجه پاور در تفباد است؛ موضو ع منطق فازی است. در منطق م‌تبه اول و گراره‌ای؛ جنله بسته به تعبيش وادنياء درست يا نادرست خواهد بود و زمانى درست است كه حقيقتى را كه به آن رجوع م ىكندء موضوع اصلى باشد. 

صفحه 354:
SS ‏با‎ عبارات احتمالی کاملاً مشابه این نوع معناها ‏ ند. به آن علت است که احتمالاتی که عامل به یک گزاره تخصیص می‌دهد به آدراکاتی گه‌تا آن لخظه ریاف گرده است بستگی دارد. در بحث استدلال غیررقطعی؛ ما آن را شاهد (عحط+ر) می نامیم. همانطور که وضعیت استلزام زمانی که جملات بیشتری به پایگاه دانش اضافه می‌شوند تفییس می‌کند» احتمالات نیز در صوررت وجود شواهد بیشتر» تفییر خواهند کرد. 

صفحه 355:
تمام عبارات احتمالی باید شواهدی را با توجه به اينکه کدام احتمال تشخیص داده شده استه تعیین کنند. همانگونه که عامل ادا کات جدیدی را درياقت می‌کند؛ ارزیابی‌های احتمالی به منظور انعکاس شاهد جدیدی» به روز د رآورده می‌شوند. 

صفحه 356:
SS ‏با‎ عدم قطعیت و تصمیمات عتلانی: حضور عدم قطعیت روش‌های تضمیم گیرری عامل را تفییتداده است. عامل منطقی عموماً هدف واحدی دارد و هم برنامقلی که امکان رسیدن به آين قظعی است را اجرا می‌کند. یک عمل می‌تواند انتخاب و یا رد شود. جه به هدف بر‌سد و چه نرسد و بدون توجه به آنچه که ‎ole >‏ انجام می‌دهند. 

صفحه 357:
این تثوري اين گونه بیان مي‌شود: هر وضعیت درجه‌ای از فایده پا سودمندی را برای یک عامل داد وعامل به حالاتی با سودمندی ‎SVL‏ رجوع خواهد سودمندی یک حالت به عاملی وابسته است که من روضاتش توسط تابع سودمندی بازنمایی شده ‏كلاد ‏تنورى سودمندى رعاي تحال ديك ران را نيس م ىكند. برالى يك عامل كاملاً منطقى است كه سودمندى بالاتى را به وضعيتى اختصاص دهد که عامل خودش از آن رنج ولی دیگران منفعت ‏می‌پس‌ند. 

صفحه 358:
Se مفروضات که به عنوان سودمندی‌ها؛ مظرح شدند با احتمالات در تتوری عمومی تصمیمات عقلانی که تنوری تصمیم گیری نامیذه می‌شود؛ تر کیب می‌شوند: ‎Otetsivn thepry=probulliybuliy trepry‏ ايده اساسى در مورد تثوری تصمیم گیرری این است که یک عامل منطقی است اگر و فقطاگس عملی را که منتهی به بالاتمرین سودمندی می‌شود, انتخاب کند. اين اصل سودمندى مورد افتظار نماکزیمم((106161)) نامیده می‌شود. 

صفحه 359:
SS ‏با‎ احتمالات و سودمندی‌ها دررارزیابی یک عمل توسط توزین سودمندی یک نتیجه ویژه و با احتمالی که پدید آورده ات ت کیب می‌شوند. طرراحى براى يك عامل تصميم كير ى نظروى: ساحتار عاملى كه از تنورى تصميم كيرى براى انتخاب عمليات استفاده م ىكند؛ در سطح انتراعی با عامل منطقى يكسان است.