What is (mathematical) inference?
Set of axioms (true assertions about the world)
Inference engine (set of IF-THEN inference rules) that allows you to
Deduce new assertions from the old (forward chaining)
Determine whether a given assertion is true (backward chaining)