推理

In all, the results show that the information inference in discourse comprehension is inevitable, and it can happen on-line not only in working memory, but also in long-term memory.Key words:information accurate inference, on-ling inference, trace back to, working memory, long-term memory.

本研究的结果表明，信息精确化推理在文本阅读中是必然发生的，而且不管进行需要精确化推理的句子与包含推理所需信息的句子是处于同一工作记忆范围内，还是处于长时记忆中，推理都是即时发生的。

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中，引入了几类相应的推理规则。

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

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

In ratiocinative mechanism, neural network adopt right directional reasoning method. And the ratiocinative mechanism of expert system contains two conditions, the validation to the diagnosing result of neural network and the alone ratiocination.

在推理机制中，神经网络采用正向推理的方法，专家系统的推理机制则又可分为对神经网络诊断结果的验证和独自重新推理两种情况。

Referring to the construct of the common experts system, the frame and function of our system was determined to extend the OPS83 ratiocinative method with converse ratiocinative method, and the ratiocinative mechanism based on target-driver controlling was realized. In accordance with the complexity, uncertainty and confusion of chip forming and chip-breaking process, We suppose imprecise ratiocinative mechanism on the basis of confusion mathematics theory, and found prediction system of the chip forming and chipbreaking for the first time.

研究确定了切屑形成与折断过程预报系统的结构框架，参照一般的专家系统构成原理，确定了本系统结构与功能；扩充了OPS83的推理方式，增加了逆向推理功能，实现了基于目标驱动控制的推理机制；针对切削过程中切屑形成与折断过程的复杂性、不确定性和模糊性，运用模糊数学理论，设计了不精确推理机制；首次建立了切屑形成与折断过程预报系统。

Finally, the present study explores several major types of pragmatic reasoning: indexical reasoning, implicit reasoning and prepositional reasoning.

最后探讨了交际中的语用推理的几种主要类型，即索引词推理、会话隐含推理、预设推理。

Born in Bishop's Stortford, England, Minette Walters was educated in Salisbury and went to Durham University where she read French and German. She then became magazine editor as well as a romance novelist. In 1992 she turned to murder and was immediately very successful: her first crime novel won the John Creasey award in 1992 for best first crime novel.

有&悬疑小说女王&之称的米涅·渥特丝﹙Minette Walters﹚1949年生于英国，1992年开始尝试悬疑推理小说写作，其处女作《冰屋》获当年英国推理作家协会年度最佳新作大奖，次年她的第二本悬疑小说《女雕刻家》一举荣获美国推理作家协会爱伦·坡奖，1994年推出的《毒舌钩》又摘取了英国推理作家协会金匕首奖。

Subsequently, in order to solve a fatal problem of surprising amount of calculating and storge of presental fuzzy inference algorithm when used to solve multi-compliacted rules, we propose the decompositional method of complicated rules and solving method of resoning result after the rules are decomposed, so that a simple algorithm of fuzzy inference on-line can be obtained and the amount of calculating and storge can largely decreased.

针对现有的模糊推理算法用于多重复杂蕴涵规则时计算量及要求的存贮量太大这一应用中致命的问题，我们提出了复杂规则的分解方法，推导了规则分解后推理结果的求取方法，在此基础上提出了模糊推理的简便算法，使得在线实现模糊推理的计算量及要求的存贮量减少若干个数量级。

A knowledge base model based on the combination of the reduced fault tree and the LCU trapezia logic structure is designed after a thorough research on the knowledge base system and the reasoning mechanism of the locomotive fault diagnosis system.

通过对机车故障诊断系统知识库体系和故障诊断推理机制的研究，设计了以简化的电力机车故障树为基础，结合LCU梯形图逻辑构造的知识库原型；应用机车故障诊断双向推理机制，设计并实现了基于LCU处理逻辑的正向推理机以及基于故障树查询的逆向推理机；并以此为基础开发了电力机车远程故障诊断系统的原型，实现了对机车的远程故障诊断。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。