推理

This paper presents the problems and solutions for the implementation of Prolog inference engine based on WAM.

提出了在实现基于WAM架构的C-Prolog推理引擎过程中所遇到的问题，以及相应的解决方法和策略。

Enterprise management decision ; expert system ; inference engine ; PROLOG language ; function

企业管理决策；专家系统；推理机； PROLOG语言；功能

A model can be described by one or more predicates. They can be stored to dynamic database of PROLOG system. It uses inference to evaluation.

一个模型用一个或多个谓词来描述，把它们存放在PROLOG系统的动态数据库中，然后使用推理机进行求解。

We can discuss the logical properties of individual terms of proper names and descriptions.

在探讨日常推理中的问题时，则把专名当作类来处理，因此存在许多问题。

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算。

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

The result generated by the prover will be the input for the next testing run.

推理所得的结果则为下一轮测试的输入。

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

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

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

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.

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