Accession Number:

ADA234793

Title:

Engineering for Artificial Intelligence Software

Descriptive Note:

Final rept.

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Report Date:

1990-12-01

Pagination or Media Count:

63.0

Abstract:

Rule based systems are being applied to tasks of increasing responsibility. This report focuses on techniques for the verification and validation of these systems. Conventional software quality assurance depends on the availability of requirements and specification documents. For rule systems, there are generally none because the capabilities of these systems evolve through a development process that is partly experimental in nature. Conventional testing techniques are considered however, such techniques do not carry over absence of errors. Methods for proving the consistency of rule systems are examined. These methods require that the rules be viewed declaratively, which may be too much of a simplification. A semantics for rule systems based on term rewriting is developed. Standard tests for confluence of term rewriting systems cannot be converted to rule systems, however, because the firing of rules can depend on the absence, as well as the presence, of elements in working memory. Finally, we consider deductive methods for the validation of rule systems.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE