Title :
Managing the development and deployment of expert systems
Author :
Gearhart, Larry M.
Author_Institution :
TRW Div. of Mil. Electron. & Avionics, Dayton, OH, USA
Abstract :
The logic paths in an expert system are nonlinear, allowing coverage of a highly complex problem space in a very concise form. The author maintains that few expert systems have survived commercial application because the traditional methods of development and deployment have failed to compensate for complexity. The author examines the evaluation and validation problem within the context of the life cycle. He offers cautions and suggests a solution for a restricted class of applications. In particular, development should follow a well-known progression from prototype to working system and E&V should be formalized on the basis of scientific method and include formal verification, bench testing and field testing
Keywords :
expert systems; program verification; research and development management; bench testing; complexity; deployment; evaluation; expert systems; field testing; formal verification; life cycle; methods of development; prototype; scientific method; validation; working system; Aerospace electronics; Expert systems; Feedback; Formal verification; Laboratories; Logic; Prototypes; Software testing; System testing; Systems engineering and theory;
Conference_Titel :
Aerospace and Electronics Conference, 1989. NAECON 1989., Proceedings of the IEEE 1989 National
Conference_Location :
Dayton, OH
DOI :
10.1109/NAECON.1989.40333