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

--- پاورپوینت شامل تصاویر میباشد ----

اسلاید 1 :

هوش مصنوعي   Artificial Intelligence

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

 منطق

 منطق گزاره اي

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

الگوريتم resolution

زنجير پيشرو و عقبگرد

اسلاید 2 :

قوانين استنتاج در منطق گزاره اي

*قوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند

.1قانون حذف استلزام يا modus ponens

.2قانون حذف عطف

.3قانون معرفي عطف

.4قانون معرفي فصل

.5قانون حذف دو منفي

.6قانون اثبات واحد يا resolution واحد

.7قانون اثبات يا resolution

اسلاید 3 :

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

هر عطف را ميتوان از ترکيب عطفي استنتاج کرد

مثال: WumpusAlive را ميتوان از جمله زير استنتاج کرد

(WumpusAhead ^ WumpusAlive)

اسلاید 4 :

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

4- قانون معرفي فصل

*هر گزارة درست را ميتوان با هر گزاره‌اي ترکيب فصلي كرد.

اسلاید 5 :

5- قانون حذف دو منفي

*اگر نقيض نقيض يك گزاره، درست باشد آن گزاره درست است.

اسلاید 6 :

6- قانون اثبات واحد يا Unit Resolution

*اگر از يك تركيب فصلي، يكي نادرست باشد، ديگري حتما درست است.

اسلاید 7 :

7- قانون اثبات يا Resolution

*نتيجه‌گيري يك استلزام از توالي دو استلزام

اسلاید 8 :

مثال: استفاده از قوانين استنتاج

 مي‌خواهيم در دنياي Wumpus، با كمك قوانين استنتاج، wumpus را پيدا كنيم. (صفحات 196 و 197 فايل pdf كتاب راسل)

اسلاید 9 :

فرم نرمال عطفي(CNF)

*جمله اي که بصورت ترکيب عطفي از ترکيبات فصلي ليترالها بيان ميشود، اصطلاحاً به فرم CNF است. در هر عبارت موجود در جمله k-CNF دقيقا k ليترال وجود دارد.

فرم نرمال هُرن(HNF)

*عبارات هُرن يا شيپوري (Horn Sentences) به يكي از دو فرم زير تعريف مي‌شوند: (ليترال مثبت را رأس و ليترالهاي منفي را بدنهعبارت گويند.)

اسلاید 10 :

الگوريتم resolution

براي اينکه نشان دهيمKB|=a , مشخص ميکنيم (KB ^ ¬a) ارضا کننده نيست

ابتدا (KB ^ ¬ a) را به CNF تبديل ميکنيم

سپس قانون resolution به عبارات کوچک حاصل اعمال ميشود

هر جفتي که شامل ليترالهاي مکمل باشد، resolution ميشود تا عبارت جديدي ايجاد گردد

اگر اين عبارت قبلا در مجموعه نباشد، به آن اضافه ميشود

فرايند تا محقق شدن يکي از شروط زير ادامه مي يابد:

  • هيچ عبارت ديگري وجود نداشته باشد که بتواند اضافه شود. در اين مورد، b استلزام a نيست
  • کاربرد قانون resolution، عبارت تهي را بدست ميدهد که در اين مورد، b استلزام a است
در متن اصلی پاورپوینت به هم ریختگی وجود ندارد. برای مطالعه بیشتر پاورپوینت آن را خریداری کنید