Validation of Knowledge Based Systems

Abstract

Knowledge-based systems (KBS) technology has emerged from applied Artificial Intelligence as a means for modeling complex systems. KBS's 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 KBS'S. 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1991
Accession Number
ADA247741

Entities

Organizations

  • Lockheed Martin Missiles and Space

Tags

Communities of Interest

  • Air Platforms
  • Biomedical
  • C4I
  • Ground and Sea Platforms
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Battle Management
  • Command And Control
  • Computational Science
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Databases
  • Engineering
  • Expert Systems
  • Knowledge Based Systems
  • Lisp Programming Language
  • Operating Systems
  • Translators

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy