Raisonnement basé sur général vérités ou les certitudes dont conclusions peuvent être tirées pour des situations particulières. Peut prendre la forme de la si b et un c alors un syllogisme si un ou des règles de IF–THEN tels que ceux utilisés dans les systèmes experts. Compare l'induction.