Reasoning algorithms

The methods of applying rules or logic to a set of premises to derive a conclusion.