Evaluation of verification tools for knowledge-based systems

International Journal of Human Computer Studies

Volumn 47, Issue 5, 1997, Pages 629-658

  Preece, Alun D ^a   Talbot, Stéphane ^b   Vignollet, Laurence ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b UNIVERSITÉ DE SAVOIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS PROGRAMMING;

VALIDATION TOOLS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031268655     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1997.0152     Document Type: Article

References (31)

1. AYEL, M. & LAURENT, J. -P. (1991). SACCO-SYCOJET: two different ways of verifying knowledge-based systems. In M. AYEL & J. -P. LAURENT, Eds. Validation, Verification and Test of Knowledge-Based Systems, pp. 63-76. New York: Wiley.
2. AYEL, M. & VIGNOLLET, L. (1993). SYCOJET and SACCO, two tools for verifying expert systems. International Journal of Expert Systems: Research and Applications, 6, 357-382.
3. BENBASAT, I. & DHALIWAL, J. S. (1989). A framework for the validation of knowledge acquisition. Knowledge Acquisition, 1, 215-233.
4. BENDOU, A. (1995). CT-DATAGEN: a constraint-based test data generator. Proceedings of the 3rd European Symposium on Validation and Verification of KBS (EUROV AV-95), Saint Badolph, France, pp. 19-29.
5. CHANG, C., COMBS, J. & STACHOWITZ, R. (1990). A report on the Expert systems Validation Associate (EVA). Expert Systems with Applications, 1, 217-230.
6. CISI (1993a). Transcription of the first ESTEC experts interview. Technical Note 205, ViVa, Esprit Project 6125, January.
7. CISI (1993b). Transcription of the second ESTEC experts interview. Technical Note 207, ViVa, Esprit Project 6125, February.
8. DE KLEER, J. (1986). An assumption-based truth maintenance system. Artificial Intelligence, 28, 127-162.
9. ESD (1989). Detailed Design Document, ESA GIBUS - Système Expert de Gestion de Batteries pour Satellite en Orbite Basse. ESA Report number Contract ESTEC 7957/88/NL/RE, document ESD NE 392 668.
10. ESD (1990). Final Report, ESA GIBUS - Système Expert de Gestion de Batteries pour Satellite en Orbite Basse. ESA Report number Contract ESTEC 7957/88/NL/RE, document ESD NE 408 176 Ed. 2.
11. GINSBERG, A. (1988). Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency & redundancy. In Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, pp. 585-589.
12. HAMILTON, D., KELLEY, K. & CULBERT, C. (1991). State-of-the practice in knowledge-based system verification and validation. Expert Systems with Applications, 3, 403-410.
13. KIRANI, S., ZUALKERNAN, I. A. & TSAI, W. T. (1992). Comparative evaluation of expert system testing methods. Technical report TR 92-30, Computer Science Department, University of Minnesota, Minneapolis.
14. LAURENT, J. -P. (1992). Proposals for a valid terminology in KBS validation. In B. NEUMAN, Ed. Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), pp. 829-834. New York: Wiley.
15. LOUNIS, R. (1993). Specification of ViVa Completeness Checking Tool. Technical Note 645, ViVa Esprit Project 6125, December.
16. LOUNIS, R. & AYEL, M. (1995). Completeness of KBS. Proceedings of the 3rd European Symposium on Validation and Verification of KBS (EUROVAV-95), Saint Badolph, France, pp. 31-46.
17. LOUNIS, R. & TALBOT, S. (1993). Functionalities for a completeness checking tool. Technical Note 642, ViVa, Esprit Project 6125.
18. MESEGUER, P. (1992). Incremental verification of rule-based expert systems. In B. NEUMAN, Ed. Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), pp. 840-844. New York: Wiley.
19. MILLER, L., HAYES, J. & MIRSKY, S. (1993). Evaluation of knowledge base certification methods. SAIC Report for US Nuclear Regulatory Commission and Electrical Power Research Institute NUREG/CR-6316 SAIC-95/1028, Vol. 4.
20. O'LEARY, D. (1991). Design, development and validation of expert systems: a survey of developers. In M. AYEL & J. -P. LAURENT, Eds. Validation, Verification and Test of Knowledge-Based Systems, pp. 3-20. New York: Wiley.
21. PREECE, A. (1993). A new approach to detecting missing knowledge in expert system rule bases. International Journal of Man-Machine Studies, 38, 661-688.
22. PREECE, A. & SHINGHAL, R. (1992). Verifying knowledge bases by anomaly detection: an experience report. In B. NEUMAN, Ed. Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), pp. 835-839. New York: Wiley.
23. ROUSSET, M. -C. (1988). On the consistency of knowledge bases: the COVADIS system. Computational Intelligence, 4, 166-170.
24. RUSHBY, J. & CROW, J. (1990). Evaluation of an expert system for fault detection, isolation and recovery in the manned maneuvering unit. NASA Contractor Report CR-187466, SRI International, Menlo Park, CA.
25. SHWE, M. TU, S. & FAGAN, L. (1989). Validating the knowledge base of a therapy planning system. Methods of Information in Medicine, 28, 36-50.
26. TALBOT, S. (1993a). Description of Gibus validation knowledge for SACCO and SYCOJET. Technical Note 616, ViVa, Esprit project 6125.
27. TALBOT, S. (1993b). Specification of Viva consistency checking tool. Technical Note 644, ViVa, Esprit Project 6125.
28. TALBOT, S. & VIGNOLLET, L. (1993). Functionalities for a test case generator and a consistency checking tool. Technical Note 641, ViVa, Esprit Project 6125.
29. VIGNOLLET, L. & AYEL, M. (1990). A conceptual model for construction of sets of test samples for knowledge bases. Proceedings of the 9th European Conference on Artificial Intelligence (ECAI-90), pp. 667-672, New York: Wiley.
30. VIGNOLLET, L. (1993). Specification of Viva test case environment generator. Technical Note 646, ViVa, Esprit Project 6125.
31. VIGNOLLET, L. & LELOUCHE, R. (1993). Test case generation using KBS strategy. Procedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 483-488.