فهرست
عاملهاي مبتني بر دانش
منطق
منطق گزاره اي
الگوهاي استدلال در منطق گزاره اي
الگوريتم resolution
زنجير پيشرو و عقبگرد
قوانين استنتاج در منطق گزاره اي
قوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند
1قانون حذف استلزام يا modus ponens
2قانون حذف عطف
3قانون معرفي عطف
4قانون معرفي فصل
5قانون حذف دو منفي
6قانون اثبات واحد يا resolution واحد
7قانون اثبات يا resolution
عاملهاي منطقي
1- قانون حذف استلزام يا Modus Ponens
عبارت زير يعني از α=>β و α ميتوان β را استنتاج کرد.
مثلاً ميتوان از
(WumpusAhead ^ WumpusAlive)
(WumpusAhead ^ WumpusAlive) => Shoot
Shoot را استنتاج کرد
مقايسه زنجير پيشرو و زنجير عقبگرد
•زنجير پيشرو(FC)، اصطلاحا data-driven است.
•بصورت اتوماتيک و يک فرايند کاملاً ناآگاهانه است.
•ممکن است خيلي از استنتاج هاي اضافي که در راستاي رسيدن به هدف نيست را انجام دهد.
•زنجير عقب گرد (BC)، اصطلاحاً goal-driven است.
•مناسب براي حل مسائل
•پيچيدگي BC خيلي کمتر از پيچيدگي خطي است (در ارتباط با سايز پايگاه دانش)