• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent Agent Technology, IEEE/WIC/ACM International Conference on >Complexity of a theory of collective attitudes in teamwork
【24h】

Complexity of a theory of collective attitudes in teamwork

机译：团队合作中集体态度理论的复杂性

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

摘要

Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individual, bilateral and collective agent attitudes, and a dynamic part, describing system reconfiguration in a dynamic, unpredictable environment. In this paper, we investigate the complexity of the satisfiability problem of the static part of our theory, focusing on individual and collective attitudes up to collective intention. Our logics for teamwork are squarely multi-modal, in the sense that different operators are combined and may interfere. One might expect that such a combination is much more complex than the basic multi-agent logic with one operator, but in fact we show that the individual part of our theory of teamwork is PSPACE-complete. The full system, modeling a subtle interplay between individual and group attitudes, turns out to be EXPTlME-complete, and remains so even if propositional dynamic logic is added to it.
机译：我们之前的研究提出了一种基于完整形式理论的BDI系统合作问题解决方法。这既包括静态部分（定义个人，双边和集体代理人的态度），也包括动态部分（描述在动态，不可预测的环境中的系统重新配置）。在本文中，我们研究了理论静态部分的可满足性问题的复杂性，重点是个人和集体态度直至集体意图。我们的团队合作逻辑是多模式的，在某种意义上说，不同的操作员会合并在一起并可能会产生干扰。可能有人希望这样的组合比带有一个操作员的基本多代理逻辑要复杂得多，但是实际上我们证明了团队合作理论的各个部分都是PSPACE完全的。完整的系统模拟了个人和团体态度之间的微妙相互作用，结果证明是EXPTlME完整的，即使添加了命题动态逻辑，它也保持不变。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号