查询词典 reasoning

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，为逻辑推理提供帮助。

The aptitude and career interest were considered as the two dimension of the entrance guide system, and was proof-tested by the structural equation model, which results supported this two-dimension hypothesis. Accordingly, there were two parts in the guide system. One part was about the aptitude test, consisted of seven subtests: verbal reasoning, spatial imagining, mathematic reasoning, computer capacity, abstract reasoning, physical knowledge, and sentence recomposing. The other part was about the career interest test, including eight aspects: career longing, curriculum desire, entertainment after school, activity preference, job preference, work environment preference, self-estimate of one\'s abilities, and discuss future with someone else. After three times modification and testing, the psychometric indices of the guide system were become well and stable. Furthermore, the guide system was primarily launched into applying, with four typical case studies, the practicability and serviceability of the guide system was showed swiftly.The entrance guide system for junior high school students that was developed in this research was one-upping in the entrance guide field in China.

第二阶段是初中生升学指导系统的研制阶段，以能力倾向与生涯兴趣这二元因素作为初中生升学指导系统的基本架构，经验证性因素分析表明该二元架构是合理并可接受的；其中能力倾向部分共包含语言推理、空间想象、数学推理、电脑能力、抽象推理、物理知识、语句重组等七个分测验，生涯兴趣部分则包含生涯梦想、课程兴趣、课余爱好、活动偏好、工作内容喜好、工作场所喜好、能力自评、与他人讨论未来等八个方面；通过三次修改与测试，结果显示所研制的初中生升学指导系统有着良好的测量学指标；此外，通过对初中生升学指导系统的初步应用研究，并结合典型个案的深入剖析，进一步表明所研制的初中生升学指导系统具有实用性、操作性强的特点，所得结果也可靠可信。

Secondary, the paper design a system model of the OWL reasoning based on Lisa reasoning engine(reasoning engine based on an object-oriented implementation of the Rete algorithm).

设计一个OWL推理系统原型：在基于Rete算法的Lisa推理引擎的基础上设计了一个基于规则的OWL推理系统原型。

Fault propagate model to obtain and combine present prevailing large amount of information, neuron network,etc. method most model, Direct against fuzzy Petri network give and publish undering the jurisdiction of degrees of algorithm of function concrete their; Petri network reasoning method combine trouble tree forward reasoning reverse algorithm of reasoning mainly, The concrete instance of connection is analysed and compares; Participate in potato cake production line background that design with author finally , combine on-the-spot characteristic of equipment, Set up one fault diagnose concrete model of expert system.

故障传播模型的获取结合了当前流行的最大信息量、神经元网络等方法，并且针对模糊Petri网给出了其具体的隶属度函数的算法；Petri网推理方法主要结合故障树正向推理反向推理的算法，联系具体实例进行分析和比较；最后以笔者参与设计的薯饼生产线背景，结合现场设备的特点，建立了一个故障诊断专家系统的具体模型。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。