مرجع دانلود پاورپوینت های درسی

حجم فایل : 626.0 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 28
بنام خدا 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,...