Antoniou, G.: Integrity and rule checking in nonmonotonic knowledge bases (1996)
0.00
0.0023797948 = product of:
0.014278769 = sum of:
0.014278769 = weight(_text_:in in 7275) [ClassicSimilarity], result of:
0.014278769 = score(doc=7275,freq=8.0), product of:
0.059380736 = queryWeight, product of:
1.3602545 = idf(docFreq=30841, maxDocs=44218)
0.043654136 = queryNorm
0.24046129 = fieldWeight in 7275, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
1.3602545 = idf(docFreq=30841, maxDocs=44218)
0.0625 = fieldNorm(doc=7275)
0.16666667 = coord(1/6)
- Abstract
- Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Introduces various methods for detecting such anomalies. Discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. Describes these anomalies in a formal way, and presents the generic verfication methods to detect them
