Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Souhila Kaci <>
Submitted on : Wednesday, June 1, 2016 - 12:52:06 PM
Last modification on : Thursday, September 9, 2021 - 3:10:34 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads