On measuring inconsistency using maximal consistent sets

Meriem Ammoura; Badran Raddaoui; Yakoub Salhi; Brahim Oukacha

doi:10.1007/978-3-319-20807-7_24

On measuring inconsistency using maximal consistent sets

Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 MCSC, based on maximal consistent sets. In particular, it is suitable in systems where inconsistency results from multiple consistent sources. We show that our measure satisfies several rational postulates proposed in the literature. Moreover, we provide an encoding in integer linear programming for computing MCSC.

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings
Editors	Sébastien Destercke, Thierry Denoeux
Publisher	Springer Verlag
Pages	267-276
Number of pages	10
ISBN (Print)	9783319208060
DOIs	https://doi.org/10.1007/978-3-319-20807-7_24
Publication status	Published - 1 Jan 2015
Externally published	Yes
Event	13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015 - Compiègne, France Duration: 15 Jul 2015 → 17 Jul 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9161
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015
Country/Territory	France
City	Compiègne
Period	15/07/15 → 17/07/15

Access to Document

10.1007/978-3-319-20807-7_24

Cite this

Ammoura, M., Raddaoui, B., Salhi, Y., & Oukacha, B. (2015). On measuring inconsistency using maximal consistent sets. In S. Destercke, & T. Denoeux (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings (pp. 267-276). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9161). Springer Verlag. https://doi.org/10.1007/978-3-319-20807-7_24

Ammoura, Meriem ; Raddaoui, Badran ; Salhi, Yakoub et al. / On measuring inconsistency using maximal consistent sets. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings. editor / Sébastien Destercke ; Thierry Denoeux. Springer Verlag, 2015. pp. 267-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bb91633e687a44cda118776637ebb027,

title = "On measuring inconsistency using maximal consistent sets",

abstract = "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 MCSC, based on maximal consistent sets. In particular, it is suitable in systems where inconsistency results from multiple consistent sources. We show that our measure satisfies several rational postulates proposed in the literature. Moreover, we provide an encoding in integer linear programming for computing MCSC.",

author = "Meriem Ammoura and Badran Raddaoui and Yakoub Salhi and Brahim Oukacha",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015 ; Conference date: 15-07-2015 Through 17-07-2015",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-319-20807-7\_24",

language = "English",

isbn = "9783319208060",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "267--276",

editor = "S{\'e}bastien Destercke and Thierry Denoeux",

booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings",

}

Ammoura, M, Raddaoui, B, Salhi, Y & Oukacha, B 2015, On measuring inconsistency using maximal consistent sets. in S Destercke & T Denoeux (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9161, Springer Verlag, pp. 267-276, 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, Compiègne, France, 15/07/15. https://doi.org/10.1007/978-3-319-20807-7_24

On measuring inconsistency using maximal consistent sets. / Ammoura, Meriem; Raddaoui, Badran; Salhi, Yakoub et al.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings. ed. / Sébastien Destercke; Thierry Denoeux. Springer Verlag, 2015. p. 267-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9161).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On measuring inconsistency using maximal consistent sets

AU - Ammoura, Meriem

AU - Raddaoui, Badran

AU - Salhi, Yakoub

AU - Oukacha, Brahim

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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 MCSC, based on maximal consistent sets. In particular, it is suitable in systems where inconsistency results from multiple consistent sources. We show that our measure satisfies several rational postulates proposed in the literature. Moreover, we provide an encoding in integer linear programming for computing MCSC.

AB - 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 MCSC, based on maximal consistent sets. In particular, it is suitable in systems where inconsistency results from multiple consistent sources. We show that our measure satisfies several rational postulates proposed in the literature. Moreover, we provide an encoding in integer linear programming for computing MCSC.

U2 - 10.1007/978-3-319-20807-7_24

DO - 10.1007/978-3-319-20807-7_24

M3 - Conference contribution

AN - SCOPUS:84950336288

SN - 9783319208060

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 267

EP - 276

BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings

A2 - Destercke, Sébastien

A2 - Denoeux, Thierry

PB - Springer Verlag

T2 - 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015

Y2 - 15 July 2015 through 17 July 2015

ER -

Ammoura M, Raddaoui B, Salhi Y, Oukacha B. On measuring inconsistency using maximal consistent sets. In Destercke S, Denoeux T, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Proceedings. Springer Verlag. 2015. p. 267-276. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-20807-7_24

On measuring inconsistency using maximal consistent sets

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this