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