On the Characterization of Inconsistency: A Prime Implicates Based Framework

Said Jabbour; Yue Ma; Badran Raddaoui; Lakhdar Sais

doi:10.1109/ICTAI.2014.31

On the Characterization of Inconsistency: A Prime Implicates Based Framework

Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais

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

Abstract

Measuring inconsistency is recognized as an important issue for handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named dominance, rarely satisfied by syntactic measures. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.

Original language	English
Title of host publication	Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014
Publisher	IEEE Computer Society
Pages	146-153
Number of pages	8
ISBN (Electronic)	9781479965724
DOIs	https://doi.org/10.1109/ICTAI.2014.31
Publication status	Published - 12 Dec 2014
Externally published	Yes
Event	26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 - Limassol, Cyprus Duration: 10 Nov 2014 → 12 Nov 2014

Publication series

Name	Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Volume	2014-December
ISSN (Print)	1082-3409

Conference

Conference	26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Country/Territory	Cyprus
City	Limassol
Period	10/11/14 → 12/11/14

Keywords

Handling Inconsistency
Prime Implicates
Propositional Logic

Access to Document

10.1109/ICTAI.2014.31

Cite this

Jabbour, S., Ma, Y., Raddaoui, B., & Sais, L. (2014). On the Characterization of Inconsistency: A Prime Implicates Based Framework. In Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014 (pp. 146-153). Article 6984467 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2014-December). IEEE Computer Society. https://doi.org/10.1109/ICTAI.2014.31

@inproceedings{c6eecd24d4b84bc1858f93dff5872276,

title = "On the Characterization of Inconsistency: A Prime Implicates Based Framework",

abstract = "Measuring inconsistency is recognized as an important issue for handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named dominance, rarely satisfied by syntactic measures. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.",

keywords = "Handling Inconsistency, Prime Implicates, Propositional Logic",

author = "Said Jabbour and Yue Ma and Badran Raddaoui and Lakhdar Sais",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 ; Conference date: 10-11-2014 Through 12-11-2014",

year = "2014",

month = dec,

day = "12",

doi = "10.1109/ICTAI.2014.31",

language = "English",

series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",

publisher = "IEEE Computer Society",

pages = "146--153",

booktitle = "Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014",

}

Jabbour, S, Ma, Y, Raddaoui, B & Sais, L 2014, On the Characterization of Inconsistency: A Prime Implicates Based Framework. in Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014., 6984467, Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, vol. 2014-December, IEEE Computer Society, pp. 146-153, 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, 10/11/14. https://doi.org/10.1109/ICTAI.2014.31

On the Characterization of Inconsistency: A Prime Implicates Based Framework. / Jabbour, Said; Ma, Yue; Raddaoui, Badran et al.
Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, 2014. p. 146-153 6984467 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2014-December).

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

TY - GEN

T1 - On the Characterization of Inconsistency

T2 - 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014

AU - Jabbour, Said

AU - Ma, Yue

AU - Raddaoui, Badran

AU - Sais, Lakhdar

PY - 2014/12/12

Y1 - 2014/12/12

N2 - Measuring inconsistency is recognized as an important issue for handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named dominance, rarely satisfied by syntactic measures. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.

AB - Measuring inconsistency is recognized as an important issue for handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named dominance, rarely satisfied by syntactic measures. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.

KW - Handling Inconsistency

KW - Prime Implicates

KW - Propositional Logic

U2 - 10.1109/ICTAI.2014.31

DO - 10.1109/ICTAI.2014.31

M3 - Conference contribution

AN - SCOPUS:84943234256

T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

SP - 146

EP - 153

BT - Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014

PB - IEEE Computer Society

Y2 - 10 November 2014 through 12 November 2014

ER -

Jabbour S, Ma Y, Raddaoui B, Sais L. On the Characterization of Inconsistency: A Prime Implicates Based Framework. In Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society. 2014. p. 146-153. 6984467. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). doi: 10.1109/ICTAI.2014.31

On the Characterization of Inconsistency: A Prime Implicates Based Framework

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this