逻辑系统

Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

并对命题公式的蕴涵问题进行等价描述；对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。

These completeness results further make a great improve on the lattice-valued propositional logic system LP .

这些研究结果进一步丰富和完善了格值命题逻辑系统LP。

We show that there is a polynomial over the rational number field Q corresponding to a given porpositional formula in a given many-valued logic.

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应。

As to segmenting with spectrum, FasART neural networks based on fuzzy logical system is used.

利用光谱信息进行遥感图像分割，采用的是基于模糊逻辑系统的FasART神经网络。

The approach has been to treat games as self contained logical system.

含了逻辑系统。

The objective is to identify and link these key functions and data elements, yielding a logical system design.

目的是要区分并联接这些关键的功能和数据元素，随之产生逻辑系统设计。

At the early 1980s, is an effective mathematic tool to deal with the uncertain or fuzzy knowledge. Rough rule theory has been widely used in information retrieval, digital library, software engineering and knowledge discovery. Its main idea includes acquisition of rough decision rules by reduction of data under the condition of keeping an invariability of classification capacity. And it basically represents a concept by a pair of approximation sets according to the partition on the given data based on the indiscernibility relation. Rough sets theory is well suited to deal with inconsistency of the rough approximations. So it is a new mathematical tool dealing with vagueness and uncertainty, and has found its applications in many areas such as AI, KDD, pattern recognition and classification and fault diagnosis.

主要完成了以下几个方面的工作：(1)对于高速移动机器人车道线跟踪问题中的规则知识获取，首先阐述了模糊逻辑系统的基本特点、工作原理和基本作法，分析了模糊规则知识获取过于依赖专家经验知识、对于每一个细节几乎都需要人工主观经验的参与、难以处理大数据集样本等方面的不足，进而阐述了粗糙集合理论的基本特点、基于粗糙集合理论的规则获取的关键技术和工作原理，为后续章节中经典粗糙集合模型的扩展及粗糙决策规则集的性能分析做好基础；(2)在经典粗糙集理论及其一般扩展的可变精度粗糙集VPRS的基础上，提出了非均匀可变精度粗糙集模型k-VPRS。

Finally, an example in fault diagnosis is presented to show the effectiveness of the proposed unascertained logic syste

以故障诊断领域中一个算例作为未确知逻辑系统的应用实例。

On the basis of unascertained set, an unascertained logic system is set up, and it can be used to deal with the uncertain information.

在未确知集合基础上，建立了未确知逻辑系统，用以处理未确知信息。

We recently installed EFI's Logic system and are one of the first trade binderies in the country to do so.

我们最近安装的电控喷射的逻辑系统，第一个贸易binderies在这样做的国家。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。