Consistency of test cases in validation of Bayesian knowledge-bases

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2004, Pages 468-475

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

^a University of Connecticut   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN KNOWLEDGE BASES (BKB); BAYESIAN NETWORKS; KNOWLEDGE VALIDATION; TEST CASES;

ERROR ANALYSIS; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; NONLINEAR PROGRAMMING; SEMANTICS;

KNOWLEDGE BASED SYSTEMS;

EID: 16244385592     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2004.42     Document Type: Conference Paper

References (24)

1. T. Bench-Capon, F. Coenen, H. Nwana, R. Paton, and M. Shave. Two aspects of the validation and verification of knowledge-based systems. IEEE Expert: Intelligent Systems and Their Applications, 8(3), June 1993.
2. S. M. Brown, E. Santos Jr., and S. B. Banks. A dynamic bayesian intelligent interface agent. In Proceedings of the Sixth International Interfaces Conference (Interfaces 97), pages 118-120, Montpellier, France, May 1997.
3. A. J. Gonzalez and V. Barr. Validation and verification of intelligent systems - what are they and how are they different? Journal of Experimental and Theoretical Artificial Intelligence, 12(4):407-420, 2000.
4. R. A. Harrington, S. B. Banks, and E. 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, pages 52-55, Toulousse, France, 1996.
5. H.-W. Kelbassa. Higher order refinement heuristics for rule validation. In Proceedings of the 15th International FLAIRS Conference, pages 211-215. AAAI Press, May 2002.
6. R. Knauf, A. J. Gonzalez, and T. Abel. A framework for validation of rule-based systems. IEEE Transactions on Systems, Man, and Cybernetics, 32(3):281-295, 2002.
7. O. J. Mengshoel and S. Delab. Knowledge validation: Principles and practice. IEEE Expert: Intelligent Systems and Their Applications, 8(3):62-68, June 1993.
8. R. M. O'Keefe, O. Balci, and E. P. Smith. Validating expert system performance. IEEE Expert, Winter 87:81-89, 1987.
9. T. J. O'Leary, M. Goul, K. E. Moffitt, and A. E. Radwan. Validating expert systems. IEEE Expert: Intelligent Systems and Their Applications, 5(3):51-58, June 1990.
10. M. L. Owoc, M. Ochmanska, and T. Gladysz. On principles of knowledge validation. In Proceedings of EUROVAV99, pages 25-35, 1999.
11. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers Inc., San Mateo, CA, 1988.
12. A. D. Preece. Validation of knowledge-based systems: The state-of-the-art in north america. Journal of Communication and Cognition - Artificial Intelligence, 11:381-413, 1994.
13. A. D. Preece. Evaluating verification and validation methods in knowledge engineering. In R. Roy, editor, Micro-Level Knowledge Management, pages 123-145. Morgan-Kaufman, 2001.
14. D. Richards and P. Compton. An alternative verification and validation technique for an alternative knowledge representation and acquisition technique. Journal of Knowledge Based Systems, 12(1999):55-73, 1999.
15. T. Rosen, S. E. Shimony, and E. Santos Jr. Reasoning with bkbs - algorithms and complexity. Annals of Mathematics and Artificial Intelligence, 40(3-4):403-425, 2004.
16. E. Santos Jr. Verification and validation of knowledge-bases under uncertainty. Data and Knowledge Engineering, 37:307-329, 2001.
17. E. Santos Jr., D. O. Banks, and S. 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, pages 23-32, 1997.
18. E. Santos Jr., S. B. Banks, S. M. Brown, and D. J. Bawcom. Identifying and handling structural incompeleteness for validation of probabilistic knowledge-bases. In Proceedings of the 11th International FLAIRS Conference, pages 506-510, 1999.
19. E. Santos Jr., H. T. Gleason, and S. B. Banks. Bval: Probabilistic knowledge-base validation. In Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems, pages 13-22, 1997.
20. E. Santos Jr. and E. S. Santos. A framework for building knowledge-bases under uncertainty. Journal of Experimental and Theoritical Artificaial Intelligence, 11:265-286, 1999.
21. E. Santos Jr., E. S. Santos, and S. E. Shimony. Implicitly preserving semantics during incremental knowledge base acquisition under uncertainty. International Journal of Approximate Reasoning, 33(1):71-94, April 2003.
22. S. Smith and A. Kandel. Verification and validation of rule-based expert systems. Boca Raton, Fla.: CRC Press, c1993., 1993.
23. S. A. Wallace and J. E. Laird. Toward automatic knowledge validation. In Proceedings of the Eleventh Conference on Computer Generated Forces and Behavioral Representation, pages 447-456, May 2002.
24. M. M. West and T. L. McCluskey. The application of machine learning tools to the validation of an air traffic control domain theory. International Journal on Artificial Intelligence Tools, 10(4):613-637, 2001.