Analysing inconsistent first-order knowledgebases
DOI10.1016/J.ARTINT.2007.11.006zbMATH Open1183.68614OpenAlexW2051448963MaRDI QIDQ2389648FDOQ2389648
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
knowledge basesconflict resolutionparaconsistent logicsinconsistency tolerancemeasuring inconsistencyanalysing inconsistency
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)
Cites Work
- Measuring inconsistency
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Inconsistency Tolerance
- Inconsistency Tolerance
- On the theory of inconsistent formal systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Answer sets for consistent query answering in inconsistent databases
- The value of the four values
- Classifications for inconsistent theories
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Reasoning about truth
- Applications of paraconsistency in data and knowledge bases
- Title not available (Why is that?)
- Equality and Domain Closure in First-Order Databases
- Two information measures for inconsistent sets
- Information and evidence in logic systems
- How Dirty Is Your Relational Database? An Axiomatic Approach
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (19)
- 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
- A Tableau System for Quasi-Hybrid Logic
- Stream-based inconsistency measurement
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- Inconsistency Measurement
- Relation-changing models meet paraconsistency
- On the complexity of inconsistency measurement
- Responsibility for inconsistency
- Title not available (Why is that?)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- Semantic inconsistency measures using 3-valued logics
- On the measure of conflicts: an argumentation-based framework
- Quantifying conflicts in propositional logic through prime implicates
- Approaches to measuring inconsistency for stratified knowledge bases
- Detecting inconsistencies in large first-order knowledge bases
- Policy-based inconsistency management in relational databases
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 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Reasoning with inconsistencies in hybrid MKNF knowledge bases 👍 👎
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)
