Extended plausible inference
Leonard H. Friedman · International Joint Conference on Artificial Intelligence · 1981
A generalized theory of plausible inference has been developed. extended to arbitrary expressions of propositional calculus from Shortliffe and Buchanan's original MYCIN formulation. The theory represents uncertainty of belief, and invokes four rules of inference, instead of the two of standard logic. Areas of application include diagnostic problems and deciding between alternative hypotheses. The theory has been implemented in the PI system. The intended area of application for PI is the trouble-shooting of a failed spacecraft, and the solution to a simplified problem drawn from this area is described.