对论证搜索空间的约束
人工智能
2013-12-09 v1
摘要
借鉴关于论证计算模型（特别是 Carneades 论证系统）的研究，我们探讨了争议中论证的图形表示；随后，通过比较两种关于决策正当性界限的不同传统，并设计一种中间的半形式化模型，我们还展示了该模型如何阐明争议解决理论。我们在论文最后观察了高度受限的推理对于在线争议解决（Online Dispute Resolution）系统的有用性。将论证的搜索空间严格限制为各方提出的理由（即否决人类或人工仲裁员引入新论证），是在论证系统中引入某种可判定性以及可预见性的唯一途径。
引用
@article{arxiv.1312.1887,
title = {Constraints on the search space of argumentation},
author = {Julio Lemos},
journal= {arXiv preprint arXiv:1312.1887},
year = {2013}
}