大家都搜：
推理机
1、reasoning skills───推理能力
2、rational reasoning───理性推理
3、fallacious reasoning───谬论
4、verbal reasoning───语文推理；文字推理，语言推理
5、reasoning───adj.推理的；n.推理；论证；评理；v.推论；说服（reason的ing形式）
6、reasoning test───推理测验
7、abductive reasoning───[计]反绎推理
8、analogical reasoning───类比推理
9、reasoning ability───推理能力
1、The direct reasoning method with data-driven is used in the reasoning machine, which is more simp le and easier to be realized.───该推理机采用事实驱动的方式作正向推理，比较简单，容易实现。
2、Owing to the way of reasoning machine separated from rule base, it is easier to manage and update the rule base. 4.───并采用规则库和推理机分离方式，使得XiTong规则库的维护和扩充简单易行。
3、An expert system mainly includes knowledge library ', reasoning machine, knowledge obtaining and explaining interface.───专家XiTong主要由知识库、推理机、知识获取部分和解释接口四部分组成。
4、And as the core parts in the design, the knowledge base and the reasoning machine are detailed in the text.───其中，知识库和推理机作为XiTong设计最核心的部分，在文中进行了详细研究。
5、base, rule base and reasoning machine are discussed in detail.───详细讨论了数据库和规则库的建立方法以及推理机。
6、Then by use of knowledge library and reasoning machine, the standard process rules for semifinished products of curved blocks were obtained.───利用知识库和推理机进行工艺决策，生成曲面分段各个中间产品的加工工艺规程。
7、Research and implementation of reasoning machine, which is the core of expert system, are very important in practical sense.───推理机作为专家XiTong的核心，它的研究与实现具有重要的现实意义。
8、And a reasoning machine is designed by means of combining mixed reasoning with blind searching andmeta knowledge searching;───用盲搜索和元知识搜索结合混合推理的方法来构建推理机；
9、The establishment of knowledge base and reasoning machine of reducer three-dimensional parametric CAD expert system───减速器三维参数化CAD专家XiTong的知识库与推理机的构建
1、This expert system uses production rules to represent knowledge. Knowledge base is managed by DBMS . Direct reasoning is made by depth-first search in reasoning machine.
2、The direct reasoning method with data-driven is used in the reasoning machine, which is more simp le and easier to be realized.
3、At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.