A form of logical inference that predicts a probable cause to a given observation.