基于时间逻辑的航天器控制系统故障诊断的深层知识表示方法

本文介绍了一种关于时间逻辑的知识表示方法，引入了特征量属性及动态框架、事件、衍生事件的概念，给出了与时间有关的事件及包含事件间时间逻辑关系的衍生事件的表示方法，并将它们应用于航天器控制系统实时故障诊断专家系统中。这一研究是对时变系统深层知识表示方法的新探索。