Green, Peter E. | Search NASA

NASA NTRS1989

Validation and verification of expert systems using evidence flow graphs

This paper describes an ongoing investigation into the use of evidence flow graph techniques for performing V&V of expert systems. This method involves translating a rule-base into an evidence flow graph, a representation originally developed for real-time intelligent systems in distributed environments, and then running simulations of the evidence flow graph. Certain errors can be found during the translation process. The simulations can detect output sensitivity to rule firing order, to order of presentation of inputs, and to small changes in input values.

Becker, Lee A.↗

NASA NTRS1987

Real-time artificial intelligence issues in the development of the adaptive tactical navigator

Adaptive Tactical Navigation (ATN) is a laboratory prototype of a knowledge based system to provide navigation system management and decision aiding in the next generation of tactical aircraft. ATN's purpose is to manage a set of multimode navigation equipment, dynamically selecting the best equipment to use in accordance with mission goals and phase, threat environment, equipment malfunction status, and battle damage. ATN encompasses functions as diverse as sensor data interpretation, diagnosis, and planning. Real time issues that were identified in ATN and the approaches used to address them are addressed. Functional requirements and a global architecture for the ATN system are described. Decision making with time constraints are discussed. Two subproblems are identified; making decisions with incomplete information and with limited resources. Approaches used in ATN to address real time performance are described and simulation results are discussed.

Green, Peter E.↗