A general framework for sound assumption-based argumentation dialogues
A general framework for sound assumption-based argumentation dialogues
复制标题
基于假设的合理论证对话的总体框架
DOI：
10.1016/j.artint.2014.06.001
复制
发表时间：
2014
影响因子：
14.4
通讯作者：
Fan X
中科院分区：
文献类型：
--
作者：
Fan X
我们提出了一个基于推理的智能体对话的形式化模型，使用基于假设的推理（ABA）作为基本的推理框架。因此，对话相当于在ABA中进行论证过程。该模型是根据aba特定的话语、在对话期间隐含建立并从中提取的辩论树和森林、法律行动函数（相当于协议）和结果函数给出的。该模型是通用的，因为它不局限于任何特定的对话类型，并且可以用于支持广泛的对话类型。我们通过给出关于这些语义的对话模型的可靠性结果，证明了对话与三种著名的论证语义（即基于的、可接受的和理想的扩展）之间的形式联系。因此，我们的对话可以被视为一种分布式机制，用于成功地确定主张的可接受性（相对于所考虑的语义），同时为这些主张构建论证框架和论证。
We propose a formal model for argumentation-based dialogues between agents, using assumption-based argumentation (ABA) as the underlying argumentation framework. Thus, the dialogues amount to conducting an argumentation process in ABA. The model is given in terms of ABA-specific utterances, debate trees and forests implicitly built during and drawn from dialogues, legal-move functions (amounting to protocols) and outcome functions. The model is generic in that it is not restricted to any specific dialogue types and can be used to support a wide range thereof. We prove a formal connection between dialogues and three well-known argumentation semantics (i.e. grounded, admissible and ideal extensions), by giving soundness results for our dialogue models with respect to these semantics. Thus, our dialogues can be seen as a distributed mechanism for successfully determining acceptability of claims (with respect to the semantics considered), while constructing argumentation frameworks and arguments for these claims.
登录
查看更多内容
四种对话系统
影响因子：
0.7
作者：
J. Mackenzie
通讯作者：
J. Mackenzie
迈向多方对话的试验台
DOI：
--
发表时间：
2003
期刊：
Workshop on Agent Communication Languages
影响因子：
--
作者：
F. Dignum;G. Vreeswijk
通讯作者：
G. Vreeswijk
影响因子：
14.4
作者：
Francesca Toni
通讯作者：
Francesca Toni
影响因子：
--
作者：
Xiuyi Fan;Francesca Toni
通讯作者：
Francesca Toni
关于正式主体间对话中话语的相关性
DOI：
--
发表时间：
2007
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
S. Parsons;P. McBurney;E. Sklar;M. Wooldridge
通讯作者：
M. Wooldridge