Responsibility for inconsistency
From MaRDI portal
Publication:891774
DOI10.1016/j.ijar.2015.04.007zbMath1344.68232OpenAlexW2070948974MaRDI QIDQ891774
Publication date: 17 November 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2015.04.007
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items
The degree of conflict between formulas in an inconsistent knowledge base, Measuring inconsistency with constraints for propositional knowledge bases, Analysing inconsistent information using distance-based measures, Quantifying conflicts in propositional logic through prime implicates, A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite, Handling and measuring inconsistency in non-monotonic logics, On the measure of conflicts: an argumentation-based framework, Intrinsic approaches to prioritizing diagnoses in multi-context systems, Forgetting-Based Inconsistency Measure
Cites Work
- Unnamed Item
- Unnamed Item
- Inconsistency measures for probabilistic logics
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- On the measure of conflicts: Shapley inconsistency values
- Measuring and repairing inconsistency in probabilistic knowledge bases
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Measures of inconsistency and defaults
- A theory of diagnosis from first principles
- Classifications for inconsistent theories
- Measuring inconsistency
- Two information measures for inconsistent sets
- Approaches to measuring inconsistency for stratified knowledge bases
- From inconsistency handling to non-canonical requirements management: a logical perspective
- Analysing inconsistent first-order knowledgebases
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- What causes a system to satisfy a specification?
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Measuring Inconsistency through Minimal Proofs
- Inconsistency Tolerance