فصل هشتم منطق مرتبه اول (پاورپوینت )
دسته بندي :
علوم پایه »
دانلود پاورپوینت های علمی
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 28 اسلاید
قسمتی از متن powerpoint (..ppt) :
بنام خدا
2
فصل هشتم
منطق مرتبه اول
هوش مصنوعی
مقدمه
منطق مرتبه اول يا FOL در جهت برطرف كردن مشكلات منطق گزاره اي به وجود آمده است و اساس كار بسياري از زبانهاي برنامه نويسي است.
خصوصيات منطق گزاره اي
ماهيت اعلاني و توصيفي :معناي آن به رابطه درستي بين جملات و دنياهاي ممكن وابسته است دانش و استنتاج از هم مجزا هستند و استنتاج وابسته به دامنه است
ماهيت تركيبي و سازگاري : تركيب يعني، معناي يك جمله مركب با توجه به جملات سازنده آن تعيين مي شود
سازگاري معناي هر جمله تابعي از خصوصيات اجزاي آن است
مستقل از متن : دنيا از حقايق تشكيل شده و بر خلاف زبان طبيعي ابهام در آن وجود ندارد؛ لذا عبارتي مثل ”سپس او آنرا ديد“ در آن مبهم است . در زبان طبيعي يكبار براي هميشه مي گوييم مربعهاي مجاور گودال داراي نسيم هستند ولي در زبان گزاره اي به صورت جداگانه براي هر مربع اين قانون را بيان مي كنيم
خصوصيات منطق مرتبه اول
در حاليكه منطق گزاره اي فرض مي كند دنيا از حقايق تشكيل شده است، منطق مرتبه اول (مانند زبان طبيعي) فرض مي كند دنيا شامل موارد زير است:
اشيا – روابط - توابع
دنيا در منطق مرتبه اول به جاي حقايق شامل :
اشيا: دنيا از اشيا تشكيل شده است كه به خاطر خصوصياتشان از يكديگر قابل تشخيص اند مثل : اشخاص ، منازل ، اعداد ، نظريه ها ، جنگ ها و ....
روابط: بين اشيا روابط وجود دارد كه روابطي كه يك خاصیت را به يك شي نسبت مي دهند(یکانی) یا دو یا چند شی را به هم مرتبط می کنند. مثل : رابطه برادري،قرمز،گرد بودن ، پسر بودن مثلي علي با پسر بودن – پرسپوليس با قرمز بودن رابطه دارد
توابع(حقایق): براي بيان انتساب مقدار به يك شي يا برگرداندن خصوصيت از يك شي استفاده مي شود
مثال
- Sum(1, 2, 3), Even(2), Odd(3), …
– Parent (Bob, Jim), Male(Bob), …
– Add(1, 2), LeftLegof(John), …
مهمترين تفاوت منطق گزاره اي و مرتبه اول
تعهد هستي شناسي: يعني آن چيزي كه هريك در باره ماهيت واقعيت فرض مي كنند
انواع منطق ها:
در منطق گزاره اي ، واقعيتها يا برقرارند يا برقرار نيستند در منطق مرتبه اول ، ارتباط بين اشيا يا برقرار است يا برقرار نيست
در منطق لحظه اي ،واقعيتها در زمان خاصي برقرارند يا برقرار نيستند
در منطق احتمالات با مشاهده واقعيتها ،درجه اي از اعتقاد بين 0 تا 1 به وجود آيد
در منطق فازي واقعيتها را نيز در بازه 0 تا 1 درك مي كنيم
تعهدات معرفت شناسی
(آنچه که یک عامل درباره واقعیتها اعتقاد دارد)
تعهدات هستی شناسی
(آنچه که در دنیا وجود دارد)
زبان
درست/غلط/نامعلوم
واقعیتها
منطق گزاره ای
درست/غلط/نامعلوم
واقعیتها، اشيا، روابط
منطق مرتبه اول
درست/غلط/نامعلوم
واقعیتها، اشيا، روابط، زمانها
منطق لحظه ای
درجه ای از اعتقاد بین [0,1]
واقعیتها
نظریه احتمالات
بازه ای از مقادیر معلوم
حقايق با درجه ای از درستی بین [0,1]
منطق فازی