A Constructive Argumentation Framework - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Constructive Argumentation Framework

Souhila Kaci
  • Fonction : Auteur
  • PersonId : 831141
  • IdRef : 066864240
Yakoub Salhi

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : lirmm-01082069 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More