On logical reifications of the argument interchange format

Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed

    Research output: Contribution to journalArticle

    27 Citations (Scopus)

    Abstract

    The Argument Interchange Format (AIF) has been devised in order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation. In order to support such interchange, an abstract ontology for argumentation is presented, which serves as an interlingua between various more concrete argumentation languages. In this article, we aim to give what is essentially a logical specification of the AIF ontology by mapping the ontology onto the logical ASPIC+ framework for argumentation. We thus lay foundations for interrelating formal logic-based approaches to argumentation captured by the ASPIC+ framework and the wider class of argumentation languages, including those that are more informal and user-orientated.
    Original languageEnglish
    Article numberexs033
    Number of pages39
    JournalJournal of Logic and Computation
    Volumen/a
    Early online date3 Aug 2012
    DOIs
    Publication statusPublished - 2012

    Fingerprint Dive into the research topics of 'On logical reifications of the argument interchange format'. Together they form a unique fingerprint.

  • Cite this