查询词典 reasoning

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

The delaminating reasoning, forward and backward mixed reasoning, precision and fuzzy reasoning are adopted combinative, to satisfy the request of the reasoning efficiency and the characteristic of the Chinese medicine. It has improved the system reasoning's precision and availability.

采用分层推理、正反混合推理与精确推理与不精确推理相结合的推理方法，很好的满足了中医诊断的特点和推理效率的要求，提高了系统推理的的准确性和可靠性。

Physics concepts, theorems as well as principles are primary content of physics learning, those knowledge take on the forms by proposition . In chapter 3, the study revealed that physics proposition are mainly obtained by reasoning (inductive reasoning such as tallying method, differentiation method and covariant method, deductive reasoning such as negative expression of hypothetical inference, affirmative expression of hypothetical inference ).Then by the means of experiment, the different condition needed when applying those reasoning was explored.

由于定义性概念、定理和定律等命题知识是物理教学的主要内容，所以在第三章中首先通过研究，表明物理命题主要是运用推理策略获得的(归纳推理策略中的求同策略、差异策略和共变策略，演绎推理策略)；然后通过实验等方法研究使用策略需要的条件；最后依据前面的研究提出适合物理命题学习的任务分析方法。

First, 'linguistic turn' of philosophy; Second, Deepening studying in artificial intelligence; Third, monotonic legal reasoning turn to non-monotonic legal reasoning. Defeasible reasoning is widely used in legal reasoning.

可辩驳推理在法律推理中得到广泛的应用，根据法律推理的不同层次，法律中的可辩驳推理可以分为三个维度：推定的可辩驳性；过程的可辩驳性和理论的可辩驳性。

For the purpose of analyzing the meaning of special conversation, I put forward a micro-pragmatic reasoning, too. And this reasong is called a temporary pragmatic reasoning. Meanwhile, the author points out that the enthymid reasoning is a reasoning with enthymeme. It is also a non-proved logic congitive phenomenon used to confirm the hypothesis.

为分析特殊会话含义，本文提出了微观语用推理即临时语用推理，指出它是带有"缺省项"的"缺省推理"，是一种对假设确认的非论证逻辑认知现象。

For a long time, Lacking the need and promotion of reality, jurists have not paid enough attention to legal reasoning and the research of legal reasoning of our county has not been on the essence and features of legal reasoning out of requirement of legal reasoning in judicial practice, but from the point of view of general rule and method of inference of logic.

长期以来，由于缺乏现实的需要和推动，法学家缺乏对法律推理予以充分的关注，我国关于法律推理的研究不是从司法实践对法律推理的要求出发研究法律推理的本质和特征，而更多的是从逻辑学关于推理的一般规律和方法的角度进行研究，不可避免的使法律推理理论逻辑色彩浓厚而法学色彩不足，不能真正把握法律推理的本质和特点。

Finally, the present study explores several major types of pragmatic reasoning: indexical reasoning, implicit reasoning and prepositional 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.

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

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。