Kwaliteit van Expertsystemen: Algoritmen voor Integriteits-Controle (Quality of Expert Systems: Algorithms for Integrity Control)
FYSISCH EN ELEKTRONISCH LAB TNO THE HAGUE (NETHERLANDS)
Pagination or Media Count:
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 ExtendedNIAM and an executable Prolog program, in order to establish a formal determination of the consistency and integrity of knowledgebase specifications. Keywords Netherlands, Translations.
- Computer Programming and Software