推理

For the effects of the disenchantment of the world, men used a kind of tools of reasoning and calculation, denying the pre-existence of the value, to pick up the elements of liberalism, such as people's subjectivity, the existence of plaralistic value and so on.

人类在社会理性化过程中达到了为世界祛魅的效果，运用一种推理与计算的工具，否认价值的先在性，从而得出人的主体性、多元价值的存在、价值中立等自由主义的元素，使得自由主义成为现代社会最基本的意识形态和最基本的组织房、则。

With the limitation of the line detection based on traditional Hough transform that the information of the length and the end points of the line is unavailable, a new algorithm which makes use of the accessional strategy based on precognition information is put forward to meet the demand for more information of the line, simulation results show this method is effective. Finally, the whole process of airport target recognition is presented and the result images are also given.

使用分形方法提取目标的特征，在知识指导下，提出了一种基于目标特征模型的降维的形态学分形维数计算方法，对传统分形方法进行了改进，从理论上推证了算法的合理性，并对算法进行了仿真分析；针对传统Hough变换无法获得线段端点和长度信息的局限性，提出了一种基于目标特征先验知识的Hough变换融合策略，通过引入目标先验知识，可以有效地获得直线信息；对信息多而复杂的机场目标采用基于知识的目标识别方法，使用置信度模摘要型实现不确定推理，对目标进行识别判断，将知识贯穿于整个识别过程中，对目标进行了有效地识别。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

The structure and process in PI is similarly to deduction in logic. But PI has much richer structures than predicate calculus. It is a complex of logic and psychology.

PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Deductive database makes good use of predicate logic.

因为它有严格、系统的数理逻辑理论基础和较强的推理能力。

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

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.

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