推理

To allow ourselves simply to acquiescence in skepticism or in complacence, Kant wrote, can never suffice to overcome the restlessness of reason.

怀疑主义的简单默许，"康德写到"永远无法满足对问题的无尽推理。

For the characteristics of Tea Pest domain knowledge, we use a method which combines a classification method based on the biology with a complete axiom system. Tea Pest domain ontology which is built in this method can not only reveal the clear hierarchy structure of knowledge, but also have a well application in the retrieval and reasoning of diagnosis system.

针对茶虫害领域知识的特点，本文采用生物分类法与完整的公理系统相结合的方法，清晰的体现了茶虫害领域知识的层次结构，并且有利于本体在诊断系统中的检索、推理等应用。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

Aiming at the problem that the condition information of large size steam turbine unit is complex and difficult to evaluate its condition accurately, an evaluation method based on evidential reasoning is proposed.

针对大型汽轮机组状态信息复杂，运行状态难以准确评价的问题，提出基于证据推理的状态评价方法。

In the research and development of intelligence system,the computing complexity of reasoning is a important problem.

在智能系统的研究与开发中，推理方法的计算复杂性是一个很重要的问题。

ABSTRACT Abduction, characterized as finding the most plausible composite hypothesis that explains all observation data, is a basic form of...

反绎推理是人类逻辑推理的一种基本方式，它所具有的多解性和高或然性以及由此引起的高计算复杂性是当前AI研究所遇到的困难之一。

Secondly, the knowledge induced from experience, sample knowledge, model quantified knowledge are integrated organically in the field of ship design. The compound knowledge model is raised. A standardized modal system of compound knowledge in intelligent 3D-layout design of ship compartments is set up, by using object-oriented classify-decomposed relation and mixed knowledge expression of frames, regulars and methods. The intelligent support system of intelligent 3D optimal layout design of ship compartments is established based on compound knowledge base and inference engine.

其次，将船舶布置设计领域中经验归纳性知识、实例样本知识、模型数量化知识三者有机集成，提出了复合知识模型；结合舱室智能三维布置设计采用面向对象的知识分类分解关系及用框架、规则、方法的混合知识表达形式建立了一套复合知识规范化的形式描述体系，介绍了相应的推理机构造方法，提出了基于神经网络的舱室布置设计实例检索模型，并首次将其用于舱室布置设计实例的检索。

If a subject who knows only P cannot deduce that Q (as the knowledge argument suggests), or if one can rationally conceive of P without Q (as the conceivability argument suggests), then it seems that P does not imply Q.

如果一个主体仅仅知道P，不能推理得到Q，或如果一个人可合理设想没有Q的P，那么似乎P并不蕴涵Q。

The conceivability argument infers from conceivability to metaphysical possibility; the knowledge argument infers from failure of deducibility to difference in facts; and the explanatory argument infers from failure of physical explanation to nonphysicality.

可设想论证从形上学可能性的可设想做出推导，知道论证从'推理失败'推导'事实上的差异'。

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.

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

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。