查询词典 propositional inference

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

Based on the possibility theory, this paper presents an inference model which contains the classical inferences," modus ponens " and "modus tollens".

在可能性理论的基础上，提出了一种新的将经典的假言推理作为它的特例的推理模式，其推理机制是借助于基于max-min合成的矩阵积来实现的。

Mr Moser's biography relies therefore on inference, context and interpretation.

因此，莫沙先生的人物传记就只能参考一些推论、故事背景与作品的讲述。

Topics covered by this course are:(1) Simple linear regression,(2) Inference based on fitted regression model,(3) prediction based on fitted regression model,(4) Application of simple linear regression,(5) Verification of regression assumption,(6) Multiple regression,(7) Qualitative independent variables,(8) Multicollinearity, and (9) Stepwise regression.

课程内容包含：（1）简单线性回归；（2）回归模式适合性的推论；（3）利用回归模式的预测；（4）线性回归的应用；（5）回归模式假设条件的检定；（6）复回归模式；（7）质量性独立变数的处置；（8）共线性的探测；与（9）逐步回归分析法。

A kind of back inference model based on soil pressure for composite soil nailing is presented at last.

最后提出了复合土钉支护的基于土压力的反演分析计算模型。

Membership and nonmembership functions, and the inference rules of the system variables are devised with computational relations between layers of input and output and a synthesized computational expression of system outputs ascertained.

其次，设计了系统变量的属性函数和推理规则，确定了各层输入输出的计算关系，以及系统输出结果的合成计算表达式。

Empirical likelihood, proposed by Owen(1988, 1990), is a nonparametric method of inference.

经验似然是Owen(1988，1990)提出的一种非参数统计推断方法。

The empirical likelihood method of Owen (1988) is a nonparametric method of inference. The method gains an advantage over the classical or the modern.

经验似然是Owen(1988)提出的一种非参数统计推断方法，这一方法与经典的或现代的统计方法比较有很多突出的优点。

The comparative inference from chapter 2 to 3 grounds artistic concept along with the monologue stage performance entitled as "Theater of Nymphomaniac" in later chapter.

本研究第二、三章哲学理论的比较与推衍，乃为了建立第四章之后「花痴剧场」观念论述基础。

Find the practical technical route on the base of the means of document study,interview and observation,function inference and value analysis.

以区域性文化差异为切入点，分析了区域性文化旅游商品的界定及开发依据，并通过文献研究、访谈观察与功能推理及价值分析等研究方法获得区域特色商品实施的技术路线。

I had a lovely dog named PiPi, he was one of my best friends.

我曾经有过一只小狗，它的名字叫皮皮，它很善良，它是我最忠实的朋友。

Newly ovulated mouse oocytes were cultured in the CZB medium supplemented with different concentrations of pyruvate before treated for activation or assayed for MPF activity.

我们猜测卵母细胞在不含丙酮酸的条件下老化的更快，并且卵丘细胞可能通过消耗不含葡萄糖的CZB中的丙酮酸从而促进卵母细胞老化。