查询词典 Reasoner

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

The reasoner is used to identify the car emblem by the use of the knowledge base.

推理机是利用知识库中的知识进行车徽识别的过程。

Based on production representation method, design method and reasoning process framework for system reasoner are presented.

基于产生式表示法，本文提出了系统推理器的设计思路和推理过程框架。

From this a reasoner can deduce that if an individual is a Person, then it is also a Mammal.

一个推理机就可以据此推断：如果某个个体是一个"人"，那么它也是一个"哺乳动物"。

The establishment method of the integrated knowledge database and realization of the integrated reasoner and software design for expert system are presented.

说明了专家系统综合知识库的建立、综合推理机及软件设计的实现等技术。

"I do not see how the sloppiest reasoner can evade that".

"我不明白最散漫的推理者如何逃避这一点" H·G·威尔斯）。

Someone could know all the physical facts, be a perfect reasoner, and still be unable to know all the facts about consciousness on that basis.

有些人或许可以知道所有的物理事实，而且是完美的推理者，但仍然不能基于此而知道关于意识的所有事实。

Anjo is no great reasoner where affection enters,but shrewd enough without it.

班卓支感情的时候的确没什么头脑，平时可够精明的。

Knowledge system is the frame of the car emblem recognition algorithm which is based on knowledge and neural network. The algorithm consists of knowledge base and reasoner.

基于知识与神经网络的车徽识别算法以知识系统理论为理论框架，由知识库和推理机两部分组成。

For the fuzzy issue of Knowledge Base form, the reasoner parses it and then does fuzzy reasoning by the rules, gives the corresponding results. Finally, an experiment of KB reasoning is applied to prove the capacity of this reasoner.

对以知识基形式存在的模糊问题，解析后利用规则进行模糊推理，给出相应的结果，最后还通过一个知识基推理的实验，对本推理机的能力进行了必要的检验。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。