Localising iceberg inconsistencies

DOI10.1016/j.artint.2017.02.005zbMath1419.68142OpenAlexW2594537163MaRDI QIDQ2407883

Glauber De Bona, Anthony Hunter

Publication date: 6 October 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/1549754/1/aij17.pdf

zbMATH Keywords

propositional logicinconsistency managementinconsistency analysisinconsistency localisation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Relative inconsistency measures ⋮ Strong inconsistency ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity

Cites Work

• Unnamed Item
• Unnamed Item
• On the expressivity of inconsistency measures
• Finding explanations of inconsistency in multi-context systems
• On the measure of conflicts: Shapley inconsistency values
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Measures of inconsistency and defaults
• The complexity of facets (and some facets of complexity)
• A theory of diagnosis from first principles
• The complexity of facets resolved
• Classifications for inconsistent theories
• Measuring inconsistency
• A graded approach to database repair by context-aware distance semantics
• Analysing inconsistent information using distance-based measures
• A textbook of belief dynamics. Theory change and database updating
• Policy-based inconsistency management in relational databases
• Revisiting Postulates for Inconsistency Measures
• On Measuring Inconsistency Using Maximal Consistent Sets
• On the logic of theory change: Partial meet contraction and revision functions
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• Weighted Electoral Control
• Computational Complexity
• Distance-Based Measures of Inconsistency
• Measuring Inconsistency through Minimal Proofs
• From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back