پاورپوینت فصل هشتم - منطق مرتبه اول

پاورپوینت فصل هشتم - منطق مرتبه اول (pptx) 28 اسلاید

دسته بندی : پاورپوینت

نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )

تعداد اسلاید: 28 اسلاید

قسمتی از متن PowerPoint (.pptx) :

بنام خدا 2 فصل هشتم منطق مرتبه اول هوش مصنوعی مقدمه منطق مرتبه اول يا FOL در جهت برطرف كردن مشكلات منطق گزاره اي به وجود آمده است و اساس كار بسياري از زبانهاي برنامه نويسي است. خصوصيات منطق گزاره اي ماهيت اعلاني و توصيفي :معناي آن به رابطه درستي بين جملات و دنياهاي ممكن وابسته است دانش و استنتاج از هم مجزا هستند و استنتاج وابسته به دامنه است ماهيت تركيبي و سازگاري : تركيب يعني، معناي يك جمله مركب با توجه به جملات سازنده آن تعيين مي شود سازگاري معناي هر جمله تابعي از خصوصيات اجزاي آن است مستقل از متن : دنيا از حقايق تشكيل شده و بر خلاف زبان طبيعي ابهام در آن وجود ندارد؛ لذا عبارتي مثل ”سپس او آنرا ديد“ در آن مبهم است .در زبان طبيعي يكبار براي هميشه مي گوييم مربعهاي مجاور گودال داراي نسيم هستند ولي در زبان گزاره اي به صورت جداگانه براي هر مربع اين قانون را بيان مي كنيم خصوصيات منطق مرتبه اول در حاليكه منطق گزاره اي فرض مي كند دنيا از حقايق تشكيل شده است، منطق مرتبه اول (مانند زبان طبيعي) فرض مي كند دنيا شامل موارد زير است: اشيا – روابط - توابع دنيا در منطق مرتبه اول به جاي حقايق شامل : اشيا:دنيا از اشيا تشكيل شده است كه به خاطر خصوصياتشان از يكديگر قابل تشخيص اندمثل : اشخاص ، منازل ، اعداد ، نظريه ها ، جنگ ها و .... روابط:بين اشيا روابط وجود دارد كه روابطي كه يك خاصیت را به يك شي نسبت مي دهند(یکانی) یا دو یا چند شی را به هم مرتبط می کنند. مثل : رابطه برادري،قرمز،گرد بودن ، پسر بودنمثلي علي با پسر بودن – پرسپوليس با قرمز بودن رابطه دارد توابع(حقایق):براي بيان انتساب مقدار به يك شي يا برگرداندن خصوصيت از يك شي استفاده مي شود مثال - Sum(1, 2, 3), Even(2), Odd(3), … – Parent (Bob, Jim), Male(Bob), … – Add(1, 2), LeftLegof(John), … مهمترين تفاوت منطق گزاره اي و مرتبه اول تعهد هستي شناسي:يعني آن چيزي كه هريك در باره ماهيت واقعيت فرض مي كنند انواع منطق ها: در منطق گزاره اي ، واقعيتها يا برقرارند يا برقرار نيستنددر منطق مرتبه اول ، ارتباط بين اشيا يا برقرار است يا برقرار نيست در منطق لحظه اي ،واقعيتها در زمان خاصي برقرارند يا برقرار نيستند در منطق احتمالات با مشاهده واقعيتها ،درجه اي از اعتقاد بين 0 تا 1 به وجود آيد در منطق فازي واقعيتها را نيز در بازه 0 تا 1 درك مي كنيم نحو و معنا در منطق مرتبه اول اين مدلها مجموعه از اشيا و روابط را نمايش مي دهند مدلهاي منطق مرتبه اول مثال: پنج شیء( پای چپ جان،پای چپ ریچارد،تاج،جان، ریچارد) دورابطه دودويي(1-تاج و جان)(2-جان و ریچارد) سه رابطه يگانی (خواص:شخص بودن،پادشاه بودن ،تاج بودن) يک تابع (خروجی یک شی)يگانی به نام پای چپ (KingJohn, ثابت ها ( … , 2 (Brother, >,…) مسندها (Sqrt, LeftLegOf,…) توابع (x, y, a, b,…) متغيرها رابط هاي منطقي (¬, ⇒, ∧, ∨,⇔) تساوي ( = ) سورها ( ∃ ,∀) ساختار جملات در منطق مرتبه اول Constants KingJohn, 2,... Predicates Brother, >,... Functions Sqrt, LeftLegOf,... Variables x, y, a, b,... Connectives , , , ,  Equality = Quantifiers ,  انواع نمادها براي بيان اشيا،روابط و توابع منتطق مرتبه اول نمادهاي ثابت: به يك شي خاص در مدل رجوع مي كنند – A, B, John,… نمادهاي مسندي (خبر دهنده):به يك رابطه ويژه در مدل اشاره مي كند: – Brother, Mother,… نمادهاي تابعي: يعني هر شي توسط رابطه دقيقا به يك شيء ديگر رجوع مي كند(شروع با حرف بزرگ) – MotherOf, Cos, LeftLegOF,… اصطلاحات (ترم ها) هر اصطلاح يک عبارت منطقی است که به شيئ اشاره مي کند. نمادهای ثابت، اصطلاح هستند. تخصیص یک نماد مشخص برای هر شیء همیشه کار درستی نيست، باید از نماد های تابعی نیز استفاده کنیم. مثال:پای چپ پای پادشاه John به جاي نماد جديد ( LeftLeg(John جملات بسيط(جملات اتميك) جملات بسیط: یک جمله بسیط از یک نماد مسند که به دنبال آن فهرستی از اصطلاحات درون پرانتز می آید، تشکیل می شود. Predicate(Term1 , … , Termn ) Married(FatherOf(Richard), MotherOF(John)) Brother(KingJohn,RichardTheLionheart ) جملات مركب می توان از رابطهای منطقی(مثل ^ يا v يا ....) برای ساخت جملات پیچیده تر استفاده کرد، درست همان گونه که در حسابان گزاره ای داشتیم. S, S1  S2, S1  S2, S1  S2, S1  S2 Brother(LeftLeg(Richard),John) Brother(Richard,John)  Brother(John,Richard) King(Richard)  King(John) King(Richard)  King(John) سورها سورها کمک مي کنند تا به جای برشماری اشيا با نام، خواص مجموعه کل اشيا را بيان کنیم. سور عمومی؛  “برای همه” سور وجودی؛  “ وجود دارد به طوريكه...”