第一节 推理概述 第二节 命题推理的基本形式及规则 第三节 命题推理的扩展形式 第四节 命题推理在实际思维中的应用

以冶金工业部人才资源的管理问题为背景,给出了人才资源智能管理系统的具体设计方法.该系统中,广义的管理分析预测模型树用于其知识表达,系统结构由多库结构支持;在其推理机方面,应用元知识推理以协调定性推理、定量推理和人工神经网络推理.将有限的自然语言理解引入人-机界面,用TURBO PROLOG和C语言在IBM/AT微机上对该设计部分实现,表明了其合理性及可行性

为了探寻20Mn2车桥管在加工过程中产生推方裂缺陷的原因,借助光学显微镜、扫描也子显微镜、氧氮分析仪等测试手段,研究了推方裂的影响因素和形成机理.结果表明裂纹均出现在冷推方后的方管角部,缺陷试样氮的质量分数达70×10-6以上,在裂纹试样低倍组织中发现上贝氏体组织,裂纹处有钢中夹杂物存在.通过降低钢液增氮、提高淬火冷速以及减少钢中夹杂物,可以有效减少推方裂的产生

《目标》这本书谈的是科学与教育。我相信一直以来，这两个名词都被过度滥用，被拱上了崇高的地位和神秘的迷雾中，以至于尽失原意。对我和许多受人尊敬的科学家而言，科学谈的不是大自然的奥秘，或甚至真理，科学只不过是我们用来尝试推敲出基本假设的方式，透过直截了当的逻辑推演，这些假设能解释许多自然现象为何存在。物理学的能量守恒定律不是真理，只不过是能用来解释许多自然现象的假设。我们永远无法证明这样的假设，因为即使我们能用这个假设来解释无数自然现象，我们还是无法证明它是放诸四海皆准的。另一方面，只要有一个现象是这个定律所无法解释的，这个假设就立刻被推翻了。推翻这个假设丝毫无损于假设的效力，而只不过是凸显了另外还有一个更有效力的假设存在，或是我们需要去找到其他假设。能量守恒定律所讲到的状况正是如此，关于能量与质量的守恒，爱因斯坦推论出一个更放诸四海皆准、更有效力的假设，取代了原本的定律。但是，这并不代表爱因斯坦的假设就是真理，正如过去的能量守恒定律也不是真理一样

С.Я.Альпер姓李國平均曾將И.И.Привалоь定理加以推理[1],[2]b本文是將李國平的定理災推廣到單位圓內非完全解析函數的情形。С.Я.Альпер也曾將Kellog定理加以推廣,本文是利用李國平的定理以類似方法來推廣Kellog定理

根据中锰钢热轧组织结构确立两相区奥氏体化的几何模型和初始条件,利用DICTRA动力学分析软件对中锰钢马氏体基体奥氏体化过程进行计算分析.在奥氏体化初期的形核过程中,马氏体中过饱和的碳锰元素从铁素体迅速转移到奥氏体并在相界面奥氏体一侧聚集.后续的相变过程中,碳在奥氏体中快速均化,但锰在相界面奥氏体一侧的聚集加剧.相变初期奥氏体界面推移速度比中后期高出若干个数量级,但随时间推移迅速衰减.相变初期相界面推移是碳扩散主导,相变后期界面推移受到锰在奥氏体中扩散速度制约.温度升高可显著提高相界面推移速度.达到相同数量奥氏体的情况下,低温长时退火有利于锰从铁素体向奥氏体转移并提高其在奥氏体中的富集度,从而提高奥氏体的稳定性

本文把物理学中的万有引力定律引入推荐系统,提出一种个性化推荐算法,即基于万有引力的个性化推荐算法.算法把用户使用的标签看作用户喜欢物体的组成颗粒,标注项目的标签被看作项目物体的组成颗粒,社会标签的类型就是颗粒的类型,由此构建了用户喜好物体模型和项目物体模型.喜好物体和项目物体间存在着万有引力,并且引力大小遵循万有引力定律.计算喜好物体和项目物体间的万有引力,并把该引力大小作为二者的相似度度量,引力越大,二者的相似度就越高,对应的项目物体就越有可能被用户喜欢.实验结果证明本文提出的算法可以获得好的推荐性能

1.掌握房地产开发项目市场推广的主要渠道； 2.熟悉广告推广、活动推广及房地产客户关系管理，房地产开发项目定价方法、定 价策略，房地产开发项目销售管理的主要工作内容； 3.了解房地产开发项目市场推广渠道的分类方式，挖掘卖点、提炼市场推广主题， 房地产开发项目的价格调整

为实现推力矢量飞机的大迎角机动控制，提出一种基于自抗扰控制的三通道解耦控制策略.以第三代战机F16公开数据为基础，添加推力矢量模型，利用双发推力矢量喷管组合偏转产生大迎角机动的期望三轴力矩.在纵向、横向和航向通道分别独立设计自抗扰控制器，将系统中未建模动态、不确定性以及通道间的强耦合视作总扰动进行估计并补偿，并在纵向和航向通道引入角速度阻尼反馈项，使原始飞行器开环动力学闭环近似为一个广义对象，降低了自抗扰控制器的设计阶次.选取眼镜蛇机动和赫伯斯特机动两种典型的过失速机动动作进行控制策略验证，数值仿真结果表明，所设计的三通道独立自抗扰控制器能够消除通道间的强耦合，完成推力矢量飞机的大迎角机动控制.蒙特卡罗仿真测试表明，所提控制策略具有较强的鲁棒性

5.1 概述 5.2 基于谓词逻辑的机器推理 5.3 基于产生式规则的机器推理 5.4 几种结构化知识表示及其推理 5.5 不确定性知识的表示与推理