Using Rewriting Rules to Compute Successful Modifications of an Argumentation System

Dionysios Kontarinis 1 Alan Perotti 2 Elise Bonzon 1 Nicolas Maudet 3 Leendert Van Der Torre 4 Serena Villata 5
1 LIPADE - Laboratoire d'Informatique Paris Descartes
2 UNITO - Università degli studi di Torino
3 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
4 ICR - Individual and Collective Reasoning
5 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : In this article, we define a procedure which computes the minimal change of an argumentation system that achieves some goal. We first study the properties of such minimal changes. Then we present a procedure based on a set of rewriting rules, and we analyse its properties.
keyword : Argumentation
Type de document :
Communication dans un congrès
Septièmes Journées d'Intelligence Artificielle Fondamentale, Jun 2013, Aix-en-Provence, France. pp.180-189, 2013
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00956607
Contributeur : Dionysios Kontarinis <>
Soumis le : vendredi 7 mars 2014 - 02:29:16
Dernière modification le : mardi 30 mai 2017 - 01:17:19

Identifiants

  • HAL Id : hal-00956607, version 1

Collections

UNICE | UNIV-PARIS5 | INRIA | I3S | LIPADE | WIMMICS | UPMC | LIP6 | USPC

Citation

Dionysios Kontarinis, Alan Perotti, Elise Bonzon, Nicolas Maudet, Leendert Van Der Torre, et al.. Using Rewriting Rules to Compute Successful Modifications of an Argumentation System. Septièmes Journées d'Intelligence Artificielle Fondamentale, Jun 2013, Aix-en-Provence, France. pp.180-189, 2013. <hal-00956607>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

293

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD