2) dynamic inference and recognition
动态推理与识别
1.
Finally,the dynamic inference and recognition theorem of knowledge,and the dynamic inference and recognition theorem of S-rough sets were given.
利用数理逻辑中命题逻辑的形式,给出元素干扰与关系因子的逻辑推理表示,然后给出知识系统受到外部因素干扰时,知识的逻辑推理表示,以及S-粗集的逻辑推理表示,给出知识的动态推理与识别定理,S-粗集的动态推理与识别定理。
3) 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.
提出了一个用于规划识别的多层次时态推理算法。
4) situation method
态势推理
6) modal reasoning
模态推理
1.
The eye movements of 60 subjects of Grade 2 in junior high school, Grade 2 in senior high school and Grade 2 in college are monitored during doing modal reasoning.
本研究用眼动记录仪对初二、高二和大二年级各20名视力正常学生进行模态推理的眼动过程进行了记录。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条