Kwaliteit van Expertsystemen: Algoritmen voor Integriteits-Controle (Quality of Expert Systems: Algorithms for Integrity Control)

Abstract

This report is the result of the third phase of the technology project Quality of Expert Systems, carried out under the commission of the Ministery of Defence, Director Defence Research and Development. Participants in the project are TNO Physics and Electronics Laboratory (FEL-TNO), University of Limburg (RL) and the Research Institute for Knowledge Systems (RIKS). This report contains the results of an investigation into algorithms for integrity control of knowledgebases, with specific interest in the computational efficiency. Algorithms for preserving consistency and integrity of th knowledgebase arre being compared. Another subject in this report is the way in which a mapping can be made between specifications made with E(xtended)NIAM and an executable Prolog program, in order to establish a formal determination of the consistency and integrity of knowledgebase specifications. Keywords: Netherlands, Translations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1990
Accession Number
ADA226467

Entities

People

  • J. H. Lenting
  • M. Perre

Organizations

  • Netherlands Organisation for Applied Scientific Research

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Databases
  • Debugging
  • Electronics
  • Electronics Laboratories
  • Engineering
  • Expert Systems
  • Software Development
  • Universities

Fields of Study

  • Engineering

Readers

  • Database Systems and Applications
  • Marine Propulsion Engineering and Naval Architecture
  • Technical Research and Report Writing.

Technology Areas

  • Microelectronics