Acquiring Consistent Knowledge.

Abstract : We develop a new methodology and tool for knowledge acquisition under uncertainty. A new knowledge representation called Bayesian Knowledge Bases provides a powerful key to our approach and is well-grounded in probability theory. In this paper, we demonstrate the ease and flexibility with which knowledge acquisition can be accomplished while ensuring the consistency of the knowledge base as data is both acquired and subsequently maintained. Furthermore, we handle issues such as temporal and default reasoning. We present the MACK tool and apply it to NASA's Post-Test Diagnostics System which locates anomalies aboard the Space Shuttles' Main Engines.

[1]  Didier Dubois,et al.  A Symbolic Approach to Reasoning with Linguistic Quantifiers , 1992, UAI.

[2]  Peter G. Raeth.  Expert systems - a software methodology for modern applications , 1990 .

[3]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Eugene Santos,et al.  A Linear Constraint Satisfaction Approach to Cost-Based Abduction , 1994, Artif. Intell..

[5]  Kristian Sandahl.  Transferring knowledge from active expert to end-user environment , 1994 .

[6]  H. R. Keshavan,et al.  Introduction to the Special Section on Probabilistic Reasoning , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

[7]  Bradley W. Jackson,et al.  Applied Combinatorics With Problem Solving , 1989 .

[8]  Brian R. Gaines,et al.  Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System , 1993, IEEE Trans. Knowl. Data Eng..

[9]  Pamela Surko.  Reusable Rocket Engine Turbopump Health Management System , 1994 .

[10]  Darwyn O. Banks.  Acquiring Consistent Knowledge for Bayesian Forests. , 1995 .

[11]  Moisés Goldszmidt,et al.  Reasoning with Qualitative Probabilities Can Be Tractable , 1992, UAI.

[12]  Alex Goodall,et al.  The guide to expert systems , 1985 .

[13]  David J. Spiegelhalter,et al.  Assessment, Criticism and Improvement of Imprecise Subjective Probabilities for a Medical Expert System , 2013, UAI.

[14]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[15]  Max Henrion,et al.  Verbal Expressions for Probability Updates: How Much More Probable is "Much More Probable"? , 1989, UAI.

[16]  N. Botten,et al.  Building expert systems — A tutorial , 1990 .

[17]  Ross D. Shachter,et al.  Thinking Backward for Knowledge Acquisition , 1987, AI Mag..

[18]  Solomon Eyal Shimony,et al.  Cost-Based Abduction and MAP Explanation , 1994, Artif. Intell..

[19]  Eugene Santos,et al.  Unifying time and uncertainty for diagnosis , 1996, J. Exp. Theor. Artif. Intell..

[20]  Avelino J. Gonzalez,et al.  The engineering of knowledge-based systems: theory and practice , 1993 .

[21]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

[22]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[23]  David L. Woods,et al.  How Humans Process Uncertain Knowledge: An Introduction for Knowledge Engineers , 1987, AI Mag..

[24]  Eugene Santos,et al.  Computing with Bayesian Multi-Networks , 1993 .