人工智能ch6经典逻辑推理题库.ppt

第二部分 推理第6章 经典;推理与人工智能推理是人类求解问;推理的概念 例如：;推理的概念推理一般包括两种判断;推理方式分类推理方式演绎推理、;推理的控制策略 ;推理的控制策略推理方向 ;模式匹配模式匹配：对两个知识模;冲突消解策略在推理过程中，系统;冲突消解策略以产生式系统为例，;第六章 经典逻辑推理技术经典逻;6.1 归纳演绎推理谓词演算;6.1 归纳演绎推理子句鲁宾;子句的定义定义1：原子公式及原;谓词公式化为子句集的步骤将谓词;Step1：(?x){?[(?;(4)消去??不在?辖域内，采;(5)将公式化为前束形 ;(6)利用分配律将母式化为合取;(8)消去?，把母式用子句集表;鲁宾逊归结原理由谓词公式转化为;命题逻辑中的归结原理定义1：若;命题逻辑中的归结原理例：C1=;命题逻辑中的归结原理定理：归结;命题逻辑中的归结原理注意：命题;谓词逻辑中的归结原理 ;谓词逻辑中的归结原理例：设C1;谓词逻辑中的归结原理例：设C1;谓词逻辑中的归结原理定义：子句;归结反演应用归结原理证明定理的;例：归结反演例：已知前提F：(;例：归结反演例：已知：能阅读的;归结反演树;应用归结原理求问题答案除定理证;例：应用归结原理求问题答案例：;6.2.4 应用归结原理求问;应用归结原理求问题答案;归结的一般过程归结的一般过程：;归结的一般过程例：设有子句集：;归结策略归结策略大致分为两大类;归结策略以上列出的是几种最基本;归结策略——删除策略1. 纯文;归结策略——删除策略2. 重言;归结策略——删除策略3. 包孕;归结策略——限制策略1. 支持;归结策略——限制策略例：设有子;归结策略——限制策略2. 线性;归结策略——限制策略例：设有子;归结策略——限制策略3. 单文;归结策略——限制策略例：设有子;归结策略——限制策略4. 祖先;归结演绎推理缺点归结反演中，必;6.2 自然演绎推理 ;伽利略在论证哥白尼的日心说时，;6.2 自然演绎推理例：设已;6.2 自然演绎推理例：设已;6.2 自然演绎推理(?x);6.2 自然演绎推理优点： ;6.3 与/或形演绎推理与/;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;标准的与/或形：Q(z, a);6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;R16.3.1 与/或形正向;6.3.1 与/或形正向演绎;6.3.1 与/或形正向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;6.3.2 与/或形逆向演绎;问题：是否存在一只猫和一只狗，;CAT(x)?DOG(y)??;6.3.2 与/或形双向演绎;6.3.2 与/或形双向演绎;6.3.2 与/或形双向演绎;6.3.2 与/或形双向演绎;应用举例1——Wumpus(狮;应用举例2——电路设计参考教材