ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences
ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences
复制标题
ABAplus：抽象和结构化论证中的攻击逆转与偏好
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Francesca Toni
中科院分区：
文献类型：
--
作者：
Ziyi Bao;K. Čyras;Francesca Toni
本文介绍了ABAplus系统，它用论证形式ABA(^+)实现推理。ABA(^+)是一种结构化的论证形式，它用偏好扩展了基于假设的论证(ABA)，并通过攻击逆转来解释偏好。ABA(^+)也承认基于偏好的论证作为实例，它通过逆转抽象论证(AA)中的攻击来解释偏好。ABAplus很容易在AA和ABA风格的结构化论证中实现攻击逆转。ABAplus提供了五种论证语义下的扩展的计算、可视化和比较。它既可以作为独立系统使用，也可以作为Web应用程序使用。
We present ABAplus, a system that implements reasoning with the argumentation formalism ABA(^+). ABA(^+) is a structured argumentation formalism that extends Assumption-Based Argumentation (ABA) with preferences and accounts for preferences via attack reversal. ABA(^+) also admits as instance Preference-based Argumentation which accounts for preferences by reversing attacks in abstract argumentation (AA). ABAplus readily implements attack reversal in both AA and ABA-style structured argumentation. ABAplus affords computation, visualisation and comparison of extensions under five argumentation semantics. It is available both as a stand-alone system and as a web application.