Title :
Basic Equivalence in Logic-Based Argumentation
Author :
Amgoud, Leila ; Vesic, Srdjan
Author_Institution :
IRIT, Toulouse, France
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;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International Conference on
Conference_Location :
Boca Raton, FL
Print_ISBN :
978-1-4577-2068-0
Electronic_ISBN :
1082-3409
DOI :
10.1109/ICTAI.2011.97