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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01082069
Contributor : Souhila Kaci <>
Submitted on : Wednesday, June 1, 2016 - 12:52:06 PM
Last modification on : Saturday, June 29, 2019 - 5:33:18 PM

File

kaci.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01082069, version 1

Citation

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

Share

Metrics

Record views

597

Files downloads

520