Expert system validation through knowledge base refinement

International Journal of Intelligent Systems

Volumn 11, Issue 7, 1996, Pages 429-462

  Meseguer, Pedro ^a   Verdaguer, Albert ^b  

^a CSIC   (Spain)

^b Hosp Consorci Sanitari de Mataro   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; ERROR CORRECTION; USER INTERFACES;

KNOWLEDGE BASE REFINEMENT; SOFTWARE PACKAGE IMPROVER; SOFTWARE VALIDATION;

EXPERT SYSTEMS;

EID: 0030192540     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1098-111x(199607)11:7<429::aid-int2>3.0.co;2-o     Document Type: Article

References (28)

1. J. Rushby, Quality Measures and Assurance for AI Software, SRI-CSL-88-7R, SRI Project 4616, 1988.
2. P. Krause, M. O'Neil, and A. Glowinski, "Can we formally specify a medical decision support system?," Proceedings of the European Workshop on Verification, Validation and Testing of KBS (EUROVAV-91), 1191, pp. 247-258.
3. T.A. Nguyen, W.A. Pekins, T.J. Laffey, and D. Pecora, "Checking an expert system knowledge base for consistency and completeness," Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), 1985, pp. 375-378.
4. A. Ginsberg, "Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency & redundancy," Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88). 1988, pp. 585-589.
5. M.C. Rousset, "On the consistency of knowledge bases: The Covadis system," Proceedings of the 8th European Conference on Artificial Intelligence (ECAI-88), 1988, pp. 79-84.
6. C.L. Chang, J.B. Combs, and R.A. Stachowitz, "A report on the Expert Systems Validation Associate (EVA)," Expert Syst. Appl. 1(3), 217-230, (1990).
7. A.D. Preece and R. Shinghal, "Verifying knowledge bases by anomaly detection: An experience report," Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 1992, pp. 835-839.
8. P. Meseguer, "Verification on multi-level rule-based expert systems," Proceedings of the Ninth National Conference on Artificial Intelligence, (AAAI-91), 1991, pp. 323-328.
9. G.R. Prakash, E. Subramanian, and H.N. Mahabala, "A methodology for systematic verification of OPS5-based AI applications," Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), 1991, pp. 3-8.
10. B.G. Buchanan and E.H. Shortliffe, Rule-Based Expert Systems, The MYCIN Experiments of the Stanford Heuristic Programming Project, Buchanan and Shortliffe Eds., Addision-Wesley, Reading, MA, 1984.
11. J. McDermott, "Rl's formative years," AI Mag., 2(2), 21-29 (1981).
12. R.M. O'Keefe, O. Balci, and E.P. Smith, "Validating expert system performance," IEEE Expert, Winter 87, 81-89 (1987).
13. L.A. Miller, "Dynamic testing of knowledge bases using the heuristic testing ap-proach," Expert Syst. Appl. 1(3), 249-269 (1990).
14. C.L. Bellman, "The modelling issues inherent in testing and evaluating knowledge-based systems," Expert Syst. Appl. 1(3), 199-216, (1990).
15. P.G. Politakis and S.M. Weiss, "Using empirical analysis to refine expert system knowledge bases," Artif. In tell., 22(1), 23-48 (1984).
16. A. Ginsberg, S.M. Weiss, and P.G. Politakis, "SEEK2: A generalized approach to automatic knowledge base refinement," Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), 1985, pp. 367-374.
17. D.C. Wilkins and B.C. Buchanan, "On debugging rule sets when reasoning under uncertainty," Proceeding-s of the 5th National Conference on Artificial Intelligence, (AAAI-86), 1986, pp. 448-454.
18. S. Craw and D. Sleeman, "Automating the Refinement of Knowledge-Based Systems," Proceedings of the 9th European Conference on Artificial Intelligence, (ECAI-90), 1990, pp. 167-172.
19. A. Ginsberg, "Theory revision via prior operationalization," Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), 1988, pp. 590-595.
20. D. Ourston and R.J. Mooney, "Changing the rules: A comprehensive approach to theory refinement," Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), 1990, pp. 815-820.
21. T. Cain, "The DUCTOR: A theory revision system for propositional domains," Proceedings of the 8th International Workshop on Machine Learning, 1991, pp. 485-489.
22. A Verdaguer, "PNEUMON-IA: Desenvolupament i validacio d'un sistema expert d'ajuda al diagnostic medic," Ph.D. dissertation. Universitat Autonoma de Barcelona, 1989.
23. C. Sierra, "MILORD: Arquitectura multinivell per a sistemes experts en classificacio," Ph.D. dissertation, Universitat Politecntca de Catalunya, 1989.
24. L. Godo, R. Lopez de Mántaras, C. Sierra, and A. Verdaguer, "The architecture and the management of linguistically expressed uncertainty," Int. J. Intell. Syst. 4(4), 471-501 (1989).
25. J. Gaschnig, P. Klahr, H. Pople, E. Shortliffe, and A. Terry, "Evaluation of expert systems: Issues and case studies," in Building Expert Systems, Hayes-Roth, Waterman, and Lenat, Eds., Addision-Wesley, Reading, MA, 1983.
26. P. Meseguer and A. Verdaguer, "Verification of multi-level rule-based expert systems: Theory and practice," Int. J. Expert Syst.: Res. & Appl. 3(2), 163-192 (1993).
27. A. Verdaguer, A. Patak, J.J. Sancho, C. Sierra, and F. Sanz, "Validation of the medical expert system PNEUMON-IA," Computers and Blamed. Res. 25, 511-526 (1992).
28. M. Valtorta, "Some results on the computational complexity of refining confidence factors," Int. J. Approx. Reasoning, 5(2), 123-148 (1991).