带偏好的论证通用框架
人工智能
2018-04-19 v1
摘要
本文基于近期的 ASPIC+ 形式化方法，发展了一个带偏好的论证通用框架。我们提出了无冲突论证集的修订定义，调整 ASPIC+ 以容纳更广范围的实例化逻辑，并表明在某些假设下，所得框架满足关键性质和理性公设。我们随后展示该广义框架容纳了扩展带偏好的 Tarskian 逻辑实例化，并研究了该框架由经典逻辑论证方法的实例化。我们最后论证 ASPIC+ 对可废止推理规则的建模进一步证明了框架的通用性，并考察和反驳了近期对 Dung 框架及其扩展（以容纳偏好）的批评。
引用
@article{arxiv.1804.06763,
title = {A General Account of Argumentation with Preferences},
author = {Sanjay Modgil and Henry Prakken},
journal= {arXiv preprint arXiv:1804.06763},
year = {2018}
}
备注
This paper contains correction to errors in the original paper which appears in the journal Artificial Intelligence