抽象说服论证中动力学的图灵完备性
计算机科学中的逻辑
2019-03-20 v1 人工智能
摘要
抽象说服论证（APA）是一种动态论证形式化方法，其在 Dung 论证基础上扩展了说服关系。本工作中，我们通过双计数器 Minsky 机编码证明 APA 动力学是图灵完备的。
引用
@article{arxiv.1903.07837,
title = {Turing-Completeness of Dynamics in Abstract Persuasion Argumentation},
author = {Ryuta Arisaka},
journal= {arXiv preprint arXiv:1903.07837},
year = {2019}
}