On automatic knowledge validation for Bayesian knowledge bases

Data and Knowledge Engineering

Volumn 64, Issue 1, 2008, Pages 218-241

  Santos Jr , Eugene ^a   Dinh, Hang T ^b  

^a DARTMOUTH COLLEGE   (United States)

^b University of Connecticut   (United States)

Author keywords

Bayesian knowledge bases; Incomplete information; Knowledge engineering; Knowledge validation; Uncertainty

Indexed keywords

EXPERT SYSTEMS; KNOWLEDGE ENGINEERING; SET THEORY; UNCERTAINTY ANALYSIS;

BAYESIAN KNOWLEDGE-BASES; INCOMPLETE INFORMATION; KNOWLEDGE VALIDATION;

BAYESIAN NETWORKS;

EID: 36048937246     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2007.07.004     Document Type: Article

References (41)

1. Aizenstein H., Blum A., Khardon R., Kushilevitz E., Pitt L., and Roth D. On learning read-k -satisfy-j DNF. SIAM Journal on Computing 27 6 (1998) 1515-1530
2. Barr V. A quagmire of terminology: verification & validation, testing, and evaluation. Proceedings of the 14th International FLAIRS Conference (2001), AAAI Press 625-629
3. Ben-Eliyahu-Zohary R., Domshlak C., Gudes E., Liusternik N., Meisels A., Rosen T., and Shimony S.E. FlexiMine - a flexible platform for kdd research and application development. Annals of Mathematics and Artificial Intelligence 39 1-2 (2003) 175-204 (Special issue on Foundations of Artificial Intelligence VI)
4. Boutilier C., Friedman N., Goldszmidt M., and Koller D. Context-specific independence in Bayesian networks. Proceedings of the Conference on Uncertainty in Artificial Intelligence (1996), Morgan Kaufman Publishers, San Francisco, CA
5. Scott M. Brown, Eugene Santos Jr., Active user interfaces for building decision-theoretic systems, in: Proceedings of the 1st Asia-Pacific Conference on Intelligent Agent Technology, Hong Kong, 1999, pp. 244-253.
6. Brown S.M., Santos Jr. E., and Banks S.B. A dynamic bayesian intelligent interface agent. Proceedings of the Sixth International Interfaces Conference (Interfaces 97) (1997), Montpellier, France 118-120
7. Buchanan B.G., and Shortliffe E.H. Rule-based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (1984), Addison-Wesley
8. Craw S. Refinement complements verification and validation. International Journal of Human-Computer Studies 44 2 (1996) 245-256 (Special issue: Verification and Validation)
9. Craw S., and Boswell R. Representing problem-solving for knowledge refinement. Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99) (1999), AAAI, AAAI Press/MIT Press, Orlando, FL 227-234
10. Ginsberg A., Weiss S.M., and Politakis P. Automatic knowledge base refinement for classification systems. Artificial Intelligence 35 2 (1998) 197-226
11. Gonzalez A.J., and Barr V. Validation and verification of intelligent systems - what are they and how are they different?. Journal of Experimental and Theoretical Artificial Intelligence 12 4 (2000) 407-420
12. Gonzalez A.J., and Dankel D.D. The Engineering of Knowledge-Based Systems: Theory and Practice (1993), Prentice-Hall, Inc.
13. Greiner R. The complexity of theory revision. Artificial Intelligence 107 2 (1999) 175-217
14. Uma G. Gupta, IEEE Press, Los Alamitos, CA, 1990.
15. Robert A. Harrington, Sheila B. Banks, Eugene Santos Jr., GESIA: Uncertainty-based reasoning for a generic expert system intelligent user interface, in: Proceedings of the International Conference on Tools with Artificial Intelligence, Toulousse, France, 1996, pp. 52-55.
16. Jensen F.V. Bayesian Networks and Decision Graphs (2001), Springer-Verlag New York, Inc., Secaucus, NJ, USA
17. Kelbassa H.-W. Higher order refinement heuristics for rule validation. Proceedings of the 15th International FLAIRS Conference (2002), AAAI Press 211-215
18. Knauf R., Gonzalez A.J., and Abel T. A framework for validation of rule-based systems. IEEE Transactions on Systems, Man, and Cybernetics 32 3 (2002) 281-295
19. Knauf R., Philippow I., Gonazalez A.J., Jantke K.P., and Salecker D. System refinement in practice - using a formal method to modify real-life knowledge. Proceedings of the 15th International FLAIRS Conference (2002), AAAI Press 216-220
20. Knauf R., Philippow I., and Gonzalez A.J. Towards validation and refinement of rule-based systems. Journal of Experimental and Theoretical Artificial Intelligence 12 4 (2000) 421-431
21. Koppel M., Feldman R., and Segre A.M. Bias-driven revision of logical domain theories. Journal of Artificial Intelligence Research 1 (1994) 159-208
22. Ling C.X.F., and Valtorta M. Refinement of uncertain rule bases via reduction. International Journal of Approximate Reasoning 13 (1995) 95-126
23. Mengshoel O.J., and Delab S. Knowledge validation: principles and practice. IEEE Expert: Intelligent Systems and Their Applications 8 3 (1993) 62-68
24. O'Keefe R.M., Balci O., and Smith E.P. Validating expert system performance. IEEE Expert 87 (1987) 81-89
25. Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988), Morgan Kaufmann Publishers Inc., San Mateo, CA
26. Poole D. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence 64 1 (1993) 81-129
27. Rosen T., Shimony S.E., and Santos Jr. E. Reasoning with bkbs - algorithms and complexity. Annals of Mathematics and Artificial Intelligence 40 3-4 (2004) 403-425
28. Santos Jr. E., and Shimony S.E. Deterministic approximation of marginal probabilities in bayes nets. IEEE Transactions on Systems, Man, and Cybernetics 28 4 (1998) 377-393
29. Santos Jr. E., Shimony S.E., and Williams E. Hybrid algorithms for approximate belief updating in bayes nets. International Journal of Approximate Reasoning 17 2-3 (1997) 191-216
30. Santos Jr. E. Verification and validation of knowledge-bases under uncertainty. Data and Knowledge Engineering 37 (2001) 307-329
31. Eugene Santos Jr., Darwyn O. Banks, Sheila. B. Banks, MACK: A tool for acquiring consistent knowledge under uncertainty, in: Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems, 1997, pp. 23-32.
32. Eugene Santos Jr., Sheila B. Banks, Scott M. Brown, David J. Bawcom, Identifying and handling structural incompeleteness for validation of probabilistic knowledge-bases, in: Proceedings of the 11th International FLAIRS Conference, 1999, pp. 506-510.
33. Eugene Santos Jr., Hang T. Dinh, Consistency of test cases in validation of bayesian knowledge-bases, in: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), 2004, pp. 468-475.
34. Eugene Santos Jr., Howard T. Gleason, and Sheila B. Banks, BVAL: Probabilistic knowledge-base validation, in: Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems, 1997, pp. 13-22.
35. Eugene Santos Jr., Allesandro Negri, Constructing adversarial models for threat intent prediction and inferencing, in: Proceedings of the SPIE Defense and Security Symposium, Orlando, FL, 2004.
36. Santos Jr. E., and Santos E.S. A framework for building knowledge-bases under uncertainty. Journal of Experimental and Theoretical Artificial Intelligence 11 (1999) 265-286
37. Santos Jr. E., Santos E.S., and Shimony S.E. Implicitly preserving semantics during incremental knowledge base acquisition under uncertainty. International Journal of Approximate Reasoning 33 1 (2003) 71-94
38. Smith S., and Kandel A. Verification and Validation of Rule-based Expert Systems (1993), CRC Press, Boca Raton, FL
39. Valtorta M., and Loveland D. On the complexity of belief network synthesis and refinement. International Journal of Approximate Reasoning 7 3-4 (1992) 121-148
40. West M.M., and McCluskey T.L. The application of machine learning tools to the validation of an air traffic control domain theory. International Journal on Artificial Intelligence Tools 10 4 (2001) 613-637
41. Wu C.-H., and Lee S.-J. KJ3 - a tool assisting formal validation of knowledge-based systems. International Journal of Human-Computer Studies 56 5 (2002) 495-524