Form of logical inference that seeks the best conclusion that explains a set of given observations.