A report on the Expert Systems Validation Associate (EVA)

摘要

The Expert Systems Validation Associate (EVA) is a validation system which has been under development at the Lockheed Artificial Intelligence Center since 1986. The goal of EVA is to build an integrated set of generic tools to validate any knowledge-based system written in any expert system shell such as ART, CLIPS, OPS5, KEE and other. EVA contains tools such as the structure checker, extended structure checker, logic checker, extended logic checker, semanticschecker, omission checker, rule refiner, control checker, behavior verifier, test case generator, uncertainty checker, rule satisfiability checker, and model-based verifier. In this paper, we describe these tools which have been and are being developed.