微分算子论文

张春霞[1]2000年在《基于动态逻辑的Agent的形式化模型》文中认为随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent的技术被认为是软件领域中的一次重大突破。本文提出了一种基于动态逻辑的...