On the measure of conflicts: Shapley inconsistency values

A Hunter, S Konieczny - Artificial Intelligence, 2010 - Elsevier
There are relatively few proposals for inconsistency measures for propositional belief bases.
However inconsistency measures are potentially as important as information measures for …

[PDF][PDF] Measuring Inconsistency through Minimal Inconsistent Sets.

A Hunter, S Konieczny - KR, 2008 - cdn.aaai.org
In this paper, we explore the links between measures of inconsistency for a belief base and
the minimal inconsistent subsets of that belief base. The minimal inconsistent subsets can …

Measuring consistency gain and information loss in stepwise inconsistency resolution

J Grant, A Hunter - European Conference on Symbolic and Quantitative …, 2011 - Springer
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 …

[PDF][PDF] Shapley Inconsistency Values.

A Hunter, S Konieczny - KR, 2006 - cdn.aaai.org
There are relatively few proposals for inconsistency measures for propositional belief bases.
However inconsistency measures are potentially as important as information measures for …

Analysing inconsistent first-order knowledgebases

J Grant, A Hunter - Artificial Intelligence, 2008 - Elsevier
It is well-known that knowledgebases may contain inconsistencies. We provide a framework
of measures, based on a first-order four-valued logic, to quantify the inconsistency of a …

A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure

I Kuhlmann, A Gessler, V Laszlo, M Thimm - International Conference on …, 2022 - Springer
We propose an algorithm based on satisfiability problem (SAT) solving for determining the
contension inconsistency degree in propositional knowledge bases. In addition, we present …

[PDF][PDF] Inconsistency measurement thanks to mus decomposition

S Jabbour, Y Ma, B Raddaoui - … of the 2014 international conference on …, 2014 - ifaamas.org
Bearing contradictory knowledge is often unavoidable among multi-agents. Measuring
inconsistency degrees of knowledge bases of different agents facilitates the understanding …

Comparison of SAT-based and ASP-based algorithms for inconsistency measurement

I Kuhlmann, A Gessler, V Laszlo, M Thimm - arXiv preprint arXiv …, 2023 - arxiv.org
We present algorithms based on satisfiability problem (SAT) solving, as well as answer set
programming (ASP), for solving the problem of determining inconsistency degrees in …

[PDF][PDF] A MIS partition based framework for measuring inconsistency

S Jabbour, Y Ma, B Raddaoui, L Sais… - … Conference on the …, 2016 - cdn.aaai.org
In this paper, we propose a general framework, both parameterized and parameter-free, for
defining a family of fine-grained inconsistency measures for propositional knowledge bases …

MaxSAT-Based inconsistency measurement

A Niskanen, I Kuhlmann, M Thimm, M Järvisalo - ECAI 2023, 2023 - ebooks.iospress.nl
Inconsistency measurement aims at obtaining a quantitative assessment of the level of
inconsistency in knowledge bases. While having such a quantitative assessment is …