推理地

Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

The most such sciences can do is to help us to catch ourselves up and check ourselves, if we start to reason or to behave wrongly; and to criticize ourselves more articulately after we have made mistakes.

这些科学能够做的最多是当我们开始推理错误或者行为错误时帮助我们追上自己，检查自己，当我们犯错时，能够让我们更明白地批评自己。

This thesis try to use the risk decision, Bayes formula and game theory to analyze the utility of the traffic information, and put forward the corresponding static and dynamic model.

本论文在总结国内外交通信息效用研究理论与方法的基础上，系统地对不考虑交通信息有效性反馈和考虑交通信息有效性反馈两种条件下交通信息的作用机理进行研究，尝试采用风险决策、贝叶斯推理、博弈论等理论和方法建立了相应的模型，并对影响交通信息效用的交通信息质量、交通系统稳定性、出行者的出行经验等因素进行了分析，提出了增加交通信息有效性的方法。

His tentative suggestion of a transaction tax, which he argued would bear down on profits and limit socially unacceptable bonuses, is another curious line of reasoning.

特纳试探性地建议征收交易税，称这将削减利润并限制社会难以接受的奖金水平，这又是一种古怪的推理方式。

A critical problem of CBR is how to represent, index, organize the past cases.

援例推理中关键问题是如何有效地表达、标引和组织过去的案例。

A selection algorithm of different techniques is provided for the integrated framework to support concurrent design better. Finally, combining the research project in 863/CIMS, we realize a prototype system of conflict resolution for concurrent design and present applications of conflict resolution techniques.

研究了冲突知识的表达形式，分析了基于实例的冲突解决技术的特点，并且给出了一个适用于并行工程设计问题的实例解决系统；提出了规则推理的一系列算法，实现了基于规则的冲突解决系统；给出了一种冲突解决策略调度算法，并将其应用于冲突的集成解决框架之中，使多种方法取长补短，弥补各种冲突解决方案的不足，更有效地发挥作用。

First, according to the specialities of CWM metamodel and metadata, description logic DLid which supports identification constraints on concepts is proposed.

在基于公共仓库元模型建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。

It also introduces a new algorithm to remove the circle of the DAG of network.

这两种方法较好地解决了在教育领域运用贝叶斯推理所碰到的难题。

Mathematic and logic depend extensively on the deductive method of reasoning .

数学和逻辑学广泛地依靠推理的演绎方法。

According to this method, on the basis of ontology, the requirement of dynamic revising service cases and the description of revision operator are presented under the same circumstance, and the capacity of revision operator can be described with two respects of interaction environment and changes. Furthermore, the model of resource states transition graph is presented to realize the transition from the description of the capacity of revision operator to the resource states of revision operator. Finally, a verification method concerning the dynamic revision of service cases is presented to improve the revision and verification automatically.

将动态调整需求和调整运算子的描述统一在它们共同的环境的基础之上；并建立了调整运算子的交互环境本体，在本体的基础上，从调整运算子交互的环境以及调整导致的环境的改变两个方面描述调整运算子的能力；提出调整运算子能力的资源状态变迁图模型，实现了从调整运算子能力描述到调整运算子的资源状态变迁图模型的转换；还较为系统地提出了与基于范例推理服务组合相关的范例动态调整的验证方法，提高了服务范例调整和验证的自动化程度。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。