Accession Number:

ADA247741

Title:

Validation of Knowledge Based Systems

Descriptive Note:

Final technical rept. Mar 89-Jun 90.

Corporate Author:

LOCKHEED MISSILES AND SPACE CO INC AUSTIN TX AUSTIN DIV

Personal Author(s):

Report Date:

1991-12-01

Pagination or Media Count:

132.0

Abstract:

Knowledge-based systems KBS technology has emerged from applied Artificial Intelligence as a means for modeling complex systems. KBSs have consequently become more and more integrated into large complex software systems in defense, industry, business and science. Failures in these systems could be critical, but methods for validating conventional software systems do not take into account the incremental life cycles and other pecularities of KBS engineering. The objective of this contract was to define and develop a KBS validation system. DEVA, that enables a user to check the redundancy, consistency, completeness and correctness of DARPA-Sponsored KBSS. This report describes the implementation of the DEVA modules developed under this contract a KEE translator, a rule refiner, a validation and verification of nonmonotonic reasoning module and structure, logic, extended structure, extended logic, semantics, omission, control checkers.

Descriptors:

• *VALIDATION
• *KNOWLEDGE BASED SYSTEMS
• CONTROL
• INDUSTRIES
• INTELLIGENCE
• INTERFACES
• SEMANTICS
• RULE BASED SYSTEMS
• CONSISTENCY
• ARTIFICIAL INTELLIGENCE
• TRANSLATORS
• REDUNDANCY
• LOGIC
• LIFE CYCLES
• ENGINEERING
• CYCLES
• STRUCTURES
• REASONING
• COMMERCE
• CONTRACTS
• VERIFICATION

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE