# Measuring Inconsistency in Answer Set Programs

@inproceedings{Ulbricht2016MeasuringII, title={Measuring Inconsistency in Answer Set Programs}, author={Markus Ulbricht and Matthias Thimm and Gerhard Brewka}, booktitle={JELIA}, year={2016} }

We address the issue of quantitatively assessing the severity of inconsistencies in logic programs under the answer set semantics. While measuring inconsistency in classical logics has been investigated for some time now, taking the non-monotonicity of answer set semantics into account brings new challenges that have to be addressed by reasonable accounts of inconsistency measures. We investigate the behavior of inconsistency in logic programs by revisiting existing rationality postulates for…

## 13 Citations

Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics

- Computer Science
- 2018

This work investigates the behaviour of inconsistency in logic programs by revisiting existing rationality postulates for inconsistency measurement and developing novel ones taking non-monotonicity into account, and develops new measures for this setting.

Measuring Strong Inconsistency

- Computer ScienceAAAI
- 2018

This work proposes measures based on the structure of minimal strongly kb-inconsistent subsets of a knowledge base kb---a generalization of minimal inconsistency to arbitrary, possibly nonmonotonic, frameworks and investigates their behavior in a nonmonotonicity setting by revisiting existing rationality postulates.

On Minimal Corrections in ASP

- Computer ScienceRCRA@AI*IA
- 2017

It is shown that a variety of algorithms for correction set computation in propositional logic can be ported to ASP and an experimental evaluation was carried showing that having a portfolio of such algorithms is indeed of benefit.

Classifying Inconsistency Measures Using Graphs

- Computer ScienceJ. Artif. Intell. Res.
- 2019

A general framework for comparing syntactic measures of inconsistency is introduced based on the notion of an inconsistency graph for each knowledgebase and it is shown that various measures can be computed using the inconsistency graph.

Understanding Inconsistency - A Contribution to the Field of Non-monotonic Reasoning

- Computer Science
- 2019

A refined notion of inconsistency, called strong inconsistency, is developed and shown to play a similar role as minimal inconsistent subsets in propositional logic, which allows existing results to non-monotonic logics to be extended to arbitrary logics.

Towards a Unified Framework for Syntactic Inconsistency Measures

- Computer ScienceAAAI
- 2018

This paper introduces a general framework for comparing syntactic inconsistency measures that uses the construction of an inconsistency graph for each knowledgebase and introduces abstractions of the inconsistency graph and uses the hierarchy of the abstractions to classify a range of inconsistency measures.

Basic Postulates for Inconsistency Measures

- PsychologyTrans. Large Scale Data Knowl. Centered Syst.
- 2017

A set of basic postulates alternative to the core set given by Hunter and Konieczny arises, which suggest a systematic transformation to guard postulates against a certain kind of counter-examples.

## References

SHOWING 1-10 OF 35 REFERENCES

Characterising and Explaining Inconsistency in Logic Programs

- Computer ScienceLPNMR
- 2015

Overall, four different inconsistency cases are identified, and it is shown how the respective reason can be further characterised by a set of culprits using semantics which are weaker than the answer set semantics.

Measuring Inconsistency through Minimal Inconsistent Sets

- Economics, Computer ScienceKR
- 2008

This paper defines a very natural inconsistency value from these minimal inconsistent sets, and provides a complete axiomatization of this value in terms of five simple and intuitive axioms.

Linear Programs for Measuring Inconsistency in Probabilistic Logics

- Computer ScienceKR
- 2014

A new family of inconsistency measures for probabilistic knowledge bases is studied, all of which satisfy many desirable properties and can be computed by means of convex optimization techniques.

Measuring Inconsistency in Fuzzy Answer Set Semantics

- Computer ScienceIEEE Transactions on Fuzzy Systems
- 2011

This paper deals with the definition of measures of inconsistency in the residuated-logic-programming paradigm under the fuzzy answer set semantics, which provides a soft mechanism to control the amount of information inferred and, thus, controlling the inconsistencies by modifying slightly the truth values of some rules.

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language

- Computer ScienceLPNMR
- 1995

A logic programming language which supports hypothetical updates together with integrity constraints and makes use of a revision mechanism to restore consistency when an update violates some integrity constraint is proposed.

A Possibilistic Analysis of Inconsistency

- Computer ScienceSUM
- 2015

This paper explores the interest of considering the minimal inconsistent subsets in this setting, and proposes extensions based on the notions of paraconsistent completion of a possibilistic logic base and of safely supported formulas for handling formulas below the level of inconsistency.

Analysing inconsistent information using distance-based measures

- Computer ScienceInt. J. Approx. Reason.
- 2017

Approaches to measuring inconsistency for stratified knowledge bases

- Computer ScienceInt. J. Approx. Reason.
- 2014