逻辑系统

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在这样做的国家。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新