Localising iceberg inconsistencies

DOI10.1016/J.ARTINT.2017.02.005MaRDI QIDQ2407883zbMATH OpenOpenAlexFDO

Authors 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

inconsistency managementpropositional logicinconsistency analysisinconsistency localisation

Mathematics Subject Classification ID

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

Recommendations

• On an MCS-based inconsistency measure
• Measuring inconsistency through minimal proofs
• On the measure of conflicts: an argumentation-based framework
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Distance-based measures of inconsistency

Cites work

• scientific article; zbMATH DE number 2080021 (Why is no real title available?)
• A graded approach to database repair by context-aware distance semantics
• A textbook of belief dynamics. Theory change and database updating
• A theory of diagnosis from first principles
• Analysing inconsistent information using distance-based measures
• Classifications for inconsistent theories
• Computational Complexity
• Distance-based measures of inconsistency
• Distributed evaluation of nonmonotonic multi-context systems
• Finding explanations of inconsistency in multi-context systems
• From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
• Inconsistency handling in Datalog\(+/-\) ontologies
• Measures of inconsistency and defaults
• Measuring inconsistency
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Measuring inconsistency through minimal proofs
• On measuring inconsistency using maximal consistent sets
• On the expressivity of inconsistency measures
• On the logic of theory change: Partial meet contraction and revision functions
• On the measure of conflicts: Shapley inconsistency values
• Policy-based inconsistency management in relational databases
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• Revisiting postulates for inconsistency measures
• The complexity of facets (and some facets of complexity)
• The complexity of facets resolved

Cited in

(9)

• Handling locally stratified inconsistent knowledge bases
• On the complexity of inconsistency measurement
• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
• Strong inconsistency
• Semantic inconsistency measures using 3-valued logics
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• The interior of inconsistency in a knowledge base
• Handling and measuring inconsistency in non-monotonic logics
• Relative inconsistency measures

This page was built for publication: Localising iceberg inconsistencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407883)