1) procedure reasoning system
过程推理系统
1.
Operational plan making based on procedure reasoning system;
采用过程推理系统的作战方案生成研究
2.
Agent is applied in military system widely,and procedure reasoning system(PRS) can be used to produce operational plan automatically.
智能体技术在军事领域得到了广泛的应用,过程推理系统可用于作战方案的自动生成。
2) inferential process
推理过程
1.
After a holistic review of the development of the theories on these two types,this paper analyzes their inferential process from the pragmatic and cognitive perspectives and discusses the similarities and differences between them.
回顾了两者各自理论的发展,然后从语用和认知的角度分析这两种间接语言现象的推理过程,进而探讨其异同点。
2.
On the basis of a re-interpretation of relevance-theoretic comprehension mechanic,the author holds that the optimal relevance that the translator strives for is dynamic and relative,which is in agreement with the nature of translation,and then tries to re-interpret the mental faculty of the translator in the inferential process of translation.
基于关联话语理解机制再阐述,认为译者力争的最佳关联性是动态的、相对的,符合翻译的本质特征,并试图对翻译过程中译者大脑运作机制的推理过程作进一步阐释。
3) Process Management System
过程管理系统
1.
Learning process management system is an important supported method to develop query-based learning in Web-based environment, which providing a general and unified network platform.
学习过程管理系统是开展基于网络的研究性学习的重要支持手段,它为大学生开展基于网络的研究性学习提供了一个通用的、一体化的网络支持平台。
5) reasoning system
推理系统
1.
For the validation of complex simulation systems,the general structure of the simulation validation tool was presented from the perspective of knowledge,and such key components as the validation data base,validation method base,validation rule base,and reasoning system were designed.
针对复杂仿真系统的验证问题,从基于知识的角度提出了仿真验证工具的总体结构,对验证数据知识库、验证方法知识库、验证规则库和推理系统等关键组件进行了设计,并开发了仿真验证工具。
2.
The reasoning system is designed and implemented based on tableaux algorithm of DL.
设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力。
6) deductive system
推理系统
1.
Lastly, the deductive system of sub-Hilbert algebra is dicussed.
首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wa jsberg代数及弱R0 代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条