inference engine
component of the system that applies logical rules to the knowledge base to deduce new information
Lisp-based Intelligent Software Agents
production-rule system implemented in the Common Lisp Object System
Jess
programming language
Deductive classifier
type of artificial intelligence inference engine
Cyc
knowledge base and artificial intelligence project
semantic reasoner
software able to infer logical consequences from a set of asserted facts or axioms