TY - GEN
T1 - Multi-sorted argumentation
AU - Rienstra, Tjitze
AU - Perotti, Alan
AU - Villata, Serena
AU - Gabbay, Dov M.
AU - Van Der Torre, Leendert
PY - 2012
Y1 - 2012
N2 - In the theory of abstract argumentation, the acceptance status of arguments is normally determined for the complete set of arguments at once, under a single semantics. However, this is not always desired. In this paper, we extend the notion of an argumentation framework to a multi-sorted argumentation framework, and we motivate this extension using an example which considers practical and epistemic arguments. In a multi-sorted argumentation framework, the arguments are partitioned into a number of cells, where each cell is associated with a semantics under which its arguments are evaluated. We prove the properties of the proposed framework, and we demonstrate our theory with a number of examples. Finally, we relate our theory to the theory of modal fibring of argumentation networks.
AB - In the theory of abstract argumentation, the acceptance status of arguments is normally determined for the complete set of arguments at once, under a single semantics. However, this is not always desired. In this paper, we extend the notion of an argumentation framework to a multi-sorted argumentation framework, and we motivate this extension using an example which considers practical and epistemic arguments. In a multi-sorted argumentation framework, the arguments are partitioned into a number of cells, where each cell is associated with a semantics under which its arguments are evaluated. We prove the properties of the proposed framework, and we demonstrate our theory with a number of examples. Finally, we relate our theory to the theory of modal fibring of argumentation networks.
UR - http://www.scopus.com/inward/record.url?scp=84859618962&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-29184-5_14
DO - 10.1007/978-3-642-29184-5_14
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
SN - 9783642291838
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 231
BT - Theory and Applications of Formal Argumentation - First International Workshop, TAFA 2011, Revised Selected Papers
T2 - 1st International Workshop on Theory and Applications of Formal Argumentation, TAFA 2011
Y2 - 16 July 2011 through 17 July 2011
ER -