查询词典 reasoning

According to the system view ofdegradation and decomposition put forward above,the paper proposes a newSplit Reasoning Simulation for qualitative model algorithm called SRSQM,which implements the decomposing,reasoning and solving of qualitative models.In another word,it combines variable cluster and causality graph to decompose acomplex qualitative model into many componentsand constraintsamong those components.Through the qualitative reasoning of the componentsand globally propagating the results,the overall solutions can be achieved.

根据复杂系统的递阶分解的系统观点，本文提出一种新的定性模型分解推理仿真算法，称作SRSQM，实现对定性模型的分解推理求解，即对于一个复杂的定性决策模型，应用变量聚类和因果图相结合的方法，将复杂的定性模型分解成若干个单元及其单元之间的约束，通过对各个单元的定性推理以及将单元推理的结果进行全局传播和过滤，得到整个系统的全局解。

This model contains two parts, one is conceptive model and the other one is reasoning model. The fuzzy reasoning algorithm of traffic control and the automatic detection algorithm for traffic congestion are integrated in the reasoning model.

设计的自动决策支持模型中包含了概念模型和推理模型，推理模型中集成了交通拥挤自动检测算法和拥挤交通量控制方案选择的模糊推理算法。

As one kind of compound reasoning, disjunctive reasoning has been full researched by the domestic researchers, but the related study on disjunctive reasoning under uncertainty is not so rich. Therefore, it is worthy of research.

析取推理作为一种复合推理，国内学者已有研究，但在不确定情景下，析取推理的表现以及影响推理的因素研究较少，值得对此进行探索。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

An iterative reasoning algorithm with time delay of CD is proposed in this paper to resolve time delay of complex system. It is an effective approximating reasoning algorithm for its polynomial time complexity. It realizes dynamic reasoning of causality diagram through multiplication of linkage strength matrix and probability vector when the CD has time delay.

本文针对复杂系统的时间延迟性提出了带时间延迟的因果图迭代推理算法，该算法可以在多项式时间复杂度内完成，是一种有效的近似推理算法。

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

We construct the synthesis reasoning sources according to the multimedia object low-level features and the reasoning source intensity field according to the multimedia co-existence information. A series of multimedia semantic spaces are built by spectral method after synthesis reasoning. The cross-media retrieval is performed on a per-query basis by which different retrieval methods are adopted for different queries.

首先根据多媒体对象的底层特征构造推理源，根据多媒体对象的共生关系构造影响源场来进行综合推理，并构造出多媒体语义空间；然后针对不同检索例子，根据伪相关反馈为每一个检索例子自适应地选择不同的检索方法进行跨媒体检索。

This dissertation proposes group reasoning and group AHP-based GDSS structure and its decision steps to solve the problems existing in research of theory and application of GDSS. Besides, the dissertation also studies the method of group reasoning on rough-set and qualitative reasoning method basis in GDSS. It also studies on constructing method of hierarchy structure of group AHP in GDSS and combinative method of judgment matrixes. Moreover, it studies on method regarding construction of judgment matrixes on rough set based and optimization theory of convex combination parameters of judgment matrixes as well. Finally, it develops an AHP based GDSS to demonstrate the efficiency of these methods.(1) This dissertation also summarizes the developing trend of GDSS and analyses problems as regards the research of GDSS.

本论文针对GDSS理论研究及应用中存在的若干问题，提出了基于群体推理及群体层次分析法的GDSS结构，并给出了基于该结构的GDSS的决策程序；研究了GDSS环境下的基于粗糙集理论及定性推理技术的群体推理方法，并举例说明了方法的有效性；研究了GDSS环境下群体AHP层次结构的建立、判断矩阵集结的理论与方法；研究了判断矩阵凸组合系数的优化原理；探讨了基于Rough Set的判断矩阵构造方法；开发了一个基于AHP的GDSS原型系统，旨在验证本文关于GDSS环境下群体AHP有关方法的有效性。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

The researches included Logic Reasoning and Rule-based Reasoning. On logic reasoning, we brought about a new approach-data type groups to help reason in descriptive logic SHOQand also added tableaux algorithm to SHOQ.

在逻辑推理领域，结合目前推理研究的发展状况，基于语义Web中比较成熟的SHOQ描述逻辑，提出借助数据类型之间的相关性辅助逻辑推理的思想，并利用Tableaux算法改进描述逻辑SHOQ，为逻辑推理提供帮助。

It is also known as one of the most poisonous naturally occurring substances.

它也被称为一个最自然发生的有毒物质。

The greatest stress is found at the location on the cross section where V is the largest.

最大应力出现在横截面上V为最大的地方。