推理

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

The thesis first recommends the famous fuzzy Gaussian approximation system which is based on the Gaussian membership function, the fuzzy logic of product reasoning and the fuzzy law of weight approach. This thesis is discusses the general fuzzy Gaussian membership function that can approximate the form of triangular, trapezoid and Gaussian function , and its basic form is .The general fuzzy Gaussian membership function is to be generally used in the field of approximation .

模糊逼近是近年来发展比较迅速的一个新兴方向，论文首先给出了模糊理论中著名的基于高斯隶属函数、乘积推理模糊逻辑和重心解模糊法的模糊高斯型万能逼近定理，在此基础上本文进一步给出了可以用来逼近三角形、梯形和高斯形的广义高斯隶属度函数形式，它的基本形式是。

To realize those, it's necessary to increase the logicality on the web. So we can use rule to reason and select the step of action as a result.

实现这一切，就需要在Web上增加逻辑性，使用规则去推理、选择行为的步骤并回答问题。

I was too astonished to reply and when at last I could reason with lucidity, she was gone.

我颇感惊讶，讲不出话来，终于我推理能力还原时，她已跑远去了。

From MacIntyre's point of view, practices and narratives arise in history provide standards for practical reasoning.

按照麦金太尔的观点，历史中兴起的实践和叙事为实践推理提供了标准。

Artificial neural network is an effective non-traditional modeling tool with a strong self-learning ability. It's good at not only thinking, summarizing, analogizing, reasoning, but also analyzing and extracting the law of macrostatistics from a large number of statistical data. At the same time, it also has a strong robustness, fault tolerance as well as formidable parallel computing ability.

人工神经网络具有很强的自学习能力，善于联想、概括、类比和推理，能从大量统计资料中分析提取宏观统计规律，同时具有很强的鲁棒性、容错性以及强大并行计算能力，是进行非传统建模的有效工具。

As the major premise, a legal norm is logically made up of component elements and legal effects.

其中，作为推理大前提的法律规范，由构成要件和法律后果的逻辑结构组成。

The formation of a scientific physics concept is the major premise and the basis for the command and application of physics.

分析与解决物理问题，选择物理定律和公式的过程，就是运用一系列物理概念在头脑中进行思考、判断、推理的过程。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。