A Constructive Argumentation Framework - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

A Constructive Argumentation Framework

Souhila Kaci
  • Function : Author
  • PersonId : 934404
Yakoub Salhi


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.
Fichier principal
Vignette du fichier
kaci.pdf (803.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-01082069 , version 1 (01-06-2016)


  • HAL Id : lirmm-01082069 , version 1


Souhila Kaci, Yakoub Salhi. A Constructive Argumentation Framework. AAAI Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. pp.1070-1076. ⟨lirmm-01082069⟩
370 View
321 Download


Gmail Facebook X LinkedIn More