A Constructive Argumentation Framework

Souhila Kaci 1 Yakoub Salhi 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Dung's argumentation framework is an abstract framework based on a set of arguments and a binary attack relation defined over the set. One instantiation, among many others, of Dung's framework consists in constructing the arguments from a set of propositional logic formulas. Thus an argument is seen as a reason for or against the truth of a particular statement. Despite its advantages, the argumentation approach for inconsistency handling also has important shortcomings. More precisely, in some applications what one is interested in are not so much only the conclusions supported by the arguments but also the precise explications of such conclusions. We show that argumentation framework applied to classical logic formulas is not suitable to deal with this problem. On the other hand, intuitionistic logic appears to be a natural alternative candidate logic (instead of classical logic) to instantiate Dung's framework. We develop constructive argumentation framework. We show that intuitionistic logic offers nice and desirable properties of the arguments. We also provide a characterization of the arguments in this setting in terms of minimal inconsistent subsets when intuitionistic logic is embedded in the modal logic S4.
Type de document :
Communication dans un congrès
AAAI: Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. 28th AAAI Conference on Artificial Intelligence, pp.1070-1076, 2014, 〈http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/viewFile/8175/8540〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01082069
Contributeur : Souhila Kaci <>
Soumis le : mercredi 1 juin 2016 - 12:52:06
Dernière modification le : samedi 27 janvier 2018 - 01:30:47

Fichier

kaci.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01082069, version 1

Collections

Citation

Souhila Kaci, Yakoub Salhi. A Constructive Argumentation Framework. AAAI: Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. 28th AAAI Conference on Artificial Intelligence, pp.1070-1076, 2014, 〈http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/viewFile/8175/8540〉. 〈lirmm-01082069〉

Partager

Métriques

Consultations de la notice

315

Téléchargements de fichiers

296