【摘 要】
：
20世纪90年代,agent界的研究者们致力于刻画理性agent的思维属性(信念、愿望和意图),其中出色的工作有Cohen的意图理论、Rao的BDI模型、Konolige和Pollack的KP模型.由于意图
【机 构】
：
福州大学计算机科学与技术系,福州,350002
【出 处】
：
第六届中国Rough集与软计算学术研讨会(CRSSC'2006)
论文部分内容阅读
20世纪90年代,agent界的研究者们致力于刻画理性agent的思维属性(信念、愿望和意图),其中出色的工作有Cohen的意图理论、Rao的BDI模型、Konolige和Pollack的KP模型.由于意图在保持各思维属性的理性平衡中起着重要作用,备受关注.基于Kripke模型,意图通常被模型化为正规模态算子,存在逻辑全知、重言隐含下的副作用、析取扩大化、合取分离等问题.针对这些问题,Konolige和Pollack给出KP模型,以非正规模态逻辑作为描述工具来表示意图.然而KP模型中用来确定意图的是可能世界集幂集的子集,和信念的表示相比不够自然,复杂度也高;而且KP模型不满足K公理和联合一致性原理,也失去了非等价意图的推理能力.把意图抽象为可能世界语义下的非正规模态算子,给出意图算子的双子集语义可以解决这些问题.
本文将在改进ATL/ATL的并发博弈结构的基础上，进一步考察多agent合作逻辑与传统BDI逻辑的融合问题。在多agent合作逻辑中分别考察六种意图:对动作的个体意图、对动作的群体意图、对命题的实现型个体意图、对命题的实现型群体意图、对命题的维护型个体意图、对命题的维护型群体意图。
其他文献
设计是一个复杂的过程,不管是建筑设计还是工程设计,所涉及到的参数都很多.在这其中,最复杂的是人的因素.在确定任务之后,通过抽象化,拟定功能结构,寻求适当的作用原理及其组
有机化学在中学化学教学大纲内占有相当的比重,在中学化学课程中根据教学大纲的规定来讲授有机化学,也是本学年才开始。现就有机化学的教学问题,提出几点个人意见来谈谈。一
本文针对海洋地球磁场矢量难以测量的问题,提出了一种采用安装在舰船上的矢量磁传感器进行地球磁场测量的航海测量方法.该方法通过分析地球磁场与舰船感应磁场的关系,从理论
许多流数据源,例如网络化(通信工程、入侵检测、传感器网络)和金融服务(套汇、金融监控)等都容易产生尖峰脉冲.尖峰脉冲出现时,最大负荷量将远远超过标准负载,这时提供一个全
海洋磁力测量数据处理中,正常场校正值由模拟地磁场时空分布与时间变化的正常场模型来计算,不同的正常场模型提供的正常场校正值是不同的.现阶段,我国海洋磁力测量地磁正常场
人工鱼群算法(AFSA,Artificial Fish-school Algorithm)是模仿鱼类行为提出的一种基于动物自治体的优化方法,是集群智能思想的一个具体应用,它的主要特点是不需要了解问题的
本文首先分析了当前广泛使用的几种多分类支持向量机算法,指出它们存在的一些不足,提出了基于支持向量机的二叉树动态多分类算法,该算法不仅解决了"一对一"分类算法的不确定
冲突已成为当今很多领域不得不面对的、不得不考虑消解的一个现象.冲突实质上是两个或两个以上的相互依赖的个体间的一种互动关系.现实中的冲突通常伴随着不一致、竞争和协作
大雪压青松,青松挺且直。要知松高洁,待到雪化时。——陈毅诗春节过后的一个星期天,我冒着漫天风雪,到南开大学去访问蒙古族化学家杨石先老校长。当我在化学系负责人、杨老
海洋磁力测量多站日变改正中,在分析两站同步数据时发现,如果主站和分站采用不同的日变基值确定方法,或分站日变基值不向主站进行归算,会存在几nT甚至几十nT的磁场水平差异.