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

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

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

اسلاید 1 :

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

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

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

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

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

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

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

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

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

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

اسلاید 2 :

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

1- قانون حذف استلزام يا Modus Ponens

عبارت زير يعني از  α=>β و α  مي‌توان β را استنتاج کرد.

• مثلاً ميتوان از

(WumpusAhead ^ WumpusAlive)

و

(WumpusAhead ^ WumpusAlive) => Shoot

Shoot را استنتاج کرد

اسلاید 3 :

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

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

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

(WumpusAhead ^ WumpusAlive)

اسلاید 4 :

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

گزاره‌هاي درست مي‌توانند با هم عطف شوند.

مثال: از WumpusAlive و WumpusAhead  ميتوان

(WumpusAhead ^ WumpusAlive)

را استنتاج كرد.

اسلاید 5 :

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

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

اسلاید 6 :

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

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

اسلاید 7 :

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

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

اسلاید 8 :

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

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

اسلاید 9 :

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

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

اسلاید 10 :

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

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

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

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