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