逻辑的

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

Studying the course of development of these two kinds of logic from this point of view,one can find that rationalist philosophy always attaches importance to deductive logic,and experientialist philosophy to inductive logic.

从这一点出发考察此二种逻辑的发展过程可以发现，演绎逻辑总是受到理性主义哲学的重视，归纳逻辑总是受到经验主义哲学的青睐。

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

The reasoning theory of ancient India is not the same as the syllogism of ancient Greece.

古印度的因明不等同于古希腊的三段论，以墨家逻辑为代表的中国古代逻辑也不应是西方传统逻辑的复制品。

Keywords: logic of tasks;decidable;description language;multi-agent system;organization model

将所构造的逻辑系统应用于具有组织的多主体系统行为建模，建立了基于描述任务逻辑的多主体组织模型和建模框架，并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点。

On the basis of I and Q meanings , this paper focally compares and contrasts default logic with deductive logic , and representatively analyses defaults such as prototypicality , etc .

在分析I和Q假定意义的基础上定点比较，对照了缺省逻辑与演绎逻辑的差异，并有代表性地分析了支持缺省逻辑推导的知识项如原型等。

As one of the important fuzzy logic algebraic systems, Residuated lattices have broad applications.

在解决模糊推理的逻辑基础问题中，模糊逻辑相应的代数系统是非经典逻辑的一个重要研究方向。

Jin Yue Lins logical thoughts is mainly reflected in his traditional and modern logical thoughts.

金岳霖的逻辑思想主要体现在他的传统逻辑和现代逻辑的思想之中。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。