Inference Control

From OpenCog

The process of controlling Inference via making choices regarding which Logical inference steps to take in what order.

The rules of Logical Inference only tell you how to take a single step of inference, to get from some premises to a conclusion. They don't tell you how to chain together inference steps to form an overall path leading from current knowledge to an interesting conclusion.

Two very useful overall strategies for inference control are Forward Chaining Inference and Backward Chaining Inference.