موسومة بـ “knowledge-base”

المنطق وتمثيل المعرفة

الاستدلال على ما يجب أن يكون صادقاً: النماذج والاستلزام محلولةً بالعدّ الشامل، والسلامة والاكتمال، ولماذا ينفد التعبير من منطق القضايا، وأين يلتقطه منطق الرتبة الأولى.