【摘 要】
：
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent
论文部分内容阅读
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent 的技术被认为是软件领域中的一次重大突破。 本文提出了一种基于动态逻辑的Agent的BDIK_h形式化模型；定义了信念、知识、愿 望、目标、意愿和Know-how；描述了它们的逻辑；讨论了Agent所具有的性质；给出了 这个模型的完备性的证明；在一定条件下避免了逻辑全知问题；解决了无为而治问题以及 理论与实践分离的问题；同时动态逻辑的灵活性和动态性更好地描述了Agent的动态性质。
其他文献
该文通过对数据仓核心Epicentre数据模型和POSC DAEF(数据存取和交换技术)的研究,在关系型数据库(Oracle7)环境下,建立了西地所POSC数据仓(POSC DATA STORE),并运用POSC的DAE
全文共分五章.第一章简要介绍了广义凸函数的研究历史及现状,多目标优化的历史,当前国内外的研究现状,该文的由来及该文所常用的记号.第二章介绍了凸集、凸函数及三种广义凸
在该文中,研究人员主要研究了有限时滞差分系统的稳定性,在该文的后半部分,研究人员也讨论了有限时滞差分系统的有界性问题.
这篇文章中,给出了许多不同于以前的新的整树类,便更重要的工作是对有图方面的研究,其主要内容共分三部分:第一部分整谱树:给出了许多新的直径为4、6的整树类.这不仅为人们对
网络的可靠性可以通过图的边连通度来度量.但是，用图的边连通度来度量网络的可靠性存在一些缺陷.为了弥补这些缺陷，Hakimi[1]提出了条件边连通度的概念.图的等周边连通度是一种
本文研究了一类带混合边界条件和扩散作用的比率依赖捕食模型，其中捕食者带齐次Robin边界条件，被捕食者带齐次Neumann边界条件.在这个捕食模型中，捕食者不仅有系统中被捕食者作
在分批运送工件问题中,要求确定工件在机器上的排序,并确定如何针工件分成若干批运送,使得总的送走时间与运送费用(与分批数成正比)之和达到最小.对于单机的分批运送问题,我
在这篇论文中草药,我们对讨论四个问题:Navier-Stokes方程的谱Galerkin逼近及求解逼近方程的一步Newton迭代法,球Taylor-Couette流的谱Galerkin数值模拟,稳态Lotka-Volterra
该文着重对于这两个矩阵类的概念、判定以及等价表征作进一步研究.提出了一些新的广义矩阵对角占优概念,籍之研究M-矩阵和H矩阵,获得了关于M-矩阵和H矩阵的若干实用简捷判据,
本文主要研究Lin-Bose问题。1999年，Lin与Bose基于矩阵的既约子式与最大秩子式的最大公因式，提出了关于n元多项式矩阵子式素分解的一个猜想。实际上，这是一个关于矩阵的行列式分