【摘 要】
：
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被认为是软件领域中的一次重大突破.该文提出了
论文部分内容阅读
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被认为是软件领域中的一次重大突破.该文提出了一种基于时序逻辑的Agent形式化模型.VSK-t逻辑是一种对处在特定环境中的计算Agent的信息特征进行推理的多模态逻辑.VSK-t逻辑可以描述环境中客观真的事物、环境中可访问的或可知的信息,以及Agent能感知到的环境信息,最后还可描述Agent真正知道的信息,同时,时序逻辑的灵活性和动态性更好地描述了Agent的动态性质.系统中Agent的行为能力是与其所处环境的时间密切相关的,Agent不会执行那些自己在某些时间没有能力执行的动作,而Agent的感知能力也是随时间变化而变化的.这样的描述是合乎理性的.用形式化方法构建了一种基于VSK-t逻辑的Agent形式化模型.定义了VSK-t逻辑的语法规则,语义框架.提出了相应的公理体系,并对其合理性进行了充分的阐述.讨论了Agent所具有的性质,提出并详细证明了一系列理论结果.证明了VSK-t逻辑的无矛盾性、完全性以及完备性.通过具体示例说明了该逻辑的应用.讨论了该模型的特点.提出了今后的一些研究工作.
其他文献
在小学数学教学过程中,教师应对学生的自身能力与自主学习能力进行培养,并努力激发学生的个人兴趣,以保证学生的学习方法、学习能力得到积极提升.在本文中,根据教学中的实际
这篇论文研究了股东人数波动、股票买卖的限制、信息披露以及流通时间等对资产定价的影响.论文共分五部分.第一章简单评述了与论文的研究相关的经典的资产定价模型,然后介绍
本文主要是在锥上构造了三个非凸收缩核，同时用得到的非凸收缩核来计算不动点指数. 首先，我们对泛函形式的拉伸和压缩不动点定理的研究现状进行了简要的概述. 然后，在凹性
以联苯三唑醇为模板分子,通过电聚合邻苯二胺,在玻碳电极表面制备了对模板分子具有特异识别的分子印迹电化学传感器。实验选用铁氰化钾(K3[Fe(CN)6])作为电活性探针,采用循环
该论文包含了两个方面的内容.第一方面是关于多指标随机过程的样本轨道的分形性质的研究.具体来说,我们得到了对称稳定过程的水平集的确切Hausdorff测度函数.论文的第二部分
这篇博士论文集中了作者在攻读博士学位期间的主要研究成果.在第一章,我们构造了一个稳定调和映射序列,并说明它的弱极限是非稳定性.构造的动机是基于这样一个观察:如果将调
聚类分析是数据采掘和探查性数据分析中一个极为重要的技术,已被广泛地应用于工程、生物、心理、计算机视觉和遥感等领域.其目的是寻找隐藏在数据中简单有效的结构,而不只是
本文用谱方法讨论如下形式的具常迁移率的四阶抛物型CahnHilliard方程的初边值问题： {(e)u/(e)t+γ(e)4u/(e)x4=(e)2ψ(u)/(e)x20＜t＜T,-π≤x≤π(1){u(x-π，t)=u(x+π,t)0＜t＜T(
近年来,随着信息产业的飞速发展,多媒体、计算机网络、个人移动通信等技术带领人们进入了数字化、网络化的时代.同时,以Internet为先锋的网络化浪潮更是席卷全球.多播作为一
近年来，在保险，金融，随机网络理论，自然生活中重尾分布被用来做数据的模型，成为较热的研究课题.若事件尾部发生概率大于正态分布尾部发生概率，则称该类事件服从重尾分布，在重尾分布