expert-system

Expert System

• 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.

Backward Chaining