فرمت فایل :power point( قابل ویرایش) تعداد اسلاید:41 اسلاید
قوانین استنتاج:
الگوهایی استاندارد که زنجیره ای از نتایج را برای رسیدن به هدف ایجاد میکند
1.قانون حذف استلزام یا modus ponens
2.قانون حذف عطف
3.قانون معرفی عطف
4.قانون معرفی فصل
5.قانون حذف دو منفی
6.قانون اثبات واحد یا resolution واحد
7.قانون اثبات یا resolution
•زنجیر پیشرو(FC)، اصطلاحا data-driven است.
•بصورت اتوماتیک و یک فرایند کاملاً ناآگاهانه است.
•ممکن است خیلی از استنتاج های اضافی که در راستای رسیدن به هدف نیست را انجام دهد.
•زنجیر عقب گرد (BC)، اصطلاحاً goal-driven است.
•مناسب برای حل مسائل
•پیچیدگی BC خیلی کمتر از پیچیدگی خطی است (در ارتباط با سایز پایگاه دانش)
پاورپوینت درباره عامل های منطقی- منطق گزاره‌ای