.png){kind=icon}
Return
Analysing inconsistent first-order knowledgebases
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2007.11.006.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a knowledgebase. This allows for the comparison of the inconsistency of diverse knowledgebases that have been represented as sets of first-order logic formulae. We motivate the approach by considering some examples of knowledgebases for representing and reasoning with ontological knowledge and with temporal knowledge. Analysing ontological knowledge (including the statements about which concepts are subconcepts of other concepts, and which concepts are disjoint) can be problematical when there is a lack of knowledge about the instances that may populate the concepts, and analysing temporal knowledge (such as temporal integrity constraints) can be problematical when considering infinite linear time lines isomorphic to the natural numbers or the real numbers or more complex structures such as branching time lines. We address these difficulties by providing algebraic measures of inconsistency in first-order knowledgebases. (C) 2007 Elsevier B.V. All rights reserved.
Keywords:
measuring inconsistency
paraconsistent logics
inconsistency tolerance
analysing inconsistency
conflict resolution
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
Cited Papers
.png){kind=icon}
ShareSave
ShareSaveShareSave
View more