区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。
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.
不同的时态逻辑能够适应不同的推理任务。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
本论文的背景是高炉炉况诊断系统，论文主要包括扩充的时态黑板模型、推理机的设计与实现。
The background of the paper is Status Diagnosis System in Blast Furnaces. The dissertation includes: extended blackboard model, design and realization of inference.
本文提出了模糊初值的概念，通过映射贴近度到模糊初值空间，我们给出了模糊时态逻辑中的一种新的推理方法。
This Paper presents a new concept of fuzzy beginning value. By mapping the degree ofcompatibility into the space of fuzzy beginning values. We give a new method pf fuzzy tense logic.
本文提出了模糊初值的概念，通过映射贴近度到模糊初值空间，我们给出了模糊时态逻辑中的一种新的推理方法。
This Paper presents a new concept of fuzzy beginning value. By mapping the degree ofcompatibility into the space of fuzzy beginning values. We give a new method pf fuzzy tense logic.
应用推荐