On logical specifications of the Argument Interchange Format
On logical specifications of the Argument Interchange Format
复制标题
论参数交换格式的逻辑规范
DOI：
10.1093/logcom/exs033
复制
发表时间：
2012
影响因子：
0.7
通讯作者：
Bex F
中科院分区：
文献类型：
--
作者：
Bex F
论证交换格式（AIF）是为了支持计算论证领域不同项目和应用程序之间的思想和数据交换而设计的。为了支持这种交换，一个抽象的本体论的论证，它作为一个中间语言之间的各种更具体的论证语言。在这篇文章中，我们的目标是通过将本体映射到逻辑ASPIC+框架上进行论证，从而给出AIF本体的逻辑规范。因此，我们奠定了基础，相互关联的正式逻辑为基础的方法来捕获的ASPIC+框架和更广泛的类的论证语言，包括那些更非正式和面向用户的论证。
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.
登录
查看更多内容
DOI：
--
发表时间：
1997
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
C. Reed;D. Long
通讯作者：
D. Long
第二十二届国际人工智能联合会议论文集：卡内德斯与抽象论证相关
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
H. Sung;P. Rosenberg;Xiaohong R. Yang
通讯作者：
Xiaohong R. Yang
Araucaria：用于论证分析、图表和表示的软件
DOI：
--
发表时间：
2004
期刊：
Int. J. Artif. Intell. Tools
影响因子：
--
作者：
C. Reed;Glenn Rowe
通讯作者：
Glenn Rowe
影响因子：
--
作者：
Mark Snaith;J. Devereux;John Lawrence;C. Reed
通讯作者：
C. Reed
DefLog：关于初步合理假设的逻辑解释
影响因子：
0.7
作者：
Bart Verheij
通讯作者：
Bart Verheij