析取

基本解释 (translations)

extract  ·  scorify  ·  extracts  ·  scorified  ·  scorifies  ·  scorifying

与析取相关的网络例句 [注：此内容来源于网络，仅供参考]

Firstly, we analyze the deficiencies ofexisting ones, extend domains of fuzzy logical operators from the cap product withtwo sets to them with arbitrary (finite, enumerable, or non-enumerable) number ofsets to form two general mappings so as to conform them to the fuzzy conjunctionand infimum, and to fuzzy disjunction and supremum, respectively, and fuzzify theset inclusion of fuzzy sets. Similar to the classical adjunction, the concept of fuzzyadjunction is introduced.

首先分析了原有"模糊形态学"框架的缺陷，进而将模糊合取和模糊析取算子的定义域从两个集合的笛卡儿乘积推广到任意多个集合的笛卡儿乘积，形成两个一般的映射，使得模糊合取与下确界、模糊析取与上确界保持一致，以此将模糊集的包含关系一般化。

Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.

通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

To be further, the second study explored the disjunctive effect on college students in the solution of disjunctive reasoning problems.

实验1主要考察了大学生被试完成不确定情景下的析取推理任务的推理水平和影响因素，实验2主要考察了中国大学生被试在解决析取推理问题中的"析取效应"。

In order to give a interpretation of the combination, the thesis compares the disjunctive combination of information sources with this combination method, and proves that the combination method is equal to the disjunctive combination.

为了解释这种组合方法，本文把该组合方式与信息源的析取组合进行了比较，证明了在合理的情况下，该组合方法与信息源的析取组合是一致的。

As one kind of compound reasoning, disjunctive reasoning has been full researched by the domestic researchers, but the related study on disjunctive reasoning under uncertainty is not so rich. Therefore, it is worthy of research.

析取推理作为一种复合推理，国内学者已有研究，但在不确定情景下，析取推理的表现以及影响推理的因素研究较少，值得对此进行探索。

If we took 'jade' to denote a disjunctive non-kind, we would take it to denote the disjunction of jadeite and nephrite, the two types of jade.

如果我们用"玉"指称一个析取的非类型东西，我们会指称"硬玉"和"软玉"的析取，玉的两类。

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命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

与析取相关的网络解释 [注：此内容来源于网络，仅供参考]

disjunct：析取项

析取范式|disjunctive normal form | 析取项|disjunct | 析因试验|factorial experiment

disjunction sign：析取记号

disjunction 析取 | disjunction sign 析取记号 | disjunction symbol 析取记号

disjunction symbol：析取记号

disjunction sign 析取记号 | disjunction symbol 析取记号 | disjunctive normal form 析取范式

inclusive disjunction：包含性析取;可兼析取

inclusive 包含的;可兼的 | inclusive disjunction 包含性析取;可兼析取 | inconsistent 不相的(的);不一致(的)

disjunction type：析取型

disjunction 析取 | disjunction type 析取型 | disjunctive concept 析取概念选言概念

disjunctive normal form：析取正规形式

析取合取目标树 disjunctive conjunctive goal tree | 析取正规形式 disjunctive normal form | 析取搜寻 disjunctive search

disjunctive concept：析取概念

根据概念反映事物属性的数量及其它们的相互关系,可分为合取概念(conjunctive)、析取概念(disjunctive concept)和关系概念. 合取概念是根据一类事物中单个或多个相同属性形成的概念. 这些属性在概念中必须同时存在,缺一不可,

disjunctive concept：析取概念选言概念

disjunction type 析取型 | disjunctive concept 析取概念选言概念 | disjunctive set 不连接的组集

disjunctive search：析取搜寻

析取正规形式 disjunctive normal form | 析取搜寻 disjunctive search | 析取三段论 disjunctive syllogism

disjunctive syllogism：析取三段论

析取搜寻 disjunctive search | 析取三段论 disjunctive syllogism | 磁盘 disk