查询词典 propositional inference

Reviewing the course that with mathematical deduction inference knows further to philosophical concept in the center, OK still the relation of extend the meaning to trivium of understanding physics, biology, economics.

在对哲学的概念反思和数学的演绎推理进一步认识的过程当中，还可以引申到认识物理学、生物学、经济学三学科的关系。

The proposition formula true value production algorithm research is studies the inference the automation foundation.

命题公式真值生成算法研究就是研究推理的自动化的基础。

in order to improve the detection rate for anomaly state and reduce the false positive rate for normal state in the network anomaly detection, a novel method of network anomaly detection based on tsk fuzzy inference system was proposed.

在网络异常检测中，为了提高对异常状态的检测率，降低对正常状态的误判率，该文提出利用tsk模糊控制系统进行网络异常检测的新方法。

This conclusion is derived can get a reverse inference - the same type of animals of different species evolved in different environments formed.

这个结论逆向推导又能获得一个推论——同一类动物的不同品种，是在不同环境下进化形成的。

Here, we review the status of sequence and structure-based approaches to protein function inference and ligand screening that can provide functional insights for a significant fraction of the approximately 50% of ORFs of unassigned function in an average proteome.

这里，我们回顾了序列和基于结构的方式来进行蛋白质功能推断的状况及在一个平均的蛋白质组中非指定功能的约50%的ORFs的重要片段可以提供功能理解的配基屏蔽。

Different 〓nterfaces for evidence input during inference are designed to avoid the undeterminable ase of traditional method in which the user can only input certainty factors.

设计了推理中证据输入的多种接口，避免了传统方法中用户仅输入置信度的不易确定。

It supports directed and undirected models, discrete and continuous variables, various inference and learning algorithms.

它支持有向或无向的模型，离散或连续的变量，各种推论及学习算法。

It includes: the inference of the legislation and the scarcity of the system; incompleteness of the scope covered by the legislation; the unhealthiness of the system of the personal account; the existing mechanism recede the manipulation character; too high proportion of the social insurance charge; the feebleness of the executing mechanism.

这些问题包括：民营企业员工社会保险严重不足；民营企业员工社会保险表现出明显的"三高三低"特征；参保企业随意压低缴费基数，保障程度明显不足；各险种发展状况参差不齐，难以为企业职工提供全面的保障；各类民营企业参加社会保险率差别很大。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

Knowledge representation ; knowledge unit ; XML ; inference

知识表示；知识单元； XML ；推理

Must have Coordination and negotiation skill, flexible ideas, and be punctilious person.

必须具备较好的协调与谈判能力，头脑灵活，工作认真仔细

Result: 18 patients are all with simple eye.The pigment mole lies in nasal and temple sides of the ball conjunctiva,in which 2 lie in lacrimal caruncle and semilunar plica.

结果：18例患者均为单眼，色素痣大多数位于内外侧睑裂部球结膜面，2例位于泪阜及半月皱襞，经激光治疗后，10例色素痣消失，有5例行再次激光后消失，2例行第三次激光后消失，1例第四次激光后消失。