Analysing inconsistent first-order knowledgebases

DOI10.1016/j.artint.2007.11.006zbMath1183.68614OpenAlexW2051448963MaRDI QIDQ2389648

Anthony Hunter, J. R. 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

conflict resolutionknowledge basesparaconsistent logicsinconsistency tolerancemeasuring inconsistencyanalysing inconsistency

Mathematics Subject Classification ID

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

Related Items

2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ Inconsistency measures for probabilistic logics ⋮ Quantifying conflicts in propositional logic through prime implicates ⋮ Responsibility for inconsistency ⋮ Stream-based inconsistency measurement ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Relation-changing models meet paraconsistency ⋮ A syntax-based approach to measuring the degree of inconsistency for belief bases ⋮ Inconsistency Measurement ⋮ On the measure of conflicts: an argumentation-based framework ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ A Tableau System for Quasi-Hybrid Logic ⋮ On the complexity of inconsistency measurement ⋮ On the expressivity of inconsistency measures ⋮ Policy-based inconsistency management in relational databases ⋮ Approaches to measuring inconsistency for stratified knowledge bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about truth
• Classifications for inconsistent theories
• The value of the four values
• Measuring inconsistency
• Applications of paraconsistency in data and knowledge bases
• Two information measures for inconsistent sets
• On the theory of inconsistent formal systems
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Equality and Domain Closure in First-Order Databases
• Information and evidence in logic systems
• Answer sets for consistent query answering in inconsistent databases
• Inconsistency Tolerance
• Inconsistency Tolerance
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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