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

Temporal problem in fault diagnosis expert system of spacecraft

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

The representation of time factor in the knowledge base was discussed. The temporal logic relations among time mark for knowledge, data and events were studied and the object-oriented knowledge representation on the temporal logic by Allen theory was presented. It was found that a dynamic knowledge base can be constructed by marking and explaining real time data, so that the knowledge in real time can be expressed, managed and reasoned. An effective way to complete the fault diagnosis in the large-scale and complex real-time diagnosis system was provided.