《人工智能概述 》PPT课件.ppt
第一章第一章 人工智能概述人工智能概述什么是人工智能？人工智能的研究目什么是人工智能？人工智能的研究目标和意义？标和意义？人工智能的研究途径与方法人工智能的研究途径与方法人工智能的分支领域（基于应用领域）人工智能的分支领域（基于应用领域）人工智能基本技术人工智能基本技术第第3章章 图搜索技术图搜索技术状态图知识表示状态图知识表示状态图搜索状态图搜索穷举式搜索穷举式搜索启发式搜索启发式搜索加权状态图搜索加权状态图搜索与或图知识表示与或图知识表示与或图搜索与或图搜索启发式与或树搜索启发式与或树搜索博弈树搜索博弈树搜索状态图知识表示状态图知识表示状态空间（状态空间（State SpaceState Space）问题的状态空间是一个表示该问题全部的问题的状态空间是一个表示该问题全部的可能状态及相互关系的图。可能状态及相互关系的图。一般用赋值有向图，包含一般用赋值有向图，包含S S：问题的可能有的初始状态的集合；：问题的可能有的初始状态的集合；F F：操作的集合；：操作的集合；G G：目标状态的集合。：目标状态的集合。状态空间常记为三元序列状态空间常记为三元序列SG状态图搜索状态图搜索穷举式搜索穷举式搜索广度优先广度优先深度有限深度有限有界深度优先有界深度优先启发式搜索（九宫重排为例）启发式搜索（九宫重排为例）局部择优局部择优全局择优全局择优状态图搜索（续状态图搜索（续1）加权状态图搜索加权状态图搜索分支界限分支界限最近择优（瞎子爬山）最近择优（瞎子爬山）与或图搜索与或图搜索与或图相关概念与或图相关概念本原问题、终止节点、端节点、与节点、本原问题、终止节点、端节点、与节点、或节点或节点与或图也是一个三元组与或图也是一个三元组 Q Q0 0,F,Q,F,Qn n）博弈树知识表示博弈树知识表示与或树搜索与或树搜索可解性判定可解性判定广度优先、有界深度优先广度优先、有界深度优先与或图搜索（续与或图搜索（续1）有序搜索有序搜索解树（树根）代价的计算方法解树（树根）代价的计算方法和代价法和代价法最大代价法最大代价法有序搜索过程有序搜索过程博弈树搜索博弈树搜索极小极大分析法极小极大分析法 剪枝技术剪枝技术第第5章基于谓词逻辑的机器推理章基于谓词逻辑的机器推理相关定义及概念相关定义及概念化子句集的过程化子句集的过程命题逻辑的归结原理命题逻辑的归结原理替换与合一替换与合一谓词逻辑中的归结原理谓词逻辑中的归结原理应用归结原理求取问题答案应用归结原理求取问题答案归结策略归结策略化子句集的过程化子句集的过程1、消去蕴含词和等值词。、消去蕴含词和等值词。2、使否定词仅作用于原子公式。、使否定词仅作用于原子公式。3、适当改名使量词间不含同名指导变元。、适当改名使量词间不含同名指导变元。4、消去存在量词。、消去存在量词。5、消去全称量词。、消去全称量词。6、化公式为合取范式。、化公式为合取范式。7、适当改名，使子句间无同名变元。、适当改名，使子句间无同名变元。8、消去合取词，以子句为元素组成一个集合、消去合取词，以子句为元素组成一个集合S。命题逻辑的归结原理命题逻辑的归结原理设设C1，C2是命题逻辑中的两个子句是命题逻辑中的两个子句 C1中有文字中有文字L1，C2中有文字中有文字L2，且，且L1与与L2互补，互补，从从C1、C2中分别删除中分别删除L1、L2，再将剩余部分析取起来，记构成的新子句为再将剩余部分析取起来，记构成的新子句为C1 2，则，则C1 2为为C1、C2的归结式。的归结式。替换与合一替换与合一一个替换（一个替换（Substitution）是形如）是形如 t1/x1,t2/x2,tn/xn的有限集合的有限集合设设是原子公式集是原子公式集S的一个合一，如果的一个合一，如果对对S的任何一个合一的任何一个合一都存在一个替换都存在一个替换，使得，使得 则称则称为为S的最一般合一的最一般合一(Most General Unifier),简称简称MGU。谓词逻辑中的归结原理谓词逻辑中的归结原理C1，C2为无相同变元的子句；为无相同变元的子句；L1，L2为其中的两个文字，为其中的两个文字，L1和和L2有最一般合一有最一般合一；C1，C2的二元归结式（二元消解式）的二元归结式（二元消解式）为：为：C1 L1）（C2 L2）应用归结原理求取问题答案应用归结原理求取问题答案（1 1）先为待求解的问题找一个合适的）先为待求解的问题找一个合适的求证目标谓词求证目标谓词；（2 2）再对目标否定子句增配（）再对目标否定子句增配（以析取形式以析取形式）一个）一个辅助辅助谓词谓词，该谓词的，该谓词的变元变元必须与对应必须与对应目标谓词目标谓词中的中的变元变元完全完全一致一致；（3 3）进行归结；）进行归结；（4 4）当归结是刚好）当归结是刚好只剩下辅助谓词只剩下辅助谓词时，辅助谓词中原时，辅助谓词中原变元位置上的变元位置上的项项就是就是所求所求的结果。的结果。归结策略归结策略删除策略删除策略支持集策略支持集策略线性归结策略线性归结策略输入归结策略输入归结策略单元归结策略单元归结策略祖先过滤型策略祖先过滤型策略第第6章章 产生式系统产生式系统产生式系统的组成产生式系统的组成产生式系统的组成过程产生式系统的组成过程产生式系统的控制策略与常用算法产生式系统的控制策略与常用算法（正向，反向）（正向，反向）第第7章章 知识表示知识表示框架框架语义网络语义网络
