论文部分内容阅读
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent 的技术被认为是软件领域中的一次重大突破。 本文提出了一种基于动态逻辑的Agent的BDIK_h形式化模型；定义了信念、知识、愿 望、目标、意愿和Know-how；描述了它们的逻辑；讨论了Agent所具有的性质；给出了 这个模型的完备性的证明；在一定条件下避免了逻辑全知问题；解决了无为而治问题以及 理论与实践分离的问题；同时动态逻辑的灵活性和动态性更好地描述了Agent的动态性质。