Accession Number : ADA226467
Title : Kwaliteit van Expertsystemen: Algoritmen voor Integriteits-Controle (Quality of Expert Systems: Algorithms for Integrity Control)
Descriptive Note : Final rept.
Corporate Author : FYSISCH EN ELEKTRONISCH LAB TNO THE HAGUE (NETHERLANDS)
Personal Author(s) : Lenting, J H ; Perre, M
Report Date : Mar 1990
Pagination or Media Count : 63
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.
Descriptors : *EXPERT SYSTEMS , *QUALITY ASSURANCE , COMPUTATIONS , NETHERLANDS , EFFICIENCY , ELECTRONICS LABORATORIES , PHYSICS , TRANSLATIONS , DETERMINATION , CONTROL , ALGORITHMS , CONSISTENCY
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE