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.