Inference engines

Components of a knowledge-based system that apply logical rules to stored knowledge in order to derive new conclusions.

Covers the component that applies rules to a knowledge store to derive conclusions. The techniques of deriving conclusions by logic in general are Automated reasoning.

Scheme

Broader terms