Measuring Strong Inconsistency

Authors

  • Markus Ulbricht Leipzig University
  • Matthias Thimm University Koblenz-Landau
  • Gerhard Brewka Leipzig University

Keywords:

inconsistency handling, nonmonotonic reasoning

Abstract

We address the issue of quantitatively assessing the severity of inconsistencies in nonmonotonic frameworks. While measuring inconsistency in classical logics has been investigated for some time now, taking the nonmonotonicity into account poses new challenges. In order to tackle them, we focus on the structure of minimal strongly kb-inconsistent subsets of a knowledge base kb---a generalization of minimal inconsistency to arbitrary, possibly nonmonotonic, frameworks. We propose measures based on this notion and investigate their behavior in a nonmonotonic setting by revisiting existing rationality postulates, analyzing the compliance of the proposed measures with these postulates, and by investigating their computational complexity.

Downloads

Published

2018-04-25

How to Cite

Ulbricht, M., Thimm, M., & Brewka, G. (2018). Measuring Strong Inconsistency. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/11546

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning