• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of agent-oriented software engineering >Specifying and verifying holonic agents with GDT4MAS
【24h】

Specifying and verifying holonic agents with GDT4MAS

机译：使用GDT4MAS指定和验证Holonic代理

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

摘要

This paper describes how specific holonic multi-agent systems can be specified and how their correctness can be proven with an extended version of the GDT4MAS model. This model allows the specification of multi-agent systems and the verification of their correctness with theorem proving techniques. Introducing holonic agents in this model allows the enhancement of its expressiveness. Moreover, the proof system associated to this model can be easily extended in order to prove the correctness of multi-agent systems using such agents. The paper first describes the initial GDT4MAS model. Then the need for some kinds of holonic agents and their proposed specification based on specific decomposition operators are presented. It is followed by a focus on how the proof system can be adapted to prove the correctness of the behaviour of these new agents. Last but not least, all these proposals are illustrated on a case study.
机译：本文介绍了如何指定特定的全息多主体系统，以及如何使用GDT4MAS模型的扩展版本证明其正确性。该模型允许规范多智能体系统，并通过定理证明技术验证其正确性。在此模型中引入holonic agent可以增强其表达能力。此外，可以轻松扩展与该模型关联的证明系统，以证明使用此类代理的多代理系统的正确性。本文首先介绍了初始的GDT4MAS模型。然后提出了对某些全息剂的需求及其基于特定分解算子的拟议规范。接下来的重点是如何使证明系统适用于证明这些新代理行为的正确性。最后但并非最不重要的是，所有这些建议都在案例研究中进行了说明。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号