Validating expert systems

Author

O´Leary, Timothy J. ; Goul, Michael ; Moffitt, Kathleen E. ; Radwan, A. Essam

Author_Institution

Arizona State Univ., Tempe, AZ, USA

Volume

5

Issue

3

fYear

1990

fDate

6/1/1990 12:00:00 AM

Firstpage

51

Lastpage

58

Abstract

D.E. O´Leary (1987) noted the inappropriate nature of traditional software validation techniques for expert system validation and proposed a research methods approach. R.M. O´Keefe et al. (1987) established validation as an important concern in expert system research and development and presented general descriptive methodologies for qualitative and quantitative methods of formal validation. A specific formal paradigm for prototype validation that is consistent with O´Leary´s as well as O´Keefe´s general guidelines for expert system development is presented. The paradigm explicitly incorporates validation into the prototype development life cycle under constrained resources, primarily time and money. The validation approach is demonstrated and evaluated relative to an expert system prototype named Signal Control at Isolated Intersections. The paradigm´s strengths and weaknesses as well as its potential use with other types of expert system development projects are examined.<>

Keywords

expert systems; knowledge engineering; program verification; Signal Control; constrained resources; expert system development; expert system research; expert system validation; formal validation; general descriptive methodologies; prototype development life cycle; prototype validation; quantitative methods; research methods approach; specific formal paradigm; traditional software validation techniques; Control systems; Expert systems; Guidelines; Potential well; Proposals; Prototypes; Research and development; Software engineering; Standards publication; Testing;

fLanguage

English

Journal_Title

IEEE Expert

Publisher

ieee

ISSN

0885-9000

Type

jour

DOI

10.1109/64.54673

Filename

54673