逻辑系统

This thesis makes a study of learning algorithm for adaptive fuzzy logic systems.

对自适应模糊逻辑系统的学习算法进行了研究。

HARUKI IS A DISTINGUISHED SCHOLAR OF THIS SORT OF SCIENCE, BY HIS INSIDE LOGIC-SYSTEM, BUT NOT INTUITIVISM.

村上是这门类的杰出科学家，通过内部逻辑系统而非直感。

The data flow diagram describes the logical system .

数据流程图描述了逻辑系统。

There exists the similar relation between the necessitation and modal logic .

对必然化规则和模态逻辑系统来说有类似的结果。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The argument depends on the fact that functions which assign values to expressions are used in dealing with both the ontic and epistemic levels of the illocutionary system, and that in both cases, the functions provide the basis for establishing soundness and completeness results.

这一论证依赖于这样的事实，即表达式的赋值函项可被同时用于处理语力逻辑系统的本体和认知层面，在这两种情况下，这些函项都为建立恰当性和完全性的结果提供了基础。

Systems of illocutionary logic have both ontic levels, concerned with truth and truth conditions, and epistemic levels, which are concerned with illocutionary force and illocutionary acts.

语力逻辑系统既包括本体层面，与真及成真条件有关，也包括认知层面，与以言行事的语力和行为有关。

The structure of fuzzy logic system predicator based on neural network is proposed . Its parameter training is carried out by using mutation GA algorithm and self-tunning adaptivity aross .

提出了基于神经网络的模糊逻辑系统辨识器的结构形式，利用自适应交叉率，变异率GA算法对其进行参数训练。

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

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.

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