TY - JOUR
T1 - Integrity and rule checking in nonmonotonic knowledge bases
AU - Antoniou, Grigoris
PY - 1996/9/1
Y1 - 1996/9/1
N2 - Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.
AB - Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.
KW - Integrity
KW - Nonmonotonic knowledge bases
KW - Rule checking
UR - http://www.scopus.com/inward/record.url?scp=0030230773&partnerID=8YFLogxK
U2 - 10.1016/0950-7051(96)01038-6
DO - 10.1016/0950-7051(96)01038-6
M3 - Article
AN - SCOPUS:0030230773
VL - 9
SP - 301
EP - 306
JO - Knowledge-Based Systems
JF - Knowledge-Based Systems
SN - 0950-7051
IS - 5
ER -