A formal analysis of the AIF in terms of the ASPIC framework

Floris Bex; Henry Prakken; Chris Reed

doi:10.3233/978-1-60750-619-5-99

A formal analysis of the AIF in terms of the ASPIC framework

Floris Bex, Henry Prakken, Chris Reed

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (Scopus)

Abstract

In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentation-theoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework.

Original language	English
Title of host publication	Computational Models of Argument
Subtitle of host publication	Proceedings of COMMA 2010
Editors	Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari
Place of Publication	Amsterdam
Publisher	IOS Press
Pages	99-110
Number of pages	12
ISBN (Electronic)	9781607506195
ISBN (Print)	9781607506188
DOIs	https://doi.org/10.3233/978-1-60750-619-5-99
Publication status	Published - 2010
Event	Third International Conference on Computational Models of Argument - Palazzo Todeschini (Todeschini Palace), Desenzano del Garda, Italy Duration: 8 Sep 2010 → 10 Sep 2010 http://www.ing.unibs.it/~comma2010/

Publication series

Name	Frontiers in artificial intelligence and applications
Publisher	IOS Press
Volume	216
ISSN (Print)	0922-6389

Conference

Conference	Third International Conference on Computational Models of Argument
Abbreviated title	COMMA 2010
Country	Italy
City	Desenzano del Garda
Period	8/09/10 → 10/09/10
Internet address	http://www.ing.unibs.it/~comma2010/

Keywords

ontology
argument interchange
formal argumentation framework

Access to Document

10.3233/978-1-60750-619-5-99

http://copac.ac.uk/search?&isn=+9781607506188&sort-order=ti%2C-date

Research Output

8 Citations
1 Paper

A formal analysis of the AIF in terms of the ASPIC framework

Bex, F., Prakken, H. & Reed, C., 2010.

Research output: Contribution to conference › Paper

Activities

2 Participation in conference

Third International Conference on Computational Models of Argument

Floris Bex (Participant)

9 Sep 2010

Activity: Participating in or organising an event types › Participation in conference

Third International Conference on Computational Models of Argument

Chris Reed (Participant)

8 Sep 2010 → 10 Sep 2010

Activity: Participating in or organising an event types › Participation in conference

Cite this

Bex, F., Prakken, H., & Reed, C. (2010). A formal analysis of the AIF in terms of the ASPIC framework. In P. Baroni, F. Cerutti, M. Giacomin, & G. R. Simari (Eds.), Computational Models of Argument: Proceedings of COMMA 2010 (pp. 99-110). (Frontiers in artificial intelligence and applications; Vol. 216). IOS Press. https://doi.org/10.3233/978-1-60750-619-5-99

@inproceedings{536d9ed6a5034023aadb3e9f89892b1e,

title = "A formal analysis of the AIF in terms of the ASPIC framework",

abstract = "In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentation-theoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework.",

keywords = "ontology, argument interchange, formal argumentation framework",

author = "Floris Bex and Henry Prakken and Chris Reed",

year = "2010",

doi = "10.3233/978-1-60750-619-5-99",

language = "English",

isbn = "9781607506188",

series = "Frontiers in artificial intelligence and applications",

publisher = "IOS Press",

pages = "99--110",

editor = "Baroni, {Pietro } and Federico Cerutti and Massimiliano Giacomin and Simari, {Guillermo R.}",

booktitle = "Computational Models of Argument",

address = "Netherlands",

note = "Third International Conference on Computational Models of Argument, COMMA 2010 ; Conference date: 08-09-2010 Through 10-09-2010",

url = "http://www.ing.unibs.it/~comma2010/",

}

Bex, F, Prakken, H & Reed, C 2010, A formal analysis of the AIF in terms of the ASPIC framework. in P Baroni, F Cerutti, M Giacomin & GR Simari (eds), Computational Models of Argument: Proceedings of COMMA 2010. Frontiers in artificial intelligence and applications, vol. 216, IOS Press, Amsterdam, pp. 99-110, Third International Conference on Computational Models of Argument, Desenzano del Garda, Italy, 8/09/10. https://doi.org/10.3233/978-1-60750-619-5-99

A formal analysis of the AIF in terms of the ASPIC framework. / Bex, Floris; Prakken, Henry; Reed, Chris.

Computational Models of Argument: Proceedings of COMMA 2010. ed. / Pietro Baroni; Federico Cerutti; Massimiliano Giacomin; Guillermo R. Simari. Amsterdam : IOS Press, 2010. p. 99-110 (Frontiers in artificial intelligence and applications; Vol. 216).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A formal analysis of the AIF in terms of the ASPIC framework

AU - Bex, Floris

AU - Prakken, Henry

AU - Reed, Chris

PY - 2010

Y1 - 2010

N2 - In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentation-theoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework.

AB - In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentation-theoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework.

KW - ontology

KW - argument interchange

KW - formal argumentation framework

U2 - 10.3233/978-1-60750-619-5-99

DO - 10.3233/978-1-60750-619-5-99

M3 - Conference contribution

SN - 9781607506188

T3 - Frontiers in artificial intelligence and applications

SP - 99

EP - 110

BT - Computational Models of Argument

A2 - Baroni, Pietro

A2 - Cerutti, Federico

A2 - Giacomin, Massimiliano

A2 - Simari, Guillermo R.

PB - IOS Press

CY - Amsterdam

T2 - Third International Conference on Computational Models of Argument

Y2 - 8 September 2010 through 10 September 2010

ER -