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

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

اسلاید 1 :

فصل هفتم
عاملهای منطقی

اسلاید 2 :

فهرست
عاملهای مبتنی بر دانش
منطق
منطق گزاره ای
الگوهای استدلال در منطق گزاره ای
الگوريتم resolution
زنجير پيشرو و عقبگرد

اسلاید 3 :

عاملهای مبتنی بر دانش

انسانها صرفاً به چیزهایی که میبینند واکنش نشان نمیدهند، بلکه چیزهایی میدانند و بر اساس این دانش هوشمندانه عمل میکنند.
عاملی که اینگونه عمل کند را عامل مبتنی بر دانش میگوییم.
عاملهایی که تا کنون بررسی میکردیم دانش محدودی در مورد جهان داشتند.
مؤلفه اصلي عامل مبتنی بر دانش، پايگاه دانش آن است
پايگاه دانش: مجموعه ای از جملات
جمله: زبان نمايش دانش و بيان ادعاهايي در مورد جهان
اضافه کردن جملات به پايگاه دانش و درخواست دانسته ها: TELL و ASK
هر دو ممکن است شامل استنتاج باشند.
شبیه به عامل مبتنی بر مدل است اما به دلیل وجود Tell و Ask عامل مبتنی بر دانش شبیه برنامه های معمولی نیست بلکه در سطح زبان دانش کار میکند.
اعلان دانش به پایگاه دانش
اعلانی
رویه ای

اسلاید 4 :

رویه اجرای عامل مبتنی بر دانش
عامل به پایگاه دانش میگوید چه ادراکی را دریافت کرده است.
از پایگاه دانش میپرسد چه کاری را بهتر است انجام دهد.
به پایگاه دانش میگوید واقعاً چه کاری انجام داده است.

اسلاید 5 :

دنیای دیو (WUMPUS)
قابل مشاهده کامل، قطعی، ترتيبي، ايستا، گسسته، تک عامله

معيار کارايي:
1000+ انتخاب طلا، 1000- افتادن در گودال يا خورده شدن، 1- هر مرحله، 10- برای استفاده از تير

محيط:
بوی تعفن در مربعهای همجوار WUMPUS
نسيم در مربعهای همجوار گودال
درخشش در مربع حاوی طلا
کشته شدن WUMPUS با شليک در صورت مقابله
تير فقط مستقيم عمل ميکند
برداشتن و انداختن طلا

حسگرها:
بو تعفن، نسيم، تابش، ضربه، جيغ زدن

محرکها:
گردش به چپ، گردش به راست، جلو رفتن، برداشتن، انداختن، شليک کردًن

اسلاید 6 :

کاوش در جهان WUMPUS
عامل = A
نسيم = B
درخشش،طلا = G
مربع امن = OK
گودال = P
تعفن = S
ملاقات شده = V
Wumpus = W

اسلاید 14 :

کاوش در جهان WUMPUS

اسلاید 15 :

منطق

اسلاید 16 :

α1: خانه [1,2] امن است.
α2: خانه [2,1] امن است.
پایگاه دانش = قوانين دنيای ومپوز + مشاهدات
مشاهدات: در [1,1] هیچ، حرکت به راست و احساس وزش در [2,1]
تعداد کل مدلهای ممکن برای خانه های [1,1]، [1,2] و [2,1] فقط با در نظر وجود یا عدم وجود 23 تا است.
M(KB) شامل سه حالت است.
KB، فرض α1 را ارضا نمیکند ولی α2 را ارضا میکند.

اسلاید 17 :

منطق گزاره ای
گزاره های اتمیک (P, Q, R,…): جملات ساده
جملات پيچيده با استفاده از عملگرهای منطقي، از جملات ساده تر ساخته ميشوند
نقیض
و
یا
استلزام (آنگاه)
اگر و تنها اگر (شرطی دوطرفه)

اسلاید 18 :

هم ارزیها

اسلاید 19 :

منطق گزاره ای در دنيای Wumpus

اسلاید 20 :

استدلال در منطق گزاره ای