推理

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.

FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。

Comparing to traditional Rule-based System, Case-based Reasoning System has many advantages, which can predigest knowledge gathering and easily accumulate knowledge.

本文介绍了基于案例推理方法的一般知识。讨论了基于案例推理的知识系统的设计和实现，并具体讲述了作者所实现的一个基于案例推理的知识系统。

Case database is built with ACCESS, and principal axis subassemblycases 3D parameter models are established with PRO/E.

文中研究了推理机的设计方法，系统中的推理机依据实例库和规则库来推理。

When people ratiocinate and deal with the advisement, theadvisement language can not activate their recognition.When people ratiocinate andsuppose the current information of knowledge, they can not find out the connectivesupposing, I.e. the optimal relevance.

在对广告进行推理加工时，广告语言无法激活广告受众的认知机制，广告受众在现有的认知语境信息中进行推理假设，找不到与新信息相关联的认知假设，即最佳关联，这就导致广告人与广告受众的认知推理出现差距，从而失去了双方顺利交际的基础。

However, his ratiocinative tales are not a castle in the air, for we cantrace their sources in western classic literature. it is not accidental that they exert such great influences. poe's probing into human nature and resorting to ethics promote the classification of this genre, and his creating concept of "combining the popular with the serious" is a crucial reason for its wide acceptance and far-reaching influence.

爱伦·坡是侦探小说的鼻祖，但是他所创作的推理小说并非无本之木，我们可以在西方经典文学中找到其渊源；其推理作品影响之大亦绝非出于偶然，对人性的思考和道德的诉求是其推理小说得以经典化的重要因素，而雅俗合流的创作旨趣又是这一小说类别被广泛接受并产生深远影响的主要原因。

There is nothing in which deduction is so necessary as in religion,……It can be built up as an exact science by the reasoner.

天下事没有比宗教更需要推理法的了。……推理法可能被推理学者们逐步树立为一门精密的学科。

For the fuzzy issue of Knowledge Base form, the reasoner parses it and then does fuzzy reasoning by the rules, gives the corresponding results. Finally, an experiment of KB reasoning is applied to prove the capacity of this reasoner.

对以知识基形式存在的模糊问题，解析后利用规则进行模糊推理，给出相应的结果，最后还通过一个知识基推理的实验，对本推理机的能力进行了必要的检验。

To overcome volatility clustering problems,an adaptive neuro-fuzzy inference system is combined with a nonlinear generalized autoregressive conditional heteroscedasticity model that is tuned by adaptive support vector regression so as to tackle the problem of time-varying conditional variance in residual errors.

针对传统的自适应模糊推理系统无法解决波动聚类现象，通过分析自适应模糊推理系统和非线性广义自回归条件方差的特性，提出了融合自适应模糊推理系统和非线性广义自回归条件方差的调谐模型。调谐模型实质是指在对ANFIS和NGARCH进行独立运行的基础上，对运行结果进行动态调谐操作，从而提高系统的预测精度。最后，结合实际的项目数据，证明调谐模型提高了传统ANFIS对于波动聚类现象的应对能力，获得较好的运行效果

The article apply anti- syllogism to research in syllogism and hypothetical syllogism ,it proves equivalence relation of correct form and rule varied cases of syllogism ,and puts forwad a new method restituting elliptical expression of syllogism and distinguishing hypothetical syllogism .

本文将演绎推理的反三段论形式运用于三段论、省略三段论和假言推理的研究，论证了三段论各格正确式及规则的等值性，提出了恢复省略三段论和判别假言推理是否正确的一种新方法。

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

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

They may be produced for almost any shaft angle.

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