پاورپوینت عامل های منطقی

بخشی از پاورپوینت

اسلاید 1 :

عامل هاي منطقي

اسلاید 2 :

سرفصل مطالب
عامل هاي مبتني بر دانش
محيطWumpus
منطق – مدل ها و استلزام
منطق گزاره اي (بولين)
هم ارزي، اعتبار و صدق پذيري
قوانين استنتاج و اثبات تئوري
– زنجيره استنتاج رو به جلو(forward chaining)
– زنجيره استنتاج رو به عقب(backward chaining)
– رزولوشن

اسلاید 3 :

پايگاه دانش
پايگاه دانش = مجموعه اي از جملات در يك زبان رسمي
مي توان عامل ها را در سطح دانش در نظر گرفت:
يعني، چه مي دانند، بدون توجه به چگونگي پياده سازي
• يا در سطح پياده سازي:
يعني، ساختارهاي داده اي در KB و الگوريتم هايي كه بر روي آنها كار مي كنند.

اسلاید 4 :

پايگاه دانش
براي ايجاد يك عامل ( يا سيستم هاي ديگر):
رهيافت رويه اي
رفتارهاي مطلوب را به طور مستقيم و به صورت کد برنامه رمزگذاري مي کند. در نتيجه با کاهش نقش بازنمايي و استدلال صريح به سامانه بسيار کاراتري مي انجامد.
رهيافت توصيفي
به عامل آنچه را كه نياز دارد بداند، بگو (TELL)
آنگاه عامل مي تواند از خود بپرسدكه چه عملي انجام دهد (ASK)
پاسخ ها بايد از KB پيروي کند
يک عامل زماني موفق خواهد بود که دو جزء رويه اي و توصيفي در طراحي اش ترکيب شده باشند.

اسلاید 5 :

يك عامل ساده مبتني بر دانش
عامل بايد قادر باشد:
– حالات و اعمال و . را بازنمايي كند.
– ادراك جديد دريافت كند.
– بازنمايي داخلي دنيا را بهنگام سازد.
– خواص پنهان دنيا و اعمال مناسب را نتيجه گيري كند.

اسلاید 6 :

دنيايWumpus

معيار كارآيي
– طلا 10000 + ، مرگ 1000-
محيط
– خانه هاي مجاور ومپوس داراي بو هستند
– خانه هاي مجاور چاله ها داراي نسيم هستند
– در خانه حاوي طلا، درخشش وجود دارد
– شليك ومپوس را مي كشد، اگر عامل رو به ومپوس باشد
– تنها يك شليك موثر است
– اگر در خانه عامل طلا باشد، مي تواند آنرا بردارد
– عامل مي تواند طلا را در خانه فعلي رها كند

اسلاید 7 :

دنيايWumpus

حسگرها
– نسيم، درخشش، بو، ضربه و جيغ
عملگرها
– چرخش به چپ و راست
– حركت به جلو
– برداشتن و رها كردن و شليك تير

اسلاید 8 :

مشخصات دنيايWumpus
دسترس پذير؟
خير – تنها ادراك محلي ميسر مي باشد
قطعي؟
بله– نتيجه اعمال كاملا مشخص است
اپيزوديك؟
خير – در سطح اعمال ترتيبي است
ايستا؟
بله – ومپوس و چاله ها حركت نمي كنند
گسسته؟
بله
تك- عاملي؟
بله – ومپوس اساساً يك ويژگي طبيعي است

اسلاید 9 :

كاوش دنياي Wumpus

اسلاید 17 :

منطق
منطق يك زبان رسمي براي بازنمايي دانش بطوري كه بتوان از آن نتيجه گيري نمود.
نحو (Syntax)ساختار جملات زبان را تعريف مي كند
معنا (Semantic) معناي جملات را تعريف مي كند
يعني، تعريف درستي يك جمله در يك دنيا
مثال: زبان رياضي
x + 2 ≥ y جمله
x2 + y ≥ جمله نيست
جمله x + 2 ≥ y در دنيايي با x = 7, y = 1 درست و در دنيايي با x = 0, y = 6 نادرست مي باشد.

اسلاید 18 :

ايجاب Entailment
ايجاب بدين معناست كه چيزي از چيز ديگري استنباط شود:
KB ╞ α
پايگاه دانش KB جمله α را ايجاب مي کند اگر و فقط اگر در تمام دنياهايي كه در آن KB درست است α درست باشد.
x + y =4 entails 4=x + yمثال

ايجاب رابطه ايست كه بين جملات (syntax) و بر مبناي معناي جملات (semantic) تعريف مي شود.

اسلاید 19 :

مدل ها
منطق دانان عموماً بر حسب مدل ها فكر مي كنند، كه بطور رسمي دنياهاي ساخت يافته اي مي باشند كه درستي را مي توان نسبت به آنها ارزيابي كرد.
مي گوييم m مدلي از جمله α مي باشد اگر α در m درست باشد.
M(α) مجموعه تمام مدل هاي α مي باشد.

KB ╞ α iff M(KB)  M(α)

اسلاید 20 :

ايجاب در دنياي Wumpus
موقعيت پس از دريافت ادراک تهي در [1,1]، رفتن به راست، دريافت نسيم در [2,1]
مدلهاي ممكن براي ? ها را تنها با فرض چاله ها در نظر بگيريد.
سه انتخاب بولين : . هشت مدل مختلف