DocumentCode
2651166
Title
Basic Equivalence in Logic-Based Argumentation
Author
Amgoud, Leila ; Vesic, Srdjan
Author_Institution
IRIT, Toulouse, France
fYear
2011
fDate
7-9 Nov. 2011
Firstpage
613
Lastpage
620
Abstract
An argumentation system consists mainly of a set of interacting arguments and a semantics for evaluating them. In this paper, we study when two argumentation systems are equivalent. We focus on argumentation systems defined around a Tarskian logic. We propose different equivalence criteria, study their links and finally show under which conditions two systems are equivalent wrt each of the proposed criteria.
Keywords
formal logic; inference mechanisms; Tarskian logic; interacting argument; logic-based argumentation; Cognition; Coherence; Conferences; Indexes; Knowledge based systems; Semantics; Argumentation systems; Equivalence criteria;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International Conference on
Conference_Location
Boca Raton, FL
ISSN
1082-3409
Print_ISBN
978-1-4577-2068-0
Electronic_ISBN
1082-3409
Type
conf
DOI
10.1109/ICTAI.2011.97
Filename
6103388
Link To Document