Inference is the process of taking known facts and rules and using them to come to new knowledge. The simplest examples are in formal logic or mathematics, for example if we know that A>B and B>C and know that '>' is transitive, we can infer that A>C
Used in Chap. 2: page 15
Also known as inference procedures