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 proceedingConference 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 languageEnglish
    Title of host publicationComputational Models of Argument
    Subtitle of host publicationProceedings of COMMA 2010
    EditorsPietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages99-110
    Number of pages12
    ISBN (Electronic)9781607506195
    ISBN (Print)9781607506188
    DOIs
    Publication statusPublished - 2010
    EventThird International Conference on Computational Models of Argument - Palazzo Todeschini (Todeschini Palace), Desenzano del Garda, Italy
    Duration: 8 Sep 201010 Sep 2010
    http://www.ing.unibs.it/~comma2010/

    Publication series

    NameFrontiers in artificial intelligence and applications
    PublisherIOS Press
    Volume216
    ISSN (Print)0922-6389

    Conference

    ConferenceThird International Conference on Computational Models of Argument
    Abbreviated titleCOMMA 2010
    CountryItaly
    CityDesenzano del Garda
    Period8/09/1010/09/10
    Internet address

    Keywords

    • ontology
    • argument interchange
    • formal argumentation framework

    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). Amsterdam: IOS Press. https://doi.org/10.3233/978-1-60750-619-5-99
    Bex, Floris ; Prakken, Henry ; Reed, Chris. / A formal analysis of the AIF in terms of the ASPIC framework. Computational Models of Argument: Proceedings of COMMA 2010. editor / Pietro Baroni ; Federico Cerutti ; Massimiliano Giacomin ; Guillermo R. Simari. Amsterdam : IOS Press, 2010. pp. 99-110 (Frontiers in artificial intelligence and applications).
    @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",

    }

    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 proceedingConference 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

    ER -

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