.png){kind=icon}
返回
An executable specification of a formal argumentation protocol
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2007.04.008.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present a specification, in the action language C+, of Brewka's reconstruction of a theory of formal disputation originally proposed by Rescher. The focus is on the procedural aspects rather than the adequacy of this particular protocol for the conduct of debate and the resolution of disputes. The specification is structured in three separate levels, covering (i) the physical capabilities of the participant agents, (ii) the rules defining the protocol itself, specifying which actions are 'proper' and 'timely' according to the protocol and their effects on the protocol state, and (iii) the permissions, prohibitions, and obligations of the agents, and the sanctions and enforcement strategies that deal with non-compliance. Also included is a mechanism by which an agent may object to an action by another participant, and at. optional 'silence implies consent' principle. Although comparatively simple, Brewka's protocol is thus representative of a wide range of other more complex argumentation and dispute resolution procedures that have been proposed. Finally, we show how the 'Causal Calculator' implementation of C+ can be used to animate the specification and to investigate and verify properties of the protocol. (c) 2007 Elsevier B.V. All rights reserved.
Keyword:
argumentation
disputation
protocol
norm
multi-agent system
specification
action language
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
暂无机构信息
引用论文
The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列.png)
NatureOAAI
NatureIF0
OAAI分享收藏Bacterial Suspensions Deposited on Microbiological Filter Material for Rapid Laser-Induced Breakdown Spectroscopy Identification沉积在微生物过滤材料上的细菌悬浮液用于快速激光诱导击穿光谱识别
PREAI
分享收藏
查看更多内容