Analysing inconsistent first-order knowledgebases

DOI10.1016/J.ARTINT.2007.11.006MaRDI QIDQ2389648zbMATH OpenOpenAlexFDO

Authors Anthony Hunter, John Grant

Publication date 17 July 2009

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2007.11.006

zbMATH Keywords

knowledge basesconflict resolutionparaconsistent logicsinconsistency tolerancemeasuring inconsistencyanalysing inconsistency

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Detecting inconsistencies in large first-order knowledge bases
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• scientific article; zbMATH DE number 569773
• scientific article; zbMATH DE number 809138
• scientific article; zbMATH DE number 1759375
• Reasoning with inconsistencies in hybrid MKNF knowledge bases

Cites work

• scientific article; zbMATH DE number 1696845 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2080023 (Why is no real title available?)
• Answer sets for consistent query answering in inconsistent databases
• Applications of paraconsistency in data and knowledge bases
• Classifications for inconsistent theories
• Equality and Domain Closure in First-Order Databases
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Inconsistency Tolerance
• Inconsistency Tolerance
• Information and evidence in logic systems
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring inconsistency
• On the theory of inconsistent formal systems
• Reasoning about truth
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The preservation of truth
• The value of the four values
• Two information measures for inconsistent sets

Cited in

(21)

• Inconsistency measurement
• On the expressivity of inconsistency measures
• Inconsistency measures for probabilistic logics
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Stream-based inconsistency measurement
• On Temporal Properties of Knowledge Base Inconsistency
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
• Relation-changing models meet paraconsistency
• On the complexity of inconsistency measurement
• Responsibility for inconsistency
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• scientific article; zbMATH DE number 6902558 (Why is no real title available?)
• Semantic inconsistency measures using 3-valued logics
• On the measure of conflicts: an argumentation-based framework
• Quantifying conflicts in propositional logic through prime implicates
• On quasi-inconsistency and its complexity
• Approaches to measuring inconsistency for stratified knowledge bases
• A tableau system for quasi-hybrid logic
• Detecting inconsistencies in large first-order knowledge bases
• Policy-based inconsistency management in relational databases

This page was built for publication: Analysing inconsistent first-order knowledgebases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389648)