دانلود فایل پاورپوینت هوش مصنوعی ( منطق مرتبه اول )

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

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

اسلاید 1 :

منطق مرتبه اول

- منطق گزاره‌اي هستي شناسي بسيارمحدودي دارد و فقط براي دنيايي که شامل حقايق باشد، تعهد قبول مي‌کند و اين امر بازنمايي مسائل ساده را نيز مشکل ساخته است.

یک حقیقت p     à    ”حسین پدر حمید است“

- منطق مرتبه اول تعهدات هستي شناسانه قوي‌تري را نسبت به منطق گزاره‌اي ايجاد مي‌کند.

þ دنیای اطراف ما شامل اشیایی است که دارای خواص جداگانه ای هستند و بین آنها روابط خاصی نیز وجود دارد

اسلاید 2 :

دنیای اطراف ما شامل:

اشياء (Objects) :  افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و ...

خواص(Properties): قرمز، گرد، غيرواقعي، رسمي...

رابطه ها (Relations) :

رابطه های يکاني يا خواص مثل قرمز، گرد، اول و ...

رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و ...

توابع (Functions) : پدر بودن، بهترين دوست، يکي بيشتر از و ...

اسلاید 3 :

ما ادعا نمي‌کنيم که دنيا واقعاً از اشياء و روابط بين آنها ساخته شده است، بلکه اين جداسازي به ما کمک مي‌کند تا بهتر در مورد دنيا قضاوت کنيم.

منطق مرتبه اول قادر است تا حقايقي را در مورد تمام اشياء جهان بيان دارد.

اگرچه منطق مرتبه اول، موجوديت اشياء و روابط آنها را ممکن مي‌سازد، اما هيچ تعهد هستي‌شناسي را براي چيزهايي مثل طبقات، زمان و حوادث قبول نمي‌کند.

منطق مرتبه اول از اين نظر جهاني است که قادر است تا هر چيزي را که قابل برنامه‌ريزي باشد، بيان کند.

اسلاید 4 :

گرامر جملات :

Sentence       AtomicSentence

                           Sentence    Connective    Sentence

                            uantifier  Variable,…   Sentence

                              Sentence

                            (Sentence)

AtomicSentence Predicate(Term ,… )         Term= Term

Term Function(Term ,…)

                             Constant

                             Variable

اسلاید 5 :

گرامر جملات (ادامه) :

 Connective  à    Ù Ú Þ Û

  uantifier  à   " $

 Constant  à   A X1 John …

 Variable  à   a v x …

 Predicate  à   Before   HasColor   Raining  …

 Function  à   MotherOf   Add  …                       

اسلاید 6 :

تعريف دقيق هر عنصر به صورت زير است:

سيمبولهاي  ثابت (Constant Symbols):

يک تفسير مي‌بايست معين کند که کدام شيء توسط کدام سيمبول ثابت در اشياء ارجاع داده مي‌شود.

هر سيمبول ثابت، دقيقاً به اسم يک شيء نامگذاري مي‌شود، اما تمام اشياء نيازي به داشتن نام ندارند و بعضي از آنها مي‌توانند چند اسم داشته باشند.

اسلاید 7 :

سيمبولهاي گزاره (Predicate Symbols):

يک تفسير معين مي‌کند که يک سيمبول گزاره به يک رابطه ويژه درمدل رجوع مي‌کند. روابط موجود بین اشیاء را مشخص می کند 

سيمبولهاي تابع (Function Symbols):

بعضي از روابط تابع هستند، بدين معنا که هر شيئ دقيقاً به شيئ ديگري توسط رابطه رجوع مي‌کند.

مثل: هر شخصی فقط یک پدر دارد

اسلاید 8 :

ترم‌ها (Terms):

يک ترم، يک عبارت منطقي است که به يک شيئ اشاره ميکند.

نمادهای ثابت ترم هستند

هميشه استفاده از نماد متمايز برای نامگذاری شیء آسان نيست

- معاني رسمي ترم‌ها بسيار صريح و روشن است.

- تفسير، يک رابطه تابعي ارجاع داده شده توسط سيمبول تابع، و اشياء ارجاع داده شده توسط واژه‌ها را اختصاص مي‌دهد که آرگومان‌هايش هستند

اسلاید 9 :

جملات اتمي (Atomic sentences):

مي‌توانيم با استفاده از ترم‌هايي براي ارجاع به اشياء و گزاره‌هايي براي ارجاع به روابط، جملات اتمي به وجود آوريم، که حقايق را پايه‌گذاري مي‌کنند.

þ جملات اتمي ، ترکيب ترمهای اشياء و گزاره روابطها

مثال: پدر ريچارد با مادر جان ازدواج کرده است         Married( Father(Richard) , Mother(John) )

اسلاید 10 :

جملات پيچيده:

ما مي‌توانيم از رابط‌هاي منطقي براي تشکيل جملات پيچيده‌تر فقط در محاسبات گزاره‌اي استفاده کنيم.

با ترکيب جملات اتميک و روابط منطقی ميتوان جملات پيچيده تری ساخت

S    ,    S1 Ù S2       ,    S1 Ú S2    ,    S1 Þ S2    ,   S1 Û S2

مثال:

Male(x) Ù mother(z,x) Ù mother(z,y) Þ brother(x,y)

Brother(Richard,John) Ù Brother(John,Richard)

 King(Richard) Ú King(John)

  King(Richard) Þ King(John)