الاستدلال, الذكاء الاصطناعي, تمثيل المعرفة, شبكات دلالية, علوم الحاسوبSNePS: نظام تمثيل المعرفة والاستدلال والتصرف
اتخاذ القرار, الأنظمة الخبيرة, البرمجة, الذكاء الاصطناعي, علوم الكمبيوترمشكلات متعددة قائمة على القواعد (Multiple Rule-Based Problems)