Measuring Inconsistency in Answer Set Programs [chapter]

Markus Ulbricht, Matthias Thimm, Gerhard Brewka
2016 Lecture Notes in Computer Science  
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
more » ... consistency measurement and developing novel ones taking non-monotonicity into account. Further, we develop new measures for this setting and investigate their properties.
doi:10.1007/978-3-319-48758-8_42 fatcat:lztvffnhiva47m645eqonmi32a