Paper Info
Title
Measuring Inconsistency in Answer Set Programs.
Abstract
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 inconsistency measurement and developing novel ones taking non-monotonicity into account. Further, we develop new measures for this setting and investigate their properties.
Year
DOI
Venue
2016
10.1007/978-3-319-48758-8_42
Lecture Notes in Computer Science
Field
DocType
Volume
Data science,Data mining,Rationality,Computer science,Semantics
Conference
10021
ISSN
Citations 
PageRank 
0302-9743
1
0.34
References 
Authors
18
3
Name
Order
Citations
PageRank
Markus Ulbricht117.10
Matthias Thimm257458.87
Gerhard Brewka32529183.64