Premium
Foundation and application of knowledge base verification
Author(s) -
Preece Alun D.,
Shinghal Rajjan
Publication year - 1994
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550090804
Subject(s) - knowledge base , anomaly detection , computer science , foundation (evidence) , anomaly (physics) , knowledge based systems , base (topology) , knowledge extraction , data mining , artificial intelligence , mathematics , mathematical analysis , archaeology , history , physics , condensed matter physics
Anomalies such as redundant, contradictory, and deficient knowledge in a knowledge base are symptoms of probable errors. Detecting anomalies is a well‐established method for verifying knowledge‐based systems. Although many tools have been developed to perform anomaly detection, several important issues have been neglected, especially the theoretical foundations and computational limitations of anomaly detection methods, and analyses of the utility of such tools in practical use. This article addresses these issues by presenting a theoretical foundation of anomaly detection methods, and by presenting empirical results obtained in applying one anomaly detection tool to perform verification on five real‐world knowledge‐based systems. the techniques presented apply specifically to verifying rule‐based knowledge bases without numerical certainty measures. © 1994 John Wiley & Sons, Inc.