推理

The method of fuzzy interpolative reasoning based on the proportion of vertex and inflection point of Gaussian-type membership function was presented, which provided a useful tool for fuzzy interpolative reasoning.

本文在线性插值推理方法的基础上，给出一种基于高斯型隶属函数的顶点和拐点距离比的模糊插值推理方法。这为模糊插值推理又提供了一个十分有用的工具。

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定，可构造出 1 2种推理模式。采用归谬赋值法，对其有效性进行判定，&N难推理&便是这种推理的语用形式

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.

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

Unlike GCI, it takes more elusive forms in the specific context saliently represented by the prior utterance, and its inference is a multiplex combination of relevance, abductive and default reasoning, utterance context and rhetorical relations.

但与一般会话含义不同的是，特殊会话含义的具体表现形式灵活多样，对具体语境特别是先前语句的依赖性很强。而在推理机制上，关联、溯因推理、缺省推理、语句语境和话际关系等因素则共同作用，相互渗透。

It suggests that legal characters of Economic Law be largely different from traditionalistic law such as Civil Law and Administrative Law.

借用昂格尔关于法律自治性的分析框架，通过对比研究法律规则与法律标准、形式化法律推理与实质性法律推理、法律理论的纯粹性与复合性、法律实务的垄断性与开放性、法律机构的官僚性与非官僚性等，就法律内容、法律推理、法律职业、法律机构四个方面阐述了经济法实质化发展的具体表现，从不同侧面展示了经济法独特的法律特征。

Finally, it points out that there is a property that we can obtain the same inference consequence supposing that they are mutes among all states of all linkage events pointing to the same node in the multi-value causality diagram under the assumption above.

最后，假定指向同一节点的各连接事件的各状态之间彼此互斥，这并不会影响推理结果，这一特性保证了推理过程中任一节点的状态之间彼此互斥，也简化了推理算法。

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.

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

Then, after the strong points and weak points of the definition of several legal inferences now available are analyzed, we make a new definition: legal reasoning refer to the process in which presupposing known legal provisions and facts, principal part specially designated infer and prove legal conclusion in law practice.

其次分析了现有几种法律推理定义的得失，给出了o己的法律推理的定义：法律推理就是特定主体在法律实践过程中，以巳知的法律规定和卒实材料为前捉，推导和沦证油沐纳沦的过程、这一定义反映了法律推聊基本属件：它是一个知删新的过程；它具有内在逻辑性；它是一个正当性证叼的过程；它具有实肌。

this paper presented a method for improving the inference efficiency,this is achieved by regrouping the knowledge base.

本论文主要提出了一种提高推理效率的方法——知识库重组，这种方法通过缩小推理范围来提高推理效率。

In this paper we propose an integrated reasoning scheme ASPx that subsumes nonmonotonic and temporal constraint reasoning.

在本文中我们提出一种整合的推理模式 ASPx，它同时支持非单调推理及时态约束推理。

I smile at your play with that little bit of a broken twig.

我微笑着看你玩那一段小小的树枝。

They may be produced for almost any shaft angle.

他们可能在制作中几乎任何一个轴角。