Access pdf file.
Over the last several years, teams working on expert systems have been exploring formal approaches for belief revision and information acquisition. The formalization of major components of expert systems operation is useful for understanding and characterizing system behavior and for predicting changes with modification. Formalization also faciliatates the involvement of investigators in more well-developed disciplines such as statistics. While the use of formal methodologies for diagnostic problem solving is attractive becuase of the genrality, power, and axiomatic basis of inference, the methodologies have been criticized for making inferences that are difficult to understand and explain. I shall focus on the problem of explaining formal reasoning methodologies. The PATHFINDER system for pathology diagnosis is presented as an example of current research on aspects of the use of formal methodologies in expert systems. I will demonstrate that a formal system is amenable to controlled degradation to enhance its explanation capability.
Keywords: Knowledge representation and reasoning, medical diagnosis, understandability.
In:
E.J. Horvitz, Toward a Science of Expert Systems, In: Proceedings of the 18th Symposium on the Interface of Statistics and Computer Science, Fort Collins, Colorado, March 1986, Thomas J. Boardman, Editor, American Statistical Association: Washington, D.C., pp. 45-52.
Also, available as Stanford University Technical Report KSL-86-75, Departments of Computer Science and Medicine, 1986.
Author Email: horvitz@microsoft.com
Back to Eric Horvitz's home page.