Skip to Main content Skip to Navigation
Conference papers

Le système Sesame : Spécifier des sémantiques argumentatives

Abstract : Sesame is a tool which allows to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem : is a given set of arguments an extension under a semantics for a given argumentation framework ? The semantics which can be specified go well beyond the range of semantics already known, and the user can indeed specify brand new semantics of her own. The system then provides a logical encoding in the form of a pa-rametrized formula. When applied to a given subset of arguments of a given argumentation framework, the instantiated formula will be satisfiable if and only if the set is an extension for the framework according to the specified semantics.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01561521
Contributor : Sandra Bringay Connect in order to contact the contributor
Submitted on : Wednesday, July 12, 2017 - 9:41:30 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:33 PM
Long-term archiving on: : Thursday, January 25, 2018 - 3:02:40 AM

File

SESAME.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01561521, version 1

Citation

Philippe Besnard, Sylvie Doutre, Dominique Longin. Le système Sesame : Spécifier des sémantiques argumentatives. Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jul 2017, Caen, France. pp.1-4. ⟨hal-01561521⟩

Share

Metrics

Record views

280

Files downloads

184