Automated reasoning

Techniques by which software derives conclusions from stated facts and rules using logic, without step-by-step human guidance.

Covers the techniques by which software derives conclusions by logic. The component that applies rules to a knowledge store inside a knowledge-based system is Inference engines.

Scheme

• Technologies and capabilities

Broader terms

• Knowledge representation and reasoning