查询词典 reasoning

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

A kind of description logic tableaux based satisfiability reasoning algorithm for FALNUI is presented,and the correctness of the satisfiability reasoning algorithm is proved.

FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础。

Based on the uncertainness and non-routine characteristics of emergencies, a kind of scale decisive model in airport emergency rescue was put forward, which mainly relied on the case-based reasoning technology as well as fuzzy reasoning technology.

针对民航机场紧急事件非例行性、不确定性的特点，提出了以案例推理为技术主线，结合模糊推理等方法的机场应急救援规模决策模型。

Reasoning: Although unstated, I believe the reasoning to be that if the finder was not protected by the right to exclude others from taking his find, simply because it was previously unowned, that there would be no incentive to the discoverer to bring the found item to a socially useful purpose.

分析推理：虽然在这一点上没有明文表述，但我相信这样的分析：假如仅仅因为该财产以前归别人所有而不对捡到者的财产权利进行保护的话，那将无法鼓励财产发现者将其用于有益的社会目的

All others except the rightful owner.Reasoning: Although unstated, I believe the reasoning to be that if the find

分析推理：虽然在这一点上没有明文表述，但我相信这样的分析：假如仅仅因为该财产

Throught adaptive algorithm of network, the system constantly revise right values distribute so as to meet goal. Distribute the heuristic knowledge and the experience knowledge to network interconnection and right value.?The reasoning machine carries on reasoning according to the knowledge that involve in knowledge base and fact that users offer.?Through front computation of nerve network, the output port obtains the output vector.?The explanation module of ES is explained to user.At last, this paper has realized grab hydraulic system based on ANNES intelligent diagnosis, it has proven this fault diagnosis method feasibility.

ANNES的工作过程是：①首先建立知识库；②学习系统获取知识时，它只要求专家提供范例及相应的解，通过神经网络学习算法对样本进行学习，经过网络内部自适应算法不断修改权值分布以达到要求，把专家求解实际问题的启发式知识和经验分布到网络的互连及权值分布上；③推理机根据知识库中的知识和用户提供的事实进行推理；④通过神经网络的前向计算，在输出端获得输出矢量：⑤经专家系

This paper researches the basic principle of fuzzy retrieval on multimedia data semantics, designs a fuzzy reasoning mechanism of Agent knowledge base, puts the fuzzy algorithm wich reasoning is forward or backword,and relevant implementation is presented as well.

引 言目前计算机科学的许多研究正沿着&智能化&的方向发展，多媒体数据库的复杂查询正面临着新的挑战〔1〕。因此，将语义学、多 Agent系统、知识库、模糊理论、人工智能等领域知识综合，运用于多媒体数据库数据语义的模糊检索，有着极其重要的研究意义。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用&描述框架+规则组&的层次结构，&描述框架&用于描述问题域所涉及的因素，&规则组&反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

The research methods adopted in the article include:a historical and comparative method is used while tracing the history of mortgage;combing theory with practice to raise problems, expounding the research object and target in consideration of practice, furthermore, making use of method of comparison and reasoning to analyze legal character of expective right and striving for smooth and compactness of legal reasoning and tight system;and adopting the method of combing theory with practice and the way of comparison to solve the problem , focusing on feasibility of the method,with an expectation to make the commercial housing mortgage clear and comprehensive to the public, and hope that this will be of some help to our legis

本文采用的研究方法：对于按揭的历史渊源问题，采用了历史的、比较的方法；对于问题的提出，采用了理论与实践相结合的方法，从实践活动的需要出发，对本文的研究对象和目的作出阐述；对于期待权的法律性质分析，采用了比较和推理分析的研究方法，力求法理通畅和严谨，注重体系的严密；对于解决问题的途径设计，采用了理论联系实际的方法，注重可行性，以期对我国的楼花按揭制度有比较全面和清晰的认识，同时也希望对我国的物权立法有所帮助。

But either formalistic reasoning or dialectical reasoning has unique way of expression and argumentation, they also exert different systematic and politics function.

但无论是形式推理还是实质推理都有其独特的言说和论证方式，也发挥着不同的制度性功能及政治性功能。

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为最大的地方。