Logical Inference Strategies

What is Inference?

Logical inference is the computation of new sentences for a knowledge base, using some algorithm. The algorithm is usually phrased as follows:

Given KB and α, does KB ⊨ α ?

Some techniques:

• Model Checking
• Resolution
• Forward Chaining
• Backward Chaining

Inference in Propositional Logic

Model Checking

Resolution

Forward Chaining

Backward Chaining

Inference in First Order Logic

Unification

First-Order Resolution

First-Order Forward Chaining

First-Order Backward Chaining

Logic Programming

Theorem Provers

Wikipedia's category page on theorem provers