查询词典 propositional inference

The mathematical model of reliability design for shaft rigidity was established based on reliability inference theory.Reliability calculation of cylinder shaft rigidity of press was proceeded and regularity of cylinder shaft rigidity reliability as the condition change was found.

应用可靠性设计相干理论建立了轴的刚度可靠性设计的数学模型，着重探讨印刷机印刷滚筒轴的刚度可靠度的计算，并得出不同条件下印刷滚筒轴刚度可靠度的变化规律。

This paper presents design principle and realizable approach of Classification and Recognition Inference Decider for Soil Remote Sensing in arid land.

中文摘要：介绍了干旱区土壤遥感分类识别推理决策器的设计原理与实现方法。

He deemed that even though the premise of inductive inference was authentic, it was not the guarantee of authenticity of conclusion. Philosophers and logicians have tried quite a few ways to solve the issue, that is, to do deductive proof ; to do inductive proof with the help of the uniformity of the world; and so on.

对这一问题，哲学家和逻辑学家提出了种种解决途径：或借助概率弱化归纳推理的结论，企图对之作演绎论证；或借"世界齐一性"对之作归纳证明；或诉诸无知的解决方式；或釜底抽薪的解决方式。

No inference is here intended that the laws provided by the States against false and defamatory publications should not be enforced

这里并不意味着关于针对虚假和诽谤的出版物的州立法律无须被强制执行的推论

Its inference is characterized by default reasoning and defeasibility, based on which a nonmonotonic model is developed.

但在推理机制上，一般会话含义的突出特点是缺省性和可取消性，即在逻辑类型上属于非单调性推理。

According to the different levels of legal reasoning, Defeasible reasoning can be divided into three faces: inference-based defeasibility; process-based defeasibility; theory-based defeasibility.

可辩驳推理对法律方法、法律论证与民主法治等重大的法律理论问题都产生了深远的影响。

Nonmonotonic reasoning is very important in ourcommonsense inference,the conclusions of nonmonotonic reasoning are tentative,that is,if we get some new information,the conclusions may be defeated.In this sense,we say the conclusion is defeasible.

非单调推理是人们日常推理的重要形式，它的特点是推理结论是暂时性的，随着新信息的出现，结论会被废止。

The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable age.

智能代理技术是实现自动谈判的有效途径，本文提供灵活有效的谈判代理开发方法，使用状态图和可废止逻辑规则说明谈判策略，动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理nt

A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent.

使用状态图和可废止逻辑规则说明谈判策略，将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理。

Based on Dempster Shafer theory of evidence inference, this paper presents some algorithms of multisensor data fusion for mobile robots.

本文研究了移动机器人中基于Dempster－Shafer证据推理理论的多传感器数据融合技术。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。