-
Knowledge Base: Represents facts about the world.
-
Inference Engine: An automated reasoning system.
-
Theorem: A statement that can be demonstrated to be true by accepted mathematical operations and arguments.
-
Axiom: A statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
-
Antecedent: Left hand side of a rule.
-
Consequent: right hand side of a rule.
-
Backward Chaining: In backward chaining the system looks at possible conclusions and works backward to see if they might be true.