Verification and Validation of Knowledge-Based Systems with Formal Specifications

The Knowledge Engineering Review

Volumn 10, Issue 4, 1995, Pages 331-343

  Meseguer, Pedro ^a   Preece, Alun D ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; SPECIFICATIONS; SYSTEMS ENGINEERING;

CONCEPTUAL MODEL; FORMAL SPECIFICATIONS; VERIFICATION AND VALIDATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0029483797     PISSN: 02698889     EISSN: 14698005     Source Type: Journal    
DOI: 10.1017/S0269888900007542     Document Type: Article

References (26)

1. Batarekh, A., Preece, A.D., Bennett, A. and Grogono, P., 1991. “Specifying an expert system” Expert Systems with Applications 2 (4) 285-303.
2. Bellman, K.L., 1990. “The modeling issues inherent in testing and evaluating knowledge-based systems” Expert Systems with Applications 1 (3) 199-215.
3. Buchanan, B.G. and Shortliffe, E.H., 1984. “The problem of evaluation” In: BG Buchanan and EH Shortliffe (eds.), Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project Chapter 30, pp 571-588. Addison-Wesley.
4. Chandrasekaran, B., 1983. “On evaluating AI systems for medical diagnosis” Al Magazine 4 (2) 34-37.
5. Fensel, D. and van Harmelen, F., 1994. “A comparison of languages which operationalise and formalise KADS models of expertise” Knowledge Engineering Review 9(2) 105-146.
6. Ghezzi, C., Jazayeri, M. and Mandrioli, D., 1991. Fundamentals of Software Engineering Prentice Hall.
7. 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) Volume 2, pp 585-589.
8. Haugh, J., 1988. “The application of formal specification techniques to knowledge-based system development” In: UK IT 88 Conference Publication pp 95-98, London. University College, Information Engineering Directorate.
9. Kemmerer, R.A., 1985. “Testing formal specifications to detect design errors” IEEE Transactions on Software Engineering 11 (1) 32-43.
10. Krause, P.J., Byers, P., Hajnal, S. and Fox, J., 1990. “The use of object-oriented process specification for the verification and validation of decision support systems” In: JP Laurent and M Ayel (eds.) Verification, Validation and Test of KBS Wiley.
11. Laurent, J.P. 1992. “Proposals for a valid terminology in KBS validation” In: B Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence (ECAI92) pp 829-834, New York. Wiley.
12. Meseguer, P., 1992. “Incremental verification of rule-based expert systems” In B Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92) New York. Wiley.
13. Meseguer, P. and Verdaguer, A., 1993. “Verification of multi-level rule-based expert systems: Theory and practice” International Journal of Expert Systems: Research and Applications 6 (2) 163-192.
14. Miller, L.A., 1990. “Dynamic testing of knowledge bases using the heuristic testing approach” Expert Systems with Applications 1 (3) 249-269.
15. O’Keefe, R.M., Balci, O. and Smith, E.P., 1987. “Validating expert system performance” IEEE Expert 2 (4) 81-90.
16. Plant, R.T. and Gold, D., 1990. “Increasing expert system reliability through the use of a formal specification” In: C Culbert (ed.), AAAI-90 Workshop on Knowledge Based Systems Verification, Validation and Testing. AAAI.
17. Potter, B., Sinclair, J. and Till, D., 1991. An Introduction to Formal Specification and Z, Prentice-Hall.
18. Preece, A.D., 1990. “Towards a methodology for evaluating expert systems” Expert Systems 7 (4) 215-223.
19. Preece, A.D., Shinghal, R. and Batarekh, A., 1992. “Principles and practice in verifying rule-based systems” Knowledge Engineering Review 7 (2) 115-141.
20. Rushby, J. and 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.
21. Suwa, M., Scott, A.C. and Shortliffe, E.H., 1982. “An approach to verifying completeness and consistency in a rule-based expert system” AI Magazine 3 (4) 16-21.
22. Treur, J. and Wetter, T., editors, 1993. Formal Specification of Complex Reasoning Systems Ellis-Horwood.
23. Turing, A., 1950. “Computing machinery and intelligence” Mind 59 236-248.
24. van Harmelen, F. and Aben, M., 1995. “Applying rule-base anomalies to KADS inference structures” In: R Gamble and C Landauer (eds.), Working Notes from IJCAI-95 Workshop on Verification and Validation of Knowledge-Based Systems.
25. Wielinga, B.J., Schreiber, A.T. and Breuker, J.A., 1992. KADS: a modelling approach to knowledge engineering” Knowledge Acquisition 4(1) 5-54.
26. Zualkernan, I.A., Tsai, W-T and Kirani, S., 1992. “Testing expert systems using conventional techniques” In: Proceedings of the 16th Annual Computer Software and Applications Conference pp 320-325.