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