区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。
Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.
本文通过引入时态一致覆盖集的概念，提出一个基于时态推理与覆盖技术的时态外推推理诊断模型TGSC。
By introducing the concept of temporal consistent set covering, a diagnostic model named TGSC based on temporal reasoning and set covering is proposed in this paper.
本文以应急决策支持系统作为课题研究的背景，深入讨论了应急决策系统的时态知识表示方法和决策推理机制。
The research background of this paper is emergency decision support system, the paper discuss problems of the temporal representations and reasoning methods in this domain.
应用推荐