一种用描述逻辑刻画多代理系统规约的方法

来源 :第一届Agent理论与应用学术会议 | 被引量 : 0次 | 上传用户:xjl982050
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性。
其他文献
用响应谱分析方法对高通量工程试验堆除气加压系统105型加压泵进行抗震分析,根据(GB/T16702-1996)的要求进行应力评定.并采用等效静力法对加压泵电机地脚螺栓进行校核,结果满
本文利用原子力显微镜、失重法、电偶电流测量等手段研究了咪唑啉酰胺对电偶腐蚀的缓蚀作用以及电极表面过剩电荷对其缓蚀性能的影响。研究结果表明,咪唑啉酰胺对电偶腐蚀的
本文对丙烯酸均聚物及共聚物缓蚀阻垢剂进行了研究。文章对近年来丙烯酸类聚合物缓蚀阻垢剂的研究进行了综述,介绍了丙烯酸均聚物、共聚物及复配物的的研究进展。
本文用失重法和动电位极化曲线法研究了在0.2mol/LHCl介质中,钼酸钠、钨酸钠对冷轧钢片的吸附及其缓蚀作用.试验结果表明,在酸性溶液中,钼酸盐、钨酸盐均对冷轧钢片具有较好
会议
著名音乐家卡巴列夫斯基说:“激发孩子对音乐的兴趣,是把音乐美的魅力传递给他们的先决条件,培养和激发学生学习音乐的兴趣,必然成为他们热爱生活、陶冶情操的助长剂。”也有
期刊
本文利用液中干燥法,分别以生物可降解材料聚合乳酸(PLA)、乳酸/羟基乙酸共聚物(PLA/PGA)和二者的混合物为控释包敷材料,成功制备了咪唑啉缓蚀剂缓释微球.通过浆法和紫外吸收
会议
提供了一种简便的方法,把建模、仿真和实现集成在NetCon系统中,提高了过程控制系统的开发效率.首先在Simulink中建立仿真模型,然后使用NetCon系统模板快速生成可执行代码,通
会议
在冷轧钢中常见之开放断面构件受到扭力作用时其分析应考虑纯扭曲剪应力(puretorsionalshearstress)与翘曲应力(warpingstress)之产生,而翘曲应力则包括翘曲剪应力(warpingsh
会议
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义
会议
2006年发生的“齐二药”事件使得医药企业使用原辅材料的质量安全引起了全社会的关注.台州市一次性使用注射器、输液器等注输器具和活塞、滤膜等重要部件的生产企业集中,此类