【摘 要】
：
在Agent模型的研究中,大部分工作集中在基于Agent的思维状态(BDI)的模型,没有考虑外部环境的影响,或者仅仅将外部环境和内部思维状态笼统混在一起进行分析,没有考虑到它们之
论文部分内容阅读
在Agent模型的研究中,大部分工作集中在基于Agent的思维状态(BDI)的模型,没有考虑外部环境的影响,或者仅仅将外部环境和内部思维状态笼统混在一起进行分析,没有考虑到它们之间的内在联系.将Agent的BDI思维属性模型与外部环境状态相结合,给出了在部分可观察环境下,结合外部环境状态的MAS语言语法、语义模型,考虑了Agent的可见算子、观察算子和信念算子之间的关系,并通过机器人足球赛的例子,对该语义系统加以具体描述.这些研究推广了Kaelbling,Wooldridge等人的工作.
其他文献
基于前向安全数字签名和可证实数字签名的理论,一种前向安全可证实数字签名的新方案被提出,首次将数字签名的前向安全和可证实的功能结合在一起,并且证实过程应用零知识证明
教育之盛衰关系人才之盛衰，人才之盛衰关系天下之盛衰。对于大学，人们从大楼说到大师，从大师说到大爱……大学能否给学生大爱，主要在于大学能否为学生提供大师。所以，大学的一切财
在国内外容错型神经网络研究的基础上，提出了一种具有容错能力的自适应神经网络FTART4.该算法针对解决多点断路故障容错性的难点，提出了一种独特的增加网络冗余的方法，通过确定
新生儿是一个发育尚未完善的机体,新生儿期是生理功能由宫内单一环境进行调整适应宫外复杂生活的时期,易受到不良环境因素的危害。该文介绍了新生儿病房安全管理的措施,识别
在分析已有的基于色彩的图像检索方法存在问题的基础上，提出一种新的基于色彩的图像检索方法，该方法对每个图像单独进行颜色量化，计算其颜色直方图并排序，根据颜色在图像中出现的
为模拟神经元网络的混沌现象，阐述了相空间重构技术，介绍了由一维可观察量计算系统的最大Lyapunov指数和关联维数的方法.利用Lyapunov指数作判据，构造了3层反馈神经元网络的奇怪
提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是利用逆向状态分析和Petri网的状态可达性分析,判定协议运行过程中可能出现的不安全状态以及这
网络存储技术从很多方面改善了传统基于主机的存储系统的不足,但由于在数据存储和处理之间增加了网络,对整个I/O请求过程产生很大的影响,使得I/O性能难以准确地估计 .通过对
对于具有函数依赖(FDs)约束的传统关系数据库规范化理论来说,判定一个FD是否被给定FD集所逻辑蕴涵(即成员籍问题)是非常重要的,这有助于设计有效的模式分解算法.而对于具有时
小波对于静止图像编码取得了巨大成功，但对于视频编码只有少数较为成功的尝试.提出一种针对极低比特率应用的新的结合H.263与SLCCA的混合小波视频编码算法.在提出的算法中，首先