Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Measuring Inconsistency

[zur Übersicht]

Inconsistent information in logical specifications is a ubiquitous phenomenon in many areas such as knowledge representation, software requirements engineering, database management, and semantic web. In order to analyze inconsistency and provide hints to repair it, inconsistency measures have been developed that can quantitatively assess the severity of inconsistency. In this talk, I give an overview on recent developments in the field of inconsistency measurement. In particular, I survey the most popular approaches which are based on the analysis of minimal inconsistent sets and paraconsistent semantics. Research in inconsistency measurement is driven by rationality postulates which prescribe general desirable behaviour of measures. I discuss the compliance of measures to these rationality postulates and other quality criteria such as expressivity and computational complexity.

15.12.16 - 10:15
B 016