• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Dynamic specification of open agent systems
【24h】

Dynamic specification of open agent systems

机译：开放代理系统的动态规范

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Multi-Agent Systems (MAS) where the agents are developed by different parties and serve different interests, are often classified as 'open'. The specification of open MAS is largely seen as a design-time activity. Moreover, there is no support for run-time specification modification. Due to environmental, social or other conditions, however, it is often required to revise the MAS specification during its execution. To address this requirement, we present an infrastructure for 'dynamic' open MAS specifications, that is, specifications that may be modified at run-time by the agents. We adopt a bird's eye view of an open MAS, as opposed to an agent's own perspective whereby it reasons about how it should act. The infrastructure consists of well-defined procedures for proposing a modification of the 'rules of the game', as well as decision-making over and enactment of proposed modifications. We evaluate proposals for rule modification by modelling a dynamic specification as a metric space, and by considering the effects of accepting a proposal on system utility. Furthermore, we constrain the enactment of proposals that do not meet the evaluation criteria. We employ the action language C+ to formalize dynamic specifications, and the 'Causal Calculator' implementation of C+ to execute the specifications. We illustrate our infrastructure by presenting a dynamic specification of a resource-sharing protocol.
机译：多代理系统（MAS）的代理由不同方开发并且服务于不同的利益，通常被称为“开放”。开放式MAS的规范在很大程度上被视为设计时的活动。此外，不支持运行时规范修改。但是，由于环境，社会或其他条件，在执行过程中经常需要修改MAS规范。为了满足此要求，我们提出了“动态”开放式MAS规范的基础架构，即，可以在运行时由代理修改的规范。我们采用开放式MAS的鸟瞰图，而不是代理人自己的观点，即代理人应该如何采取行动。该基础结构由定义完善的程序组成，这些程序用于提出对“游戏规则”的修改，以及对建议的修改进行决策和制定。我们通过将动态规范建模为度量空间并考虑接受建议对系统实用程序的影响，来评估规则修改建议。此外，我们限制了不符合评估标准的提案的制定。我们使用动作语言C +来规范动态规范，并使用C +的“因果计算器”实现来执行规范。我们通过展示资源共享协议的动态规范来说明我们的基础架构。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号