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

فرمت : .ppt

تعداد صفحه/اسلاید : 28

حجم : 1 مگابایت

*

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

انواع منطق ها:
در منطق گزاره اي ، واقعيتها يا برقرارند يا برقرار نيستنددر منطق مرتبه اول ، ارتباط بين اشيا يا برقرار است يا برقرار نيست
در منطق لحظه اي ،واقعيتها در زمان خاصي برقرارند يا برقرار نيستند
در منطق احتمالات با مشاهده واقعيتها ،درجه اي از اعتقاد بين 0 تا 1 به وجود آيد
در منطق فازي واقعيتها را نيز در بازه 0 تا 1 درك مي كنيم
نحو و معنا در منطق مرتبه اول
....