推理

On one hand,as a typical content of mathematical subject,reasoning and proof embodies the mathematical rational spirit;on the other hand,to cultivate students' thinking ability as the main function,the mathematics without reasoning and proof.

一方面，推理与证明作为数学学科的典型内容，体现了数学的理性精神；另一方面，数学以培养学生的思维能力为主要功能，它离不开推理与证明。

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

Aimed at the defects existing in the high-level decisions supported by IDSS,this paper introduces the qualitative reasoning,qualitative simulating theoryexpanding from physics into IDSS accord in order to improve the ability of IDSSto analyze and ratiocinate qualitative problems,according to the ways of thinkingand analyzing complex system of human beings.

本文针对IDSS在高层决策支持中存在的缺憾，根据人们对复杂系统的分析求解思路和过程，将从物理学中发展起来的定性推理、定性仿真理论集成到IDSS中来，以弥补IDSS对定性问题分析和推理的能力不足。

The neural network is constructed with logical construction and transparent ratiocination.

根据故障推理规则，构造一个结构合理、推理明晰的神经网络结构。

Neural network technique is applied to form creating method of relation and compounded algorithm of ratiocination of fuzzy control rules of seismic reduction structure at home and abroad for the first time, and therefore fuzzy reasoning driven by neural network of hybrid control structure system is achieved.

国内外首次提出了应用神经网络技术形成减震结构模糊控制规则的关系生成方法和推理合成算法，从而实现了神经网络驱动的混合控制结构体系模糊推理。

There are some key technologies, such as knowledge library, ratiocinative mechanism, learning mechanism, expository mechanism, database and the inter-importing mechanism of neural network and expert system in this intelligent fault diagnosis system. The knowledge library, ratiocinative mechanism and learning mechanism all consist of neural network and expert system, and they should be treated separately.

本智能故障诊断系统有知识库、推理机制、学习机制、解释机制、数据库以及神经网络与专家系统的相互导入机制等关键技术，其中知识库、推理机制和学习机制都包括神经网络与专家系统两个部分，需分别对待。

On the basis of total analysis and summarization on basic knowledge, principle and expert experience of injection mould feed system as well as further research on the computer-aided design of injection mould feed system, according to the geometrical model of the plastic, applying technologies including feature-based modeling and identifying, RBR, CBR, oriented-object and database technology VC++ 6.0, SQL Server 2000, Object ARX, the paper conceives general structure and primary function module of the intelligent design of injection mould feed system, develops user-systemic interface, constructs knowledge rule library and case library of injection mould feed system, researches denotative method of knowledge rule library and case library, designs the ratiocinative mechanism of intelligent system design, and realize the intelligent design of injection mould feed system partly.

本文在对注塑模具浇注系统设计的基本知识与原则及专家经验全面分析总结，以及对计算机辅助浇注系统设计方法深入研究的基础上，以塑件几何模型为依据，应用基于特征的建模与识别技术、RBR和CBR推理技术、面向对象和数据库技术，以及VC++6.0、SOL Server 2000和Object ARX二次开发工具，在AutoCAD 2002平台上，构建了注塑模具浇注系统智能化设计系统的总体结构及主要功能模块，开发了系统的用户界面，建立了浇注系统设计的知识与规则库和事例库，研究了设计知识与规则和事例的表示方法，设计了智能化设计系统的推理机制，部分实现了注塑模具浇注系统的智能化设计。

Repository includes information repository and expert experience repository. Production type express mode is adopted in knowledge express mode. Knowledge express mode was reasoned and matched with no precision ratiocinator and elicitation strategy, Identify communication radiant point and estimate its intimidatory grade.

其知识库包括"情报数据知识库"和"专家经验知识库"两数据库，知识表示模式采用了产生式表示模式，并利用不精确推理和启发策略进行推理和匹配，完成对通信辐射源进行识别并判断其威胁等级。

Based on production representation method, design method and reasoning process framework for system reasoner are presented.

基于产生式表示法，本文提出了系统推理器的设计思路和推理过程框架。

The knowledge and rules in reasoner are saved for reasoning application by FSRL.

并为后面的模糊推理机提供了必要的知识表示形式基础，推理机中的知识和规则都可以以此形式进行存储应用。

Shop assistant: Please check at the door.

店员：请您到门口柜台交费。

In the end, transportation of PAHs in the environmental matrix was preliminarily investigated and discussed according to PAHs data of soils and sediments from a certain region in Shanghai. The result indicated that there are two or more pathways on PAHs transportation in the environmental matrix.

最后，对上海特定地区内PAHs在环境介质中的迁移径途进行了分析讨论，结果表明上海市土壤和沉积物等环境介质中PAHs的迁移存在多种途径。