On an MCS-based inconsistency measure - Archive ouverte HAL
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2017

On an MCS-based inconsistency measure

Résumé

An important problem in knowledge-based systems is inconsistency handling. This problem has recently been attracting a lot of attention in AI community. In this paper, we tackle the problem of evaluating the amount of conflicts in knowledge bases, and provide a new fine grained inconsistency measure, denoted |MCC, based on maximal consistent sets (MCSes). The main idea consists in quantifying the inconsistency of a knowledge base by considering that all its consistent pieces of information are possible. Furthermore, we provide an epistemic interpretation of our inconsistency measure using the multimodal logic S5. Then, we show that |MCC satisfies several state-of-the-art postulates. Moreover, we provide an encoding in integer linear programming for computing our inconsistency measure, which is defined from the set of MCSes. We also propose a Partial Max-SAT encoding, which allows us to avoid the computation of the MCSes. Finally, we provide a comparison between |MCC and two related existing inconsistency measures

Dates et versions

hal-01696100 , version 1 (30-01-2018)

Identifiants

Citer

Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui. On an MCS-based inconsistency measure. International Journal of Approximate Reasoning, 2017, 80, pp.443 - 459. ⟨10.1016/j.ijar.2016.06.004⟩. ⟨hal-01696100⟩
72 Consultations
0 Téléchargements

Altmetric

Partager

More