查询词典 rule of inference

Techniques such as different level knowledge representation methods,multiple inference engines,interrupt inference process,global-blackboard-based distributed problem solving,knowledge-based modeling and data excerpting,and deductive database ma- nagement method,are used in DECISION-E.

在DECISIGN-E 中还采用了下面的一些特殊技术：不同层次的知识表达方法，多推理机，推理中断处理，基于全局黑板的分布式问题求解，基于知识的建模及数据抽象，演绎数据库管理方法。

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

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

Green function defined inphase space differs from one in coordinate space by its struc-ture which exhibits nonlocatity in coordinates and oscillatorybehavior with respect to momenta.

在相空间中定义的Green函数不同于通常坐标空间的Green函数，在结构上显示出对坐标的高度非局域性，而对动量则显示出振荡行为。

The upper front part of a saddle;a saddlebow.

前鞍桥马鞍前面的上部分；前鞍桥