航天器故障诊断中的时态问题

讨论了知识表示中时间因素的表达问题，研究了知识的时间标志、数据及事件间存在的时态逻辑关系，在Allen时态逻辑的基础上建立了一种基于时态逻辑面向对象的知识表示方法，通过对实时数据进行时态标识并进行解释，建立动态知识库，对实时信息进行表达、管理及推理,可为具有时态性质的系统状态分析奠定基础，为解决大型复杂实时领域中的诊断问题提供一条可行的途径。

Temporal problem in fault diagnosis expert system of spacecraft

Discusses the representation of time factor in the knowledge base, and studies the temporal characteristics about knowledge and the temporal logic relationship of data or events and the object-oriented knowledge representation on the temporal logic by Allens theory, and points out a dynamic knowledge base can be constructed by marking and explaining real time data, then the knowledge in real time could be expressed, managed and reasoned, and the method should become a feasible and effective tool to complete the fault diagnosis in the large-scale and complex real-time diagnosis system.