查询词典 propositional inference

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

The author uses the method of comparison and logical inference to answer what is Share cooperative enterprise.

作者采取比较和逻辑推理的方式，从正面回答了股份合作制企业是什么。

Chapter 2 and Chapter 3 covered the topics about fuzzy set theory, fuzzy variable, linguistic variable and fuzzy logical inference.

第二、三章分析和讨论了与模糊控制有关的模糊集合论、模糊变量、语言变量及模糊逻辑推理等问题。

Under the assumption that a geometric process at the start point follows a lognormal distribution, the statistical inference problem for the geometric process is studied.

在假定几何过程的初始分布为对数正态分布的前提下，研究了几何过程的统计推断问题。

Through the Lorentz transformation to amend defects and testing, making the inference results of special relativity and classical electromagnetic theory to fit.

通过对洛仑兹变换存在的缺陷进行修正和检验，使得狭义相对论的推论结果与经典电磁理论达到吻合。

It arises only when people explain the true of material implication with a certain phrase,or when some possibilities are achieved due to the inevitability of tautology implication formula,or when some actural inference is regarded as implication relation.T...

当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。

However, according to the professional design, our mathematical statistics courses are offered only to discuss statistical inference.

但按本专业的总体设计，我们的数理统计课程只讨论统计推断。

In 2 experiments, the effects of working memory span on the topical inference processing in English text reading of college students were tested.

通过两项实验，考察工作记忆广度对大学生英语阅读中主题推理加工的影响。

So in chapter 2 of this dissertation, knowledge based vision systems are researched and a new knowledge based system framework is presented, where a blackboard scheduler for inference, based on message transfer is used.

因此本文对这个问题进行了系统的研究，提出了一个独具一格的基于知识的视觉系统框架，探讨了在计算机视觉系统中使用知识的途径，并且在其中使用了一种基于消息传送的黑板推理调度机制，克服了传统专家系统方法直接应用带来的一些问题。

In this paper, problems of trend test in clinical experiment are studied mainly by the statistical inference meth...

本文主要利用序约束下的统计推断方法对临床试验中的趋势性检验问题进行了研究。

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中的丙酮酸从而促进卵母细胞老化。