 |
Conference papers
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
5
WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Dionysios Kontarinis 1
Mail :
Author
Alan Perotti 2
Mail :
Author
Elise Bonzon 1
Mail :
Author
Nicolas Maudet 3
Mail :
Author Employer institution : Université Pierre et Marie Curie - Paris 6 IdHAL : nicolas-maudet arXiv : https://arxiv.org/a/maudet_n_1 ORCID : https://orcid.org/0000-0002-4232-069X
Leendert van der Torre 4
Mail :
Author
Serena Villata 5
Mail :
Author IdHAL : serena-villata ORCID : https://orcid.org/0000-0003-3495-493X
1
LIPADE - EA 2517 - Laboratoire d'Informatique Paris Descartes (Centre universitaire des Saints Pères
45 rue des Saints-Peres
75270 PARIS CEDEX 06 - France)
- UPD5 - Université Paris Descartes - Paris 5 : EA 2517 (12, rue de l'École de Médecine - 75270 Paris cedex 06 - France)
2
UNITO - Università degli studi di Torino (Via Verdi, 8 10124 Torino Italie - Italy)
3
SMA - Systèmes Multi-Agents (France)
- LIP6 - Laboratoire d'Informatique de Paris 6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France)
- UPMC - Université Pierre et Marie Curie - Paris 6 (4 place Jussieu - 75005 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France)
4
ICR - Individual and Collective Reasoning (Luxembourg)
- University of Luxembourg [Luxembourg] (Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg Campus de Limpertsberg 162a, avenue de la Faïencerie L-1511 Luxembourg Campus de Belval 2, avenue de l'Université L-4365 Esch-sur-Alzette - Luxembourg)
5
WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics (France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S
CS 40121
06903 Sophia Antipolis Cedex - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
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
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00956607
Contributor : Dionysios Kontarinis <>
Submitted on : Friday, March 7, 2014 - 2:29:16 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:41 PM
Contributor : Dionysios Kontarinis <>
Submitted on : Friday, March 7, 2014 - 2:29:16 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:41 PM
Identifiers
- HAL Id : hal-00956607, version 1
Collections
UNIV-PARIS5 | UNICE | CNRS | INRIA | I3S | LIPADE | WIMMICS | LIP6 | UPMC | USPC | UNIV-COTEDAZUR | SORBONNE-UNIVERSITE | SU-SCIENCES | UP-SCIENCES
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. ⟨hal-00956607⟩
Metrics
Record views
