لا توجد تعريفات بديلة
مجال فرعي في الذكاء الاصطناعي يهتم بترميز المعرفة البشرية في أنظمة الحاسب لاستخلاص استنتاجات منطقية.
Knowledge Representation and Reasoning (KRR)
