逻辑系统

In this method, two fuzzy logic systems are used to approximate unknown functions, and an error compensator is designed to reduce the influence of approximation error on tracking accuracy.

针对一类非线性系统提出了间接自适应模糊控制方法，该方法用模糊逻辑系统逼近未知函数，并设计误差补偿器来减少逼近误差对跟踪精度的影响。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Based on the supervisory control strategy presented by Wang Lixin in 1994 and the approximation capability of generalized multilinear fuzzy logic systems, a new adaptive fuzzy control scheme called model reference adaptive fuzzy control for M1MO systems is proposed in this paper.

针对一类不确定非线性系统，基于王立新1994年提出的监督控制方案并利用广义多线性模糊逻辑系统的逼近能力，提出了一种MIMO系统的模型参考自适应模糊控制器设计的新方案。

In order to ensure the consistency of the closed-loop system performances, before the AFC is applied, a supervisory controller is used to drive initial tracking errors to a preset closed area, and then the AFC can drive the tracking errors of the closed-loop system to pre-specified neighborhood in the presence of unknown approximation errors of the fuzzy logic system.

为保证系统性能的一致性，在启动自适应模糊控制器前，采用监督控制将初始跟踪误差镇定到给定范围。自适应模糊控制器可在存在模糊逻辑系统逼近误差的情况下，使系统跟踪误差小于预先给定的任意常数。

Secondly, the realization of dialectical logic mathematics research planning" Research outline of universal logics" put forward by the authors is introduced briefly, and the main point of" the standard proposition universal logics" set up under the guidance of the outline is also introduced.

其次，简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》，及在纲要指导下建立的《标准命题泛逻辑学》要点，指出该逻辑系统在包容各种辩证矛盾的同时，有效地排除了逻辑矛盾。

According to the properties of dynamic doxastic logic and stable sets, we built a DDL system for revision on stable sets; model completeness has been proved there.

4根据动态信念逻辑和稳定集的特点，构造了一个关于稳定集修正的动态信念逻辑系统，其中模型完全性得到了证明。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

Such a system may satisfy legal issues better than any traditional deontic logic systems.

它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。

The paradox in this article just means that the conclusion drawn from certain theorem of deontic logic does not accord with people's direct or common sense or habitual understanding, not means what we generally called, which would lead to contradictions in logical system.

文中所说的&悖论&，只是指由道义逻辑中的某个定理推出的结论，与人们在直观上或常识上或习惯上的理解是不相符的，也不是通常说的那种会导致逻辑系统产生矛盾的悖论。

Thus the true-false subset semantics provides a proper semantic representation for non-normal modal operator.

这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示，是对经典的正规模态算子可能世界语义的一个重要发展，是理性Agent性态的逻辑规约的有力工具，可应用于建立新的合适的Agent逻辑系统。

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.

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