1) bound time reason
限时推理
2) circumscription reasoning
限定推理
3) real time inference
实时推理
1.
To control the viscosity of an industrial PET process, an expert intelligent control system based on expert knowledge and real time inference mechanism was developed, with which the viscosity could be well recognized and controlled.
针对某工业聚酯粘度控制问题， 研究建立了基于专家知识和实时推理的专家智能控制系统， 它能有效地对聚酯粘度进行识别及控制， 现场的在线运行结果令人满
4) temporal reasoning
时态推理
1.
A visualized temporal reasoning method;
一种可视化的时态推理方法
2.
The development of temporal reasoning and spatial reasoning is discussed from three aspects: Ontology, representation model and reasoning methods, and the research progress of spatio-temporal reasoning is summarized.
从本体、表示模型和推理方法3个方面分别介绍了时态推理和空间推理的发展,并在此基础上综述了时空结合推理的研究进展。
3.
This paper presents a temporal reasoning algorithm about multi-level hierarchy which isused for plan recognition.
提出了一个用于规划识别的多层次时态推理算法。
5) spatio-temporal reasoning
时空推理
1.
Spatio-temporal Query Language Based on Spatio-temporal Reasoning and XML;
基于时空推理和XML的时空查询语言
2.
Composition inference plays an important role in spatio-temporal reasoning,and it s the basic step of other qualitative reasoning such as constraint satisfaction problem.
时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景。
3.
Based on spatio-temporal reasoning,ontologies,semantic Web and expert system technology,a spatio-temporal information management platform for digital agriculture was built.
采用时空推理、本体论、语义Web和专家系统等技术建立一个数字农业时空信息管理平台,对多源、异构的农业时空数据和推理分析方法进行集中统一的规范化管理。
6) temporal reasoning
时间推理
1.
While,traditional Bayesian networks have no temporal semantic,so they can t solve the problem of temporal reasoning for situatio assessment.
基于贝叶斯网络的态势估计方法是目前态势估计领域中的主要方法之一,然而,传统的贝叶斯网络不具备时间语义,因此无法解决态势估计中的时间推理问题。
2.
This paper analyzes the important effect of temporal reasoning in the situation assessment system, introduces the temporal interval theory.
分析了时间推理在态势估计系统中的重要作用,介绍了时间区间理论。
3.
The behavior of fuzzy time Petri nets can be constructed and temporal reasoning can be realized using the rules defined.
针对传统分析方法的不足 ,提出用线性逻辑给出模糊时间 Petri网描述和时间推理的方法。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条