Template:Automated reasoning - English Wikipedia @ Freddythechick

v t e Knowledge representation and reasoning
Backward chaining Case-based reasoning Commonsense reasoning Forward chaining Model-based reasoning Inference engines Proof assistants Knowledge engineering
Expert systems	<section begin=Expert systems /> CLIPS Connectionist expert systems Expert systems for mortgages Legal expert systems <section end=Expert systems />
Reasoning systems	Theorem provers Constraint solvers Deductive classifiers Logic programs Procedural reasoning systems Rule engines
Ontology languages	Attempto Controlled English CycL F-logic FO(.) Knowledge Interchange Format Web Ontology Language
Theorem provers	<section begin=Theorem provers /> CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 <section end=Theorem provers />
Constraint satisfaction	<section begin=Constraint satisfaction /> Constraint programming Constraint logic programming Local consistency SMT solvers <section end=Constraint satisfaction />
Automated planning	<section begin=Automated planning and scheduling /> Motion planning Multi-agent planning Partial-order planning Preference-based planning Reactive planning State space planning <section end=Automated planning and scheduling />