Measuring consistency gain and information loss in stepwise inconsistency resolution

Authors:
John Grant;Anthony Hunter
Affiliations:
Department of Mathematics, Towson University, Towson, MD and Department of Computer Science, University of Maryland, College Park, MD;Department of Computer Science, University College London, London, UK
Venue:
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Year:
2011

Citing 4
Cited 1

Measuring inconsistency in knowledge via quasi-classical models

Eighteenth national conference on Artificial intelligence
Quantifying information and contradiction in propositional logic through test actions

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Approaches to measuring inconsistent information

Inconsistency Tolerance
Measuring inconsistency in requirements specifications

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Distance-Based measures of inconsistency

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inconsistency is a usually undesirable feature of many kinds of data and knowledge. But altering the information in order to make it less inconsistent may result in the loss of information. In this paper we analyze this trade-off. We review some existing proposals and make new proposals for measures of inconsistency and information. We prove that in both cases the various measures are all pairwise incompatible. Then we introduce the concept of stepwise inconsistency resolution and show what happens in case an inconsistency resolution step applies a deletion, a weakening, or a splitting operation.