Abstract
The development of a knowledge-based system can be created through several alternative methodological approaches (see Buchanan et al., 1983; Grover, 1983; Alexander et al., 1986; Weitzel & Kershberg, 1989; Miller, 1990; Plant, 1992) which have been utilized to differing degrees of success. The aim of this paper is to consider one of these methodologies (Plant, 1992), and introduce a Validation and Verification Methodology to accompany the Development Methodology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander, J. H., Freiling, M. J., Shulman, S. J., Staley, J. L., Rehfuss, S., and Messick, S. L. (1986). Knowledge Level Engineering: Ontological Analysis (pp 963–968 ). Philadelphia, Pa: AAAI.
Burton, A M, Shadbolt, N. R., Hedgecock, A. P., and Rugg, G. (1987). A formal evaluation of knowledge elicitation techniques for expert systems: domain 1. In D. S. Moralee (Ed.), Research and Development in Expert Systems IV. BCS Series, Cambridge University Press.
Buchanan, B. G., Barstow, D., Bechtal, R., Bennett, J., Clancy, C., Kulikowski, C., Mitchell, T., and Waterman J. (1983). Constructing an expert system. In F. Hayes-Roth, D. A. Waterman, and D. G. Lenart (Eds.), Building Expert Systems. Addison-Wesley.
Carpenter, C. L., and Murine, G. E. (1984) Measuring Software Product Quality,Quality Progress.
Culbert, C. (1990). MAI Verification and Validation Workshop Notes Boston, Mass. FIPS (1983). Guideline for Lifecycle Validation, Verification, and Testing of Computer Software Federal Information Processing Standards Publication 101.
Gold, D. I., and Plant, R. T. (1991). Towards the formal specification of an expert system. CIS Working Paper. Coral Gables, Fl: Univ. of Miami.
Grover, M. D. (1983). A pragmatic knowledge acquisition methodology, IJCAI 8, 436–438.
Liebowitz, J. (1986). Useful Approach for Evaluating Expert Systems. Expert Systems, 3 (2), 86–96.
Miller, L. (1990). A Realistic Industrial Strength Life Cycle Model for Knowledge-Based System Development and Testing. Boston Mass: AAAI Workshop Notes.
O’Keefe, R. M., Balci, O., and Smith, E. P. (1987). Validating expert system performance, IEEE Expert, 2 (4), 81–90.
O’Leary, D. E. (1987). Validation of expert systems—with applications to auditing and accounting expert systems, Decision Sciences, 18. pp 468–486.
O’Leary, D. E. (1991). AAAI Verification and Validation Workshop Notes, San Jose, Cal.
Plant, R. T. (1992). A methodology for the development of knowledge-based systems: A rigorous approach, Communications of the ACM. (To appear)
Rushby, J. (1988). Quality Measures and Assurance for Al Software,NASA Contractor Report 4187.
Spivey, J. M. (1990). The Z Notation,Prentice Hall.
Summerville, I. (1992). Software Engineering,Addison-Wesley.
Weitzel, J. R., and Kershberg, L. (1989). Developing knowledge-based systems: Reorganising the system development life Cycle, Communications of the ACM, 32 (4), 482–490.
Welbank, M. (1983). A review of knowledge acquisition techniques for expert systems. British Telecom Research Labs. Martlesham Consultancy Services.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plant, R.T. (1993). The Validation and Verification of Complex Knowledge-Based Systems. In: Wise, J.A., Hopkin, V.D., Stager, P. (eds) Verification and Validation of Complex Systems: Human Factors Issues. NATO ASI Series, vol 110. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02933-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-02933-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08155-2
Online ISBN: 978-3-662-02933-6
eBook Packages: Springer Book Archive