查询词典 threshold logic

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

His logic does not possess the essential characteristics of syllogism, and thus is not logic in its reasoning.

但该逻辑不具有三段论的实质特征，因而不能成为严格的逻辑推理。

Defining the problem. Firstly, two important concepts------judicialreasoning and the explanation of law ------are introduced. After that,law-applying process is examined by way of syllogistic argument. Hence, the work of this paper is determined: to analyze the law-applying process on 3 phrases cognizanting of the facts, interpreting of law and making judicial judgment; to define the mission of Logic concerning the difficulties of AI in Law System, and therefore to introduce my understanding of the main task of logic in 21st Century: problematic reasoning.

首先解释了本文所使用的两个重要概念：法律推理和法律解释，而后以三段论的方式考察了法律适用的过程，最后说明本文所要作的工作：在事实认定，法律解释，司法判决三个阶段上以逻辑的手段分析法律适用是如何进行的；逻辑和法律的新的契合点——人工智能法律系统所面临的困境给逻辑学规定了什么样的任务，并由此提出我所理解的逻辑学在21世纪的研究重点：或然性推理。

This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

The Logic-information method is one kind of theories of quantification, and it is a comprehensive mathematical analysis method based on symbolic logic, Comprehensive analysis, and mathematical statistics.

逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。

Considering that symbolic logic is an extremely specialized field (a layman would not understand an article on logic), it was not that different from engineering or science.

考虑到符号逻辑是个极专门的学科（这是从外行人看不懂得逻辑文章来说），它和理工科差不太多的。

The chapter fivediscusses the combinfing methods between fuzzy logic and symbolic expert system,fuzzy logic and neural network.

第二章介绍专家系统…般的结构功能和研究课题；第三章介绍BP网络的相关概念以及改进学习算法；第四章在分析了符号专家系统和神经网络的优缺点的基础上，提出了三种结合模型，并阐述了本论文所采用的结合模型；第五章讨论了模糊逻辑同符号专家系统、神经网络相结合的方法。

This theorem states that the sum of the symmetric logic variables constitutes a level-0 kernel of the symmetric logic function.

该定理表明，对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。

As more and more philosophers, both in China and in the West, are making efforts to de-center logic by exposing its inherent deficiencies, including its tautological character and its closedness as a system, translation studies would do well to re-articulate its troubled relationship with logic.

另一方面，不管是中国的思想家还是西方的哲学家，都已经开始揭露逻辑本身的弊端、它的重复性和封闭性，以打破它的中心主义态势。

As a dominant party,CPC government should play a guardian,supervisee and guarantee role to overcome all the difficulties in the development of charitable cause and bring it into full play in the establishment of harmonious society on policies and regulations basis.

在中国共产党的文献中第一次把发展慈善事业提到&最广泛最充分地调动一切积极因素，不断提高构建社会主义和谐社会的能力&的高度来认识。近年来，社会学界对慈善事业的理论专著发表较多，有鉴于此，笔者不揣浅陋，谈谈自己的认识和见解。

Flow through the land, the land of the scale of operation allows the effectiveness of the land may be raised.

通过土地的流转，土地的规模经营可以让土地的效益得到提升。