推理方法

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

This dissertation proposes group reasoning and group AHP-based GDSS structure and its decision steps to solve the problems existing in research of theory and application of GDSS. Besides, the dissertation also studies the method of group reasoning on rough-set and qualitative reasoning method basis in GDSS. It also studies on constructing method of hierarchy structure of group AHP in GDSS and combinative method of judgment matrixes. Moreover, it studies on method regarding construction of judgment matrixes on rough set based and optimization theory of convex combination parameters of judgment matrixes as well. Finally, it develops an AHP based GDSS to demonstrate the efficiency of these methods.(1) This dissertation also summarizes the developing trend of GDSS and analyses problems as regards the research of GDSS.

本论文针对GDSS理论研究及应用中存在的若干问题，提出了基于群体推理及群体层次分析法的GDSS结构，并给出了基于该结构的GDSS的决策程序；研究了GDSS环境下的基于粗糙集理论及定性推理技术的群体推理方法，并举例说明了方法的有效性；研究了GDSS环境下群体AHP层次结构的建立、判断矩阵集结的理论与方法；研究了判断矩阵凸组合系数的优化原理；探讨了基于Rough Set的判断矩阵构造方法；开发了一个基于AHP的GDSS原型系统，旨在验证本文关于GDSS环境下群体AHP有关方法的有效性。

The second approach is using intensional methods to represent the dependency relationships among knowledge representing spaces.

为了解决基于规则外延方法的局限性，针对人工智能中的两大学派（连接主义学派和符号主义学派），目前有两种研究策略，一种是用神经元网或基于实例的推理方法来改进基于规则外延推理方法的健壮性；另一种是用内涵的方法来刻划知识表示空间之间的依赖关系。

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.

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

The delaminating reasoning, forward and backward mixed reasoning, precision and fuzzy reasoning are adopted combinative, to satisfy the request of the reasoning efficiency and the characteristic of the Chinese medicine. It has improved the system reasoning's precision and availability.

采用分层推理、正反混合推理与精确推理与不精确推理相结合的推理方法，很好的满足了中医诊断的特点和推理效率的要求，提高了系统推理的的准确性和可靠性。

Based on the study and inheritance of the domestic and overseas achievement in the related field, this thesis makes research into the theory and application: On theory, this thesis puts forward the concepts of Engineering Cost, Engineering Cost Management and Engineering Cost Estimation, analyzes the relation between them; And it introduces the factors which influence the engineering cost estimation, then puts forward the study of the methods; It particularizes the common methods of estimating the engineering cost, introduces the principle, the operation and the application condition, and analyzes the advantages and disadvantages of each method; By introducing the mention, the principle, the reasoning process and the comparison with the traditional reasoning mechanisms, it makes out the essence of this method, and views it as a whole.

本文在研究、继承已有国内外研究成果的基础上，在理论和应用方面都进行了研究：理论方面，提出了工程造价、工程造价管理、工程造价估算的概念，分析之间的相互关联；介绍工程造价估算的影响因素，提出对编制方法的探讨；列举出目前常用的工程造价估算方法，介绍各种方法的原理、使用方法及应用条件，分析各自的优缺点；通过介绍基于案例推理的提出、基本原理、推理过程和与传统推理机制的比较，剖析该方法的精髓，对其有了整体把握。应用方面，基于对研究对象的深刻理解，分析了工程造价估算问题和基于案例推理二者结合的必要性和可行性；建立了基于案例推理的工程造价估算系统，综合运用模糊数学、灰色理论、运筹学等知识，构造了系统算法；并运用上述理论和方法进行了实例分析，实现了基于案例推理的工程造价估算问题的初步研究，使得运用基于案例推理方法解决工程造价估算问题的设想得到了肯定。

Fault propagate model to obtain and combine present prevailing large amount of information, neuron network,etc. method most model, Direct against fuzzy Petri network give and publish undering the jurisdiction of degrees of algorithm of function concrete their; Petri network reasoning method combine trouble tree forward reasoning reverse algorithm of reasoning mainly, The concrete instance of connection is analysed and compares; Participate in potato cake production line background that design with author finally , combine on-the-spot characteristic of equipment, Set up one fault diagnose concrete model of expert system.

故障传播模型的获取结合了当前流行的最大信息量、神经元网络等方法，并且针对模糊Petri网给出了其具体的隶属度函数的算法；Petri网推理方法主要结合故障树正向推理反向推理的算法，联系具体实例进行分析和比较；最后以笔者参与设计的薯饼生产线背景，结合现场设备的特点，建立了一个故障诊断专家系统的具体模型。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

It goes back to what I told you...

现在回到我告诉过你的。。。

With a supporter in Mr Charest and an admirer in Mr Dumont, Mr Harper may be encouraged to call an election himself.

由于在沙雷那边有个支持者，杜蒙那边有个崇拜者，鼓励哈珀为自己举行一次选举。