@inproceedings{91485292cf4347e6bf5b0445bd5445b1,
title = "Computing inconsistency using logical argumentation",
abstract = "Measuring the degree of conflict of a knowledge base can help us to deal with inconsistencies. Several semantic and syntax based approaches have been proposed separately. In this paper, we use logical argumentation as a field to compute the inconsistency measure for propositional formulae. We show using the complete argumentation tree that our family of measures is able to express finely the inconsistency of a formula following their context and allows us to distinguish between formulae. We extend our measure to quantify the degree of inconsistency of set of formulae and give a general formulation of the inconsistency using some logical properties.",
keywords = "Argumentation theory, Measuring inconsistency, Propositional logic",
author = "Badran Raddaoui",
year = "2015",
month = jan,
day = "1",
doi = "10.5220/0005221301640172",
language = "English",
series = "ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings",
publisher = "SciTePress",
pages = "164--172",
editor = "Stephane Loiseau and Joaquim Filipe and Joaquim Filipe and Beatrice Duval and \{van den Herik\}, Jaap",
booktitle = "ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings",
note = "7th International Conference on Agents and Artificial Intelligence, ICAART 2015 ; Conference date: 10-01-2015 Through 12-01-2015",
}