传统的适应冯·诺依曼机器体系可执行语言的特征即表示自动机的状态转换机制，其方式是命令式的，其语义是动态的；而适于这种模型的规范语言，其语义则是静态的。当遇到动态的、实时的、并发的或具有其他时态特性的推理时，这种静态的推理方式则有较大缺陷。作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。它能有效地运用于规则的组织、推理与架构，并应用于知识库、智能决策支持系统、实时数据库、专家系统等。 另一方面，在现行知识库中对于规则的组织、调度与推理并无统一标志。这种无统一性，造成在设计知识库时，由于外部条件、事件的不可确定性，使得库内结构复杂，增加了设计的困难，也增加了推理的复杂度和准确性。 由此，针对知识库，可以做一个这样的探讨：使用时态逻辑对知识规则进行构架，在知识库内则用时态逻辑断言进行推理，从而使得对知识库的规则驱动有了一个统一的标志——时态。 本文从时态逻辑及其知识表达开始介绍，并给出了时态逻辑对知识规则的构架与推理的实例在新应用领域的研究与模拟实现，最后对知识库的时态驱动给出探讨。其主要工作与贡献包括：一、在时态逻辑对知识规则的构架与推理方面，针对性地给出了实例，在新应用领域上进行了研究与模拟实现；二、针对知识库外部的事件驱动特性，以及内部规则组织与架构，对知识时态驱动给出了开创性探讨。