TY - JOUR

T1 - Modal and temporal argumentation networks

AU - Barringer, H.

AU - Gabbay, D. M.

AU - Woods, J.

PY - 2012/9/1

Y1 - 2012/9/1

N2 - The traditional Dung networks depict arguments as atomic and study the relationships of attack between them. This can be generalised in two ways. One is to consider various forms of attack, support, feedback, etc. Another is to add content to nodes and put there not just atomic arguments but more structure, e.g. proofs in some logic or simply just formulas from a richer language. This paper offers to use temporal and modal language formulas to represent arguments in the nodes of a network. The suitable semantics for such networks is Kripke semantics. We also introduce a new key concept of usability of an argument. This is the beginning of a continuing research for adding contents to the nodes of an argumentation network. This research will allow us to address notions like what does it exactly mean for a node to attack another or what does it mean for a network to be consistent or can we give proper proof rules to manipulate networks, and more.

AB - The traditional Dung networks depict arguments as atomic and study the relationships of attack between them. This can be generalised in two ways. One is to consider various forms of attack, support, feedback, etc. Another is to add content to nodes and put there not just atomic arguments but more structure, e.g. proofs in some logic or simply just formulas from a richer language. This paper offers to use temporal and modal language formulas to represent arguments in the nodes of a network. The suitable semantics for such networks is Kripke semantics. We also introduce a new key concept of usability of an argument. This is the beginning of a continuing research for adding contents to the nodes of an argumentation network. This research will allow us to address notions like what does it exactly mean for a node to attack another or what does it mean for a network to be consistent or can we give proper proof rules to manipulate networks, and more.

KW - Kripke models

KW - argumentation networks

KW - modal logic

KW - temporal logic

UR - http://www.scopus.com/inward/record.url?scp=84864681760&partnerID=8YFLogxK

U2 - 10.1080/19462166.2012.704399

DO - 10.1080/19462166.2012.704399

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84864681760

SN - 1946-2166

VL - 3

SP - 203

EP - 227

JO - Argument and Computation

JF - Argument and Computation

IS - 2-3

ER -