推理方法

With introducing the interdisciplinary elements , the methods of neuroscience, more effective proofs are provided to prove that intuition is not some ruleless processing but analyzable and resolvable.

黄贞颖表示，这项研究在方法上与传统推理型赛局不一样，跨领域带入神经科学方法提出有效证据，证明直觉思考不是没有规则的过程，反而可以进一步被解构。

In Chapter 2,stochastic temporal reasoning is studied.By adding simple a priorknowledge and using hypothesis detection theory,the matching method of threequalitative temporal relations is constructed.The performance of this method isanalyzed,and the main factors which affect the matching performance are pointed out.

本文第二章研究统计时间推理，在这一章中，通过首先添加简单的先验专家知识，然后利用似然比检验的方法，给出了对三种定性时间关系的匹配方法，并分析了匹配的性能，明确了影响匹配性能的主要因素。

Ccording to the application research of expert system in production process of soaking pit s, this paper answers how to build the rules, facts and the processor of expert system, how to run the expert system and how to design the interface.

通过对专家系统在均热炉群生产过程中的应用研究，探讨了在线专家系统建立的规则、事实、推理机的构成，运行方式及接口设计的实现；阐述了利用能表达知识的规则进行均热炉加热方法控制和配合轧机工作规律的出钢顺序控制的方法，并与控制系统相配合，达到科学管理整个均热炉生产的目的。

The study of the ENFES system and its application We propose a two-level structured model which combines and integrates the four knowledge processing methods、the knowledge acquiring methodes、the knowledge inference stratigies and the methodes of knowledge base maintainment are propose and realized for this system.

基于遗传算法和神经网络的模糊专家系统的体系及应用研究我们提出一种基于遗传算法、神经网络的模糊专家系统的层次结构，这种结构可以增强系统的健壮性；讨论了在这种综合集成的系统中知识获取方法、推理策略以及知识库的维护与求精方法。

Based on the contrast with other method, the way "Frame + Rule" is choused to store the knowledge. Directing against the characteristic, put forward positive and negative to the tactics of mixing reasoning. At last adopting the thought of the soft project, the modularized and open system of hydraulic turbine group is realized by Delphi 6, which is an object-oriented language.

在本文中，研究了水轮机组的状态监测和故障诊断整个系统，阐明了系统主要内容和总体框架，并着重研究了作为专家系统核心的知识库及管理系统的构建方法，在比较的基础上采用了&框架+规则&的组合存储方法，并且针对特点提出了正反向混合推理的策略，最后采用软件工程的思想，用Delphi6.0编程实现了具有模块化和开放式的水轮机组的故障诊断专家系统。

To the nonlinear plants, the shortage of normal inverse control method for nonlinear plants is discussed in chapter 6. ANFIS is effectively applied to nonlinear inverse dynamic control system. A project about how to design nonlinear inverse dynamic controller is also discussed here. It effectively avoid the inherent imperfects in the normal inverse control methods. These methods show a great promise.

对于非线性被控对象，本文在第六章分析了通常非线性逆控制方法的不足，并将自适应模糊神经推理系统用于非线性逆动态控制中，讨论了ANFIS非线性逆动态控制器的设计方案，有效地克服了在常规逆控制方法中所固有的缺陷，在非线性控制中很有应用前途。

This paper proposes an integrated processing method of mid-value digitalfittering and recursive digital filtering to solve the disturbance problem duringtelemeasurement and data acquisition in electric power system. The method is inferredand proved.

针对电力系统遥测数据在采集过程中的干扰问题，提出了中位值数字滤波与递归式数字滤波综合处理的软件方法，并对这种方法进行了推理与论证。

The paper discusses the problem of seller's intelligent pricing in B2B marketplaces.On the basis of myopic adjustments by best response made by each seller,it puts forward a practical online learning method based on episode training.The method integrates both immediate result by reinforcement learning and rationality by deliberate inference,thus improves its online performance.

以B2B电子市场中卖方agent的智能定价问题为应用背景，在库诺特短视调整基础上，应用Q学习算法，提出了基于情节序列训练的学习方法，将纯粹以结果为反馈的强化学习方法和以推理为目标的慎思过程结合起来，提高了算法的在线学习性能。

Recommendation methods based on target case information and user historical request information are proposed. Case retainment method is thought of as relating to the Recall of reasoning, and the case retainment and learning strategies are presented.

然后，基于目标案例信息和用户历史请求信息提出了系统推荐方法，且认为案例保留的评价方法与推理的回想特性值相关，并据此提出了有效的系统案例保留与学习策略。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。