Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
DOI10.1016/J.IJAR.2014.06.003zbMATH Open1309.68181OpenAlexW2158104146MaRDI QIDQ459042FDOQ459042
Paul Miller, Weiru Liu, Kevin McAreavey
Publication date: 8 October 2014
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2014.06.003
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Cites Work
- Theory and Applications of Satisfiability Testing
- The complexity of facets resolved
- Measuring inconsistency
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Title not available (Why is that?)
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Title not available (Why is that?)
- Consistent subsets of inconsistent systems: structure and behaviour
- Measuring Inconsistency through Minimal Proofs
- Inconsistency Tolerance
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- Solving satisfiability problems with preferences
- On the measure of conflicts: Shapley inconsistency values
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- Nonmonotonic reasoning: From complexity to algorithms
- Minimally inconsistent LP
- Title not available (Why is that?)
- Sharp thresholds of graph properties, and the $k$-sat problem
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Random \(k\)-sat: the limiting probability for satisfiability for moderately growing \(k\)
- Using local search to find MSSes and MUSes
- Classifications for inconsistent theories
- Approximating minimal unsatisfiable subformulae by means of adaptive core search
- Local-search extraction of mUSes
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Eliminating Redundant Clauses in SAT Instances
- Title not available (Why is that?)
- Does This Set of Clauses Overlap with at Least One MUS?
- Formula Preprocessing in MUS Extraction
- A Reasoning Platform Based on the MI Shapley Inconsistency Value
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Cited In (20)
- Title not available (Why is that?)
- On the expressivity of inconsistency measures
- Measuring inconsistency with many-valued logics
- Stream-based inconsistency measurement
- Title not available (Why is that?)
- Inconsistency Measurement
- Measuring inconsistency with constraints for propositional knowledge bases
- Forgetting-Based Inconsistency Measure
- On the complexity of inconsistency measurement
- Analysing inconsistent first-order knowledgebases
- Responsibility for inconsistency
- Title not available (Why is that?)
- A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
- On the measure of conflicts: an argumentation-based framework
- Symbolic Possibilistic Logic: Completeness and Inference Methods
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
- OuterCount: a first-level solution-counter for quantified Boolean formulas
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- Detecting inconsistencies in large first-order knowledge bases
- A Measure of Inconsistency for Simple Decision Systems over Ontological Graphs
Uses Software
This page was built for publication: Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q459042)
