查询词典 propositional inference

And if they do not involve inference, the question of whether the inference is sound lapses.

如果这样，那么推理是否可靠的问题就无效了。

Under the precondition of lucubrating the work process and arithmetic of fuzzy inference, the paper made a graphical characteristic analysis of fuzzy inference function and its subject. We got a better effect using the improved system in contrast to the old system.

在深入研究专家系统模糊推理机的工作过程及算法的前提下，对模糊推理运算函数及隶属函数进行了图形特性分析改进，在实现改进后的专家系统的基础上与改进前系统作了运行实力对比，得到较好的效果。

The inference in Credal network is the computation of tight lower and upper bounds for conditional probabilities.A new algorithm for inference in Credal networks is presented based on the framework of bucket elimination.The burden of computation is alleviated by enumerating some of values and the accurate result is obtained.

Credal网络的推理是计算一定证据下的后验概率最大值和最小值，给出了一种Credal网络推理的新方法，该方法是在桶消元框架下通过枚举计算部分因子函数值，使计算量大大减小，并且可以得到精确的结果。

Using a fuzzy inference algorithm,the paper put forward a method which took temperature and dense of carbon monoxide as two parameters to detect fire level of belt conveyor according to certain fuzzy rules table and inference rules and using barycenter method to fuzzify.

文章提出了一种利用模糊推理算法，将温度和一氧化碳浓度2个参数作为系统输入，根据一定的模糊规则表与推理规则进行运算，并依据重心法去模糊化，得到胶带输送机火灾发生级别的方法。

Chapter I mainly studies Grices Conversational Implicature Theory: the author analyzes the concept, categories and pragmatic inference of conversational implicatureChapter II mainly argues the importance and significance of context in pragmatic inference of conversational implicature in verbal communication, and categorizes contextual factors into four macroscopic levels (logical, psychological, cultural and situational).

第一章简单介绍了Grice的会话含意理论：对会话含意的概念、分类及其语用推理过程进行了论述。

An automatic update system based on semantic web techniques to implement the drug-law checking automatically is proposed in this thesis. The design concept is to use OWL as the knowledge model. To represent the drug law knowledge, we view a drug law as a class of medical status, and we can use classification to implement the decision of drug use legality. This approach simplifies the design of inference engine. The OWL supports the syntax of class inherences, so it can reach the cognitive economy and shorten the drug laws encoding length. The OWL syntax can represent most drug laws style, so the system can just use one document and one inference engine to handle all drug laws rules.

本文导入语意网技术提出一法规检核同步化系统，来实现药品检核规则自动更新的功能，其主要设计理念为以语意网的OWL模型来实作法规检核系统，在法规的知识表徵上，系统将所有的药品规则视为医疗状态的类别，因此判别用药的合法性，便可使用分类运算达成，这简化了推理机的设计；利用OWL支援类别继承的语意，故能形成认知经济性效应，缩小医疗法规机器编码长度；最后OWL的语法能表示大部份规则型态，使得系统可以使用一个文件档，一种推理机模型便能表示所有的法规。

In the end-to-end path capacity measurement based on packet pair algorithm, there are some inference factors with effects on the measurement result, such as cross traffic, packet pathology and clock precision. The influence of these inference factors was discussed based on theoretical analysis and experiment data.

在理论分析和实验数据的基础上深入研究了基于包对技术的端到端路径容量测量中背景流量、数据包异常和时钟精度等因素对测量结果的影响，并利用模拟和测量的方法对包对的行为特征进行了定量分析。

This model is proposed in the background of the Internet's mass, changeable resources.On the one hand, its semantic inference solves the problems, such as the low recall, which appears in the search; on the other hand, it makes good use of ontology resources to do query excitation that provides more userfriendly search and advances the efficiency of the ontological inference.

以Internet上海量、多变的资源为背景，一方面通过语义推理，优化了网络搜索中存在的如查准率低等问题，另一方面利用本体库资源，在网络搜索过程中做问题激发，不仅增强了搜索的人性化，更提高了语义分析的效率。

Among numerous propositional logic systems, Lukasiewicz、Godel、Product and L~* have obviously merits, which are exist triangle norm * in [0, 1] withthe semantic implication operator→construct adjoint pairs.

del、Product与L~*这四种有着明显的优点，即存在[0，1]上的三角模*与它们赋值格[0，1]上的语义蕴涵算子→构成伴随对。

In spite of is a propositional phrase used as an adverbial of concession.

同我们以前的计划一样，我们将把这一计划进行到。

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。