推理

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.

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

From this a reasoner can deduce that if Frank hasChild Anna, then Frank must be a Mammal.

据此，一个推理机就可以推出：如果Frank hasChild Anna，那么Frank必然是一个类Mammal的实例。

It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion.

它是一个后向链接推理器，支持欧拉路径检测，可以告诉你给定的一套事实和规则是否支持给定的结论。

He disclaims for them the notion that the will of man was destitute of spontaneous activity, and speaks somewhat confusedly, for he is by no means a good reasoner, of 'a mixture' of the Divine and human elements, in which the human will, with its sequence of virtue or wickedness, is subject to the will of fate.

他不为他们的概念，意志的男子穷困的自发活动，并讲有点混乱，他绝不是一个很好的推理的'混合物'的神和人的要素，其中人的意志，其序列的美德或邪恶，是受意志的命运。

You may receive this dogma of one great thinker, or that dream of another profound reasoner, but what the chaff is to the wheat, that will these be to the pure word of God.

你可能从一位伟人的思想家得到一些教条，从另外一位深奥的推理学者得到一些梦想。

A new method of web service composition based on MP algorithm is proposed for improving the composition of web services that is located in different UDDIs, and the performance of the semantic reasoner in the process of web service composition.

该方法可以方便地在UDDI(universal description， discovery and integration)之间的web服务之上进行合成，并有效结合了语义推理机，提高了算法的效率。

From this a reasoner can deduce that if an individual is related to another by the hasSibling property, then it is also related to the other by the hasRelative property.

据此，一个推理机可以推断：如果某一个体以 hasSibling 属性与另一个体相联系，那么它也一定与另外这个个体以 hasRelative 属性相联系。

The ideal reasoner would when he has once been shown a single fact in all its bearing, deduce from it not only all the chain of events which led up to it, but also all the results which would follow from it.

一个理想的推理者当被展示某个事实的所有方面，那他就应该能用演绎法导出这条链中所有导致这个事实的全部因素，同时也应能得到这个事实所可能影响的所有结果

For example, friend may be stated to be a symmetric property. Then a reasoner that is given that Frank is a friend of Deborah can deduce that Deborah is a friend of Frank.

例如，属性friend可以被声明为一个对称属性，如果Frank 是 Deborah的朋友，则推理机可推出Deborah 也是Frank的朋友。

From this information alone, a reasoner can not deduce any maximum number of offspring for individual instances of the class parent.

但是只有这些讯息﹐推理程式并不能推论出后代数目的最大值。

The reasons of iron ions content overproof in grade Ⅱ desalting water system,such as variation water quality,contamination of regenerant , operation adjustment of pretreatment system and switching operation of bed were discussed.

对二级脱盐水系统中铁离子含量超标的原因，如来水水质发生波动、再生剂受到污染、预处理系统操作调整、床体运行切换等进行了论述。

You were hired to drum up new business, so go and do it.

公司雇你招徕新业务，你就做你的事好了。