随着计算机网络以及基于网络的分布式计算的发展,对于Agent技术的研究,已经成为人工智能领域以及分布式人工智能的一个热点和重要的研究方向。Agent技术,特别是多Agent技术,为分布开放系统的分析、设计和实现提供了一种崭新的方法,由此产生了一系列新的思想、方法和技术。基于Agent的技术被认为是软件领域中的一次重大突破。 本文在VSK逻辑的基础上,引入了信念(Belief)、愿望(Desire)和意图(Intention)等三个思维属性,提出了一种对Agent的信息特征及其思维属性进行推理的形式化体系-VSK-BDI逻辑。VSK-BDI逻辑是一种命题多模态逻辑,定义了访问、感知、知识等算子,用以表示环境中客观真的事物、以及对Agent而言,环境中可访问的信息、Agent能感知到的环境信息以及Agent真正知道的信息;同时定义了信念、愿望、意图等算子,用以描述Agent具有的内部思维状态;并考虑了所定义的算子之间的关系。在提出了VSK-BDI逻辑并且建立了它与Agent的形式化模型间的关系后,给出了该逻辑的公理体系,并对其合理性进行了充分的阐述:同时给出了该公理体系的一致性、完全性以及完备性证明;最后,通过具体实例说明了此逻辑的用途,并讨论了今后的一些研究工作。该形式化模型是基本可计算的;其语义是自然的、合理的;由于考虑了Agent对所处的客观环境的认识及其思维状态之间的相互关系,因而能够更好的描述Agent的动态性。