On logical specifications of the Argument Interchange Format

被引：19

作者：

Bex, Floris ^{[1
]}

Modgil, Sanjay ^{[2
]}

Prakken, Henry ^{[3
,4
]}

Reed, Chris ^{[1
]}

机构：

[1] Univ Dundee, Sch Comp, Dundee DD1 4HN, Scotland

[2] Kings Coll London, Dept Informat, London, England

[3] Univ Utrecht, Dept Informat & Comp Sci, NL-3508 TC Utrecht, Netherlands

[4] Univ Groningen, Fac Law, NL-9700 AB Groningen, Netherlands

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2013年 / 23卷 / 05期

基金：

英国工程与自然科学研究理事会;

关键词：

argument ontology; argumentation logic; MODEL;

D O I：

10.1093/logcom/exs033

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：951 / 989

页数：39

共 43 条

[1] Inferring from inconsistency in preference-based argumentation frameworks [J].