关系逻辑

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 logical relation of fuzzy action, the action rules and the properties of the action relations on Mizumoto s fuzzy implicative algorithm are discussed.

对社会科学中的两个元素之间的作用关系进行了研究，从而给出了社会关系中的作用关系的描述，讨论了关于Mizumoto蕴涵算法的作用关系的性质、作用规则和模糊作用的逻辑关系，为研究社会关系中的作用关系理论提供了一种数学方

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

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

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

The thesis explains how to design the PORR logical structures based on EASYBAS file system [6] , and gives the mapping relation between logical and storage structures.

在逻辑、物理存贮设计方面，详细介绍了在EASYBAS文件系统的基础上实现PORR逻辑结构的方法，给出了逻辑结构与物理存贮结构之间的映射关系。

The first, based on the realistic logic, depicts the intrinsic connection between things. It is enabled to possess tractility of time by enumerating, juxtaposing and combining the time and space.

现实的、逻辑的时空建构是以客观现实的逻辑为基础，画中描绘的事物有一种内在联系即内在的逻辑关系，是对现实的时间、空间进行罗列、并置、组合，使之具有延续性和延展性。

In order to get out from the cockamamie work in road route design for designers, on the basis of studying the internal relations among local schemes, local scheme was decomposed to small unit logic schemes; the directed network was used to represent the topological connection; the united data structure of point-arc was used to express a network graph. Based on the shortest path theory, the combinatorial optimization algorithm that can search optimal logical schemes of some targets in the network graph intelligently and can form the whole scheme automatically was put forward.

为了使设计者从道路线路设计的繁重计算统计工作中解脱出来，在研究了局部方案间内在关联的基础上，提出了将局部方案分解为更小单位的逻辑方案，用有向网络图表示逻辑方案间的拓扑关系，采用节点－弧段联合数据结构来表示网络图；同时基于最短路径理论，提出了在网络图中智能化搜索综合指标最优的逻辑方案集，自动形成整体方案的组合优化算法。

5B Careful comparison of the two forms of transport will show riding bicycles is more convenient.

在小句复合体内部的整合中，最常见的整合方法是使用名词词组替代原句中表达某些逻辑关系小句，如：因果关系、比较关系、条件关系、顺序关系等，再将整合后的名词词组填充在新小句的功能空位--主语或补语的位置上。

The study objects of glossematics are not the morphological meaning in grammar and their category, but the relation between morphology meaning and category.

这一系列关系实际体现的是几种基本逻辑关系，即合指、析指、排斥及蕴含关系，叶尔姆斯列夫之所以要定义出三套术语，目的是要区分不同层面的关系，即语言的内容和表达、形式和实质之间的关系。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。