逻辑系统

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中，引入了几类相应的推理规则。

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 而在你们心思的灵里得以更新