查询词典 logic

As a kind of argumental logic,Mo-jing logic iscloser to the critical thinking attached importance in contemporary west.

作为一种论证逻辑来说，墨经逻辑更是与当代西方普遍受到重视的批判性思维接近。

The next section discusses branchless logic, and demonstrates the most common branchless logic sequences.

下一节中我们讨论非分支逻辑，并给出一个非分支逻辑流的一个最常见的实现。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

Programmable fuzzy logic controller ; Evolvable hardware ; Genetic algorithm ; Fuzzy logic

可编程模糊逻辑控制器；演化硬件；遗传算法；模糊逻辑

On the contrary, logic programming languages, based on Horn clause logic and resolution, allow existentially quantified variables and partial data structures but lack both deterministic evaluation and lazy evaluation.

相反，基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质。

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假定意义的基础上定点比较，对照了缺省逻辑与演绎逻辑的差异，并有代表性地分析了支持缺省逻辑推导的知识项如原型等。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐