• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Autonomous Agents and Multiagent Systems >Compositional Correctness in Multiagent Interactions
【24h】

Compositional Correctness in Multiagent Interactions

机译：多元互动中的组成正确性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An interaction protocol specifies the constraints on communication between agents in a multiagent system. Ideally, we would like to be able to treat protocols as modules and compose them in a declarative manner to systematically build more complex protocols. Supporting composition correctly requires taking into account information-based causality relationships between protocols. One important problem that may arise from inadequate consideration of such relationships is that the enactment of a composite protocol may violate atomicity; that is, some components may be initiated but prevented from completing. We use the well-known all or nothing principle as the basis for formalizing atomicity as a novel correctness property for protocols. Our contributions are the following. One, we motivate and formalize atomicity and highlight its distinctiveness from related correctness notions. Two, we give a decision procedure for verifying atomicity and report results from an implementation. For concreteness of exposition and technical development, we adopt BSPL as an exemplar of information causality approaches.
机译：交互协议指定多读系统中代理之间的通信的约束。理想情况下，我们希望能够将协议视为模块，并以声明方式撰写它们以系统地构建更复杂的协议。支持构图正确需要考虑到协议之间的基于信息的因果关系。可能因对这种关系的不足而产生的一个重要问题是，复合方案的制定可能违反原子性;也就是说，可以启动一些组件但防止完成。我们使用众所周知的全部或全无的原则作为将原子正式作为议定书的新型正确性财产的基础。我们的贡献是以下内容。一，我们激励和正规化原子性并突出其与相关正确概念的独特性。二，我们提供了验证原子性和报告结果的决定程序。为了具体的博览会和技术开发，我们采用BSPL作为信息因果关系方法的示例。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号