共查询到18条相似文献,搜索用时 46 毫秒
1.
一个改进的理性Agent-BDI模型 总被引:5,自引:0,他引:5
利用一种新的可能世界语义,在Rao和Georgeff的基于分支时间可能世界模型的BDI形式化的基础上,得到一个改进的BID模型。与Rao和Georgeff的BDI模型以及大多数基于可能世界的形式化相比,不存在逻辑全知问题和除等价情况外的副作用问题。 相似文献
2.
Agent的意图模型 总被引:17,自引:4,他引:13
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法. 相似文献
3.
社会Agent的BDO模型 总被引:15,自引:0,他引:15
目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性,研究社会承诺、依赖、联合意图的推理关系。在BDI模型中,以意图为中心的观点不描述社会Agent。该文分析了以竭力为中心的Agent思维状态研究存在的问题,提出MAS的分层模型,并提出以信念、愿望和义务作为基本思维属性(简称BDO)来描述Agent的思维状态和社会属性,给出了BDO逻辑和语义模型,考虑了奖励、惩罚、承诺和承诺解除问题,并对队、组织、组织意图等现象给出了描述。该文力图更自然地描述社会性Agent的思维状态和群体概念,是对Rao和Georgeff提出的BDI模型的改进。最后通过一个例子说明了BDO的表达能力。进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent/MAS实现结构。 相似文献
4.
5.
BDI模型信念特性研究 总被引:6,自引:0,他引:6
计算的典型模型是BDI(belief, desire, intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念. Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性. Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标.用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了“逻辑全知问题”和逻辑蕴涵的副作用问题.可实现信念满足KD公理,知识性信念满足KDT4公理.两种信念适合描述Agent的意识状态和意识模型. 相似文献
6.
由于Agent直接与现实世界发生交互作用,设计者难以事先预料所有可能出现的环境状况并一一规定恰当的处理方法,Agent往往不能产生恰当的行为,从而可能导致问题求解失败。本文结合BDI模型和非单调逻辑的优点,引入了可能信念概念和信念维护算子,表达了Agent和动态环境之阃的互动关系;引入Agent价值概念和行为规划算子,表达了期 期望和意图之间的动态约束关系,很好地解决了Agent在非预期环境中的适应性问题。 相似文献
7.
8.
9.
一种结合环境状态的Agent语义模型 总被引:3,自引:0,他引:3
在Agent模型的研究中,大部分工作集中在基于Agent的思维状态(BDI)的模型,没有考虑外部环境的影响,或者仅仅将外部环境和内部思维状态笼统混在一起进行分析,没有考虑到它们之间的内在联系,将Agent的BDI思维属性模型与外部环境状态相结合,给出了在部分可观察环境下,结合外部环境状态的MAS语言语法,语义模型,考虑了Agent的可见算子,观察算子和信念算子之间的关系,并通过机器人足球赛的例子,对该语义系统加以具体描述,这些研究推广了Kaelbling,Wooldridge等人的工作。 相似文献
10.
11.
Eric Rosen 《Journal of Logic, Language and Information》1997,6(4):427-439
We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a -modal formula. 相似文献
12.
13.
BDI Agent解释器的研究和改进 总被引:5,自引:0,他引:5
现有的“信念-愿望-意向(BDI)”Agent系统将它的3个主要心智状态(信念、愿望、意向) 作为数据结构而不是模态算子来使用,导致信念-愿望-意向Agent的研究在理论和实践之间 存在较大的差距.该文深入研究了过程推理系统(precedure reasoning system,简称PRS)和 扩展的多Agent推理系统(developed multi-agent reasoning system,简称dMARs),针对dM ARs系统的解释器,提出了一种改进的编程语言AgentBDI,结合一个典型的分布 相似文献
14.
We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas. 相似文献
15.
16.
The Dynamic Logic of Permission 总被引:4,自引:0,他引:4
17.