Reasoning based on general truths or certainties from which inferences can be drawn for particular situations. It may take the form of the syllogism IF A and IF B THEN C, or of IF–THEN rules such as those used in expert systems. Compare induction.