Reasoning by Plausible Inference
Proceedings of the 5th Conference on Automated Deduction
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Hi-index | 0.00 |
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.