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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a226467.pdf


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