Reasoning

Global consistency

Confidence routing

Confounding

Inference

Categorical reasoning

analogy reasoning

probabilistic reasoning

Inductive Reasoning

Abductive Reasoning

Conflict Resolution

Forward Chaining

symbolic reasoning

backward chaining

Automated reasoning

Non-monotonic reasoning

Circumscription

Common-sense reasoning