Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System

Kontarinis, Dionysios; Bonzon, Elise; Maudet, Nicolas; Perotti, Alan; van der Torre, Leon; Villata, Serana

doi:10.1007/978-3-642-40624-9_4

Reference : Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/24926

Title :	Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
Language :	English
Author, co-author :	Kontarinis, Dionysios []
	Bonzon, Elise []
	Maudet, Nicolas []
	Perotti, Alan []
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Villata, Serana []
Publication date :	2013
Main document title :	CLIMA
Publisher :	Springer
Peer reviewed :	Yes
Audience :	International
ISBN :	978-3-642-40623-2
Event name :	CLIMA
Event date :	2013
Keywords :	[en] gents are engaged in an argumentation process ; deciding how to contribute
Abstract :	[en] When several agents are engaged in an argumentation process, they are faced with the problem of deciding how to contribute to the current state of the debate in order to satisfy their own goal, ie. to make an argument under a given semantics accepted or not. In this paper, we study the minimal changes (or target sets) on the current state of the debate that are required to achieve such a goal, where changes are the addition and/or deletion of attacks among arguments. We study some properties of these target sets, and propose a Maude specification of rewriting rules which allow to compute all the target sets for some types of goals
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/24926
DOI :	10.1007/978-3-642-40624-9_4
Other URL :	http://link.springer.com/chapter/10.1007%2F978-3-642-40624-9_4

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	empty_document.pdf		Publisher postprint	18.96 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices