随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究己成为分布式人工智能(DAI)重要的研究领域。Agent系统的研究成果主要基于思维状态的BDI模型和VSK逻辑。Agent思维状态的BDI模型是指如何形式化地描述Agent的各种思维属性和它们之间的关系，以及与Agent规划、行为、协调、合作等活动的关系，进而指导Agent系统的构建。基于VSK逻辑的Agent系统是对处在特定环境中的Agent信息特征进行推理的一种多模态逻辑，使用VSK逻辑，我们能表示环境中客观真的事物，在环境中可以访问的信息以及Agent借助于感知器能感知到的信息，还能表示Agent真正知道的信息。本文试图将Agent的BDI逻辑，VSK逻辑和时序逻辑结合，通过其思维状态以及客观和主观认识为达到某一目标或完成任务做出行为选择。提出基于时序逻辑的Agent形式化模型BDI-VSK-T,它是基于BDI逻辑和VSK逻辑展开的，首先融合了BDI逻辑和VSK逻辑，然后在时序上重新定义语义框架，以时序结构构建可达世界。每个世界的时间结构是一个时间树，时间树中的分支代表Agent在相应时刻的动作选择，同时定义相应的模态算子：B(Visibility)环境访问算子、S(Perception)环境感知算子和K(Knowledge)知道算子，它们分别表示Agent对环境的可访问、感知、知道的信息及其特征；Bel(Belief)信念算子，Des(Desire)愿望算子，Int(Intention)意图算子，它们分别用来表示系统状态中的Agent具有的信念、愿望和意图等思维状态．此外在BDI逻辑和VSK逻辑基础上还引入○(next)，◇(eventually)，□(always)，F(full)和E(exist)等五个时序算子，它们分别用来表示系统状态中的Agent状态和它所处环境的有关时间的信息特征。这些模态算子可以按任何可能的方式进行组合以决定Agent面临的动作选择。基于时序逻辑从Agent为完成某项任务时应具备客观环境及其思维出发，能表示随着时间的变化，环境中客观真的事物，在环境中可以访问的信息以及Agent借助于感知器能感知到的信息，还能表示Agent真正知道的信息，同时能够描述Agent在客观环境中具有的信念、愿望和意图等思维状态，而且能描述思维，客观环境，时间的关系及其对Agent动作选择的影响。在此语义形式化环境解释下，用可达世界来构建语义框架并提出了该模型的公理体系，并给出这个公理体系的有效性证明，再进一步用归纳法证明模型的可靠性，用构造法证明了完全性，完备性。