هوش مصنوعی (عامل های منطقی - منطق گزاره ای)

صفحه 1:
هاش مصنوعي فطيانهم]!الدلمه 1 عام للا ط ولا منط ويا نطق 

صفحه 2:
Artificial Intelligence ‏هوش مصنواعی‎ ست *عاملهاي مبتني بر دانش #الگوهاي استدلال در منطق گزاره اي *الگوریتم ۲۵5۵۱۷:00 #زنجیر پیشرو و عقبگرد 

صفحه 3:
عاملهاي منطقي قوانین استنتاج در منطق گزاره اي قوانین استنتام: الكوهايي استاندارد که زنمیره اي از نتایم را بباي رسیدن به هدف ایجاد میکند 1 ۱ ۱ 1. قانون حذف استلزام یا ۵006۳5 5700105 قانون حذف عطف قانون معرفي عطف قانون معرفي فصل قانون حذف دو منفي قانون اثبات واهد یا ۲65۵|۷0 واهد قانون اثبات یا ‎resolution‏ دأ ما ظ ها نه بيه 

صفحه 4:
عاملهاي منطقي 1- قانون حذف استلزام یا ۲00۱5 #عبارت زیر يعني از 8 <-69 6 هیور ۶ را استنتاج کرد. 0,0 ‎a>‏ B ‏"مثلاً ميتوان از‎ (WumpusAhead * WumpusAlive) 9 <=(WumpusAhead * WumpusAlive) Shoot ‏را لستنتام کرد‎ 0۱ 

صفحه 5:
عاملهاي منطقي 2 قانون حذف عطف 0 # هر عطف را میتوان از ترکیب عطفي استنتاج کرد ‎a‏ مثال: ۷۷۱۰۸۳۱۵۵5۸۵۱۱۷6 ۱ میتوان از جمله زیر استنتاج کرد ‎(WumpusAhead * WumpusAlive)‏ 

صفحه 6:
عاملهاي منطقي 3- قانون معرفي عطف ‎a B‏ #كزاردهاي درست مي‌توانند با هم عطف شوند. ‎ee.‏ ‏0 مثال: از ع/ا أاككنام اناالا و 46630كنام 7 انالالا ميتوان ‎(WumpusAhead * WumpusAlive)‏ استنتاج کرد. 

صفحه 7:
عاملهاي منطقي 4- قانون معرفي فصل »هر كزارة درست را ميتوان با هر كزارداي 6 ‎ay‏ ‏تركيب فصلي كرد. 

صفحه 8:
عاملهاي منطقي 5- قانون حذف 99 منفي ‎17a‏ #اکر نقیض نقیض یك گزاره. درست باشد آن گزاره درست است. 

صفحه 9:
عاملهاي منطقي 6- قانون اثبات واهد یا ‎Unit Resolution‏ ‎a’ 0,۸‏ #اكر از يك تركيب فصلي. يكي نادرست باشد. ‎a‏ ديكري حتما درست است. 

صفحه 10:
عاملهاي منطقي 7 قانون اثبات یا ‎Resolution‏ #نتيجه‌گيري يك استلزام از توالي دو استلزام ( ,8 ده 0 2 ۲ 

صفحه 11:
عاملهاي منطقي خلاصه‌ای از قوانین استنتاجم ‎Modus Ponens or Implication-Elimination: 2 2 7, @‏ ~ © And-Elimination: = 01 \az.\....\00 1 ۱ ۸ مم لس ‎Orintroduetion‏ © ‎a VarVenVa,‏ aaa © Double-Negation Elimi © Unit Resolution: 20 2. & Resolution: a V2, aoe, PLS ‏بو‎ et, PE 2 say 

صفحه 12:
عاملهاي منطقي مثال: استفاده از قوانین استنتاجم مي‌خواهيم در دنياي ۰۷/۲۳۲015 با كمك قوانین استنتام. ۷۷۱۳0۵۱5 را بيدا كنيم. (مشمات 196 و 197 فایل 00۴ کتاب راسل) ‎av S11‏ ركد ‎Siz‏ ae Ait ‏رک‎ => AW AAW 2A 7W2) Ro: ‏جد رحکت‎ TW) AW, A ‏بللا ۸ ولا‎ ‏رک :ی‎ => ۱۷۱,۱۷ ۱۷۱۱۷ Wis 

صفحه 13:
عاملهاي منطقي فرم نرمال عطفي(0۱۱۴) #جمله اي که بصورت ترکیب عطفي از ترکیبات فصلي لیترالها بیان ميشود. اصطلاماً به فرم لاا است. در هر عبارت موجود در جمله ‎k- Es‏ دقيقا لیترال وجود دارد. Ca’ ot dad”) av” ee” did 2 . 5 فرم نرمال هرن( ۳۱۱۱۳) #عبارات هُرن يا شيپوري ‎j1 G53 w (Horn Sentences)‏ 99 فرم زیر تعریف مي‌شوند: (لیترال مثبت را رآس و ليترالهاي منفي را بدنه عبارت گویند.) ‎or BB. B= Q‏ مه "هد" اود اود 

صفحه 14:
عاملهاي منطقي الگوریتم ۲۵5۵۱۷۷10۲ > براي اینکه نشان دهیم | 8! , مشخص ميكنيم (< < ظ) ارضا کننده نیست ‎(KB < < a) iis‏ را به الا تبدیل میکنیم سپس قانون ۲650۱۱2۱0۳ به عبارات کوچک حاصل اعمال میشود *هر جفتي که شامل ليترالماي مکمل باشد. ۲65۵/۷10۳ میشود تا عبارت جديدي ایجاد گردد: *اگر این عبارت قبلا در مجموعه نباشد. به آن اضافه میشود > فرايند تا محقق شدن يكي از شروط زیر ادامه مي يابد: “هيج عبارت ديگري وجود نداشته باشد که بتواند اضافه شود. در این مورد. 0 استلزام 2 نیست *کاربرد قانون 07]ا۲65۵1. عبارت تهي را بدست ميدهد كه در اين مورد. ‏ استلزام 2 است 

صفحه 15:
عاملهای منطقی مثال: الگوریتم ‎resolution‏ مي‌خواهيم با كمك الگوریتم ۲650۱۷۲10۳ از مفروضات زیر مکم زیر را نتیجه بگیریم: مفروضات: اگر پرویز در محل جرم بوده؛ آنگاه کیومرث نیز در محل جرم بوده است. كيومرث در محل جرم نبوده اسح یا رضا در محل جرم بوده است. رضا در محل جرم نبوده است. اینطور نیست که (سهند در ممل جرم بوده است و پرویز در محل جرم نبوده است) هکم: سهند در محل جرم نبوده است. بايد نشان دهيم (73 * ظ) به نتاقض برفورد مي کند. ۶ قبل از هر چیز باید ‎ty (KB <3(‏ به فرم 21۲ تبدیل کنیم. 

صفحه 16:
عاملهای منطقی مثال: الگوریتم ‎resolution‏ پایگاه دانش زیر را با منطق گزاره اي بازنمايي کنید؛ سپس ثابت کنید «گروه نوازندگان توانست موسيقي را اجرا كند.» «اگر گروه نوازندگان نمي توانست موسيقي را اجرا کند یا از حضار به موقع پذيرايي نمي شد آنكاه ضيافت سال نو ‎oa)‏ میگردید و آقاي ‎gral‏ عصباني هي شد. اگرا این. ضیافت لغو میگردید آنگاه هي بايستي مبالغ پرداخت شده تحويل داده مي شد. هيج تحويلي انجام نشد.» 

صفحه 17:
عاملهاي منطقي مثال:الگوریتم ‎resolution‏ ‏مي‌خواهيم با الگوریتم ۲65۵/۷1/01 نشان دهیم چاله‌اي در [192] وجود ندارد. 1 -* ((62,1 "61,2) ه 81,1) - قير 2 = * بايد نشان ‎a) ero‏ * 8) به تناقض برخورد مي كند. * قبل ازهر هيز بايد (2- “> 8)!) را به فرم 1ل( تبديل كنيم. 

صفحه 18:
عاملهاي منطقي ۲ ‏به فرم‎ )68 * 7a) dyad (P24) BLA) * ‏1ه "2210-12 11-7 "11ت‎ "813 (P1,2) ۷ ‏د‎ BV Pv Pa oP. Bi) By Po PLN PoP 3) Ba Pa Bul poy BL 

صفحه 19:
عاملهاي منطقي 5 = 5 زنجیر پیشرو و عقبگرد ‎we‏ | دیدیم که عبارات هورن: ترکیب فصلي ليترالهايي است که فقط يكي از آنها مثبت است. 0 دصح كص ص عن 0 "صا .وت جرد >هر عبارت هورن را میتوان به صورت یک استلزام نوشت که مقدمه آن ترکیب عطفي ليترالهاي مثبت و تالي آن یک لیترال مثبت است ‎gg) sl‏ عبارات هورن که فقط یک لیترال مثبت دارند. عبارات معین نامیده میشوند *عبارت معيني که فاقد ليترالماي منفي باشد. گزاره اي بنام مقیقت نام دارد *عبارات معین اساس برنامه نويسي منطقي را میسازد استنتاج با عبارات هورن. از طریق الگوریتم هاي زنجیر پیشرو و زنمیر عقبگرد انجام میگیرد. 

صفحه 20:
عاملهاي منطقي [نجیر پیشرو ‎ie‏ الگوریتم زنجیر پیشرو (ماني استفاده مي شود كه حقيقت جديدي به پایگاه داده اضافه شده باشد و بخواهيم نتايج آن ۱ تولید کنیم. ‏»اين الكوريتم تمام عباراتي که مي توان از پایگاه دانش استنتام کرد را ‎P>Q 7 “oe‏ ‎LAM >P ۳‏ ‎BALM KR‏ ‎AAP > L ۷‏ ‎AABSL‏ ‎A ‎B 

صفحه 21:


صفحه 22:


صفحه 23:


صفحه 24:


صفحه 25:


صفحه 26:


صفحه 27:


صفحه 28:


صفحه 29:
عاملهاي منطقي الگوریتم زنجیر پیشرو function Forward_Chaining(KB, ‏(و‎ returns true or false local variables. count, a table, indexed by clause, initially the number of premises inferred, a table, indexed by symbol, each entry initially false ‘agenda, a list of symbols, initially the symbols known to be true while agenda is not empty do p< Pop(agenda) unless inferred{p) do inferred|p] <— true for each Horn clause c in whose premise p appears do decrement. couni{e] if count{q = 0 then do if Hean[q = q then return true Pusu(Heav|c}, agenda) return false 

صفحه 30:
عاملهاي منطقي الگوریتم عقبگرد ‎ie‏ الکوریتم زنجیر عقبکرد زماني استفاده مي‌شود که هدفي براي اثبات وجود داشته باشد. =O ۲ ‏ج<‎ ‎LAM = P > BAL+M ‏بط‎ ۸۸ ‏را ج‎ 7۷ AABSL t 

صفحه 31:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 32:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 33:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 34:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 35:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 36:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 37:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 38:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 39:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 40:
عاملهاي منطقي الکوریتم عقبکرد کامل 

صفحه 41:
عاملهاي منطقي مقایسه زنمیر پیشرو و زنجیر عقبگرد * زتجیر پیشرو()۴), اصطلاها 01-01۷6 است. ۰ بصورت اتوماتیک و یک فرایند کاملاً ناآگاهانه است. *ء ممکن است خيلي از استنتاجم هاي اضافی که در راستاي رسیدن به هدف نیست را انجام دهد. ‎٠‏ زنجير عقب كرد (80)., اصطلاها 901-0۲1۷6 است. *؟ مناسب براي حل مسائل پيچيدگي ‎GLA BC‏ کمتر از پبچيدگي خطي است (در ارتباط با سایز دائنش) 0 0