【教学课件】第一章人工智能概述.ppt

第一章 人工智能概述,什么是人工智能？人工智能的研究目标和意义？人工智能的研究途径与方法人工智能的分支领域（基于应用领域）人工智能基本技术,第3章 图搜索技术,状态图知识表示状态图搜索穷举式搜索启发式搜索加权状态图搜索与或图知识表示与或图搜索启发式与或树搜索博弈树搜索,状态图知识表示,状态空间（State Space）问题的状态空间是一个表示该问题全部的可能状态及相互关系的图。一般用赋值有向图，包含S：问题的可能有的初始状态的集合；F：操作的集合；G：目标状态的集合。状态空间常记为三元序列,状态图搜索,穷举式搜索广度优先深度有限有界深度优先启发式搜索（九宫重排为例）局部择优全局择优,状态图搜索（续1）,加权状态图搜索分支界限最近择优（瞎子爬山）,与或图搜索,与或图相关概念本原问题、终止节点、端节点、与节点、或节点与或图也是一个三元组 Q0,F,Qn）博弈树知识表示与或树搜索可解性判定广度优先、有界深度优先,与或图搜索（续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）先为待求解的问题找一个合适的求证目标谓词；（2）再对目标否定子句增配（以析取形式）一个辅助谓词，该谓词的变元必须与对应目标谓词中的变元完全一致；（3）进行归结；（4）当归结是刚好只剩下辅助谓词时，辅助谓词中原变元位置上的项就是所求的结果。,归结策略,删除策略支持集策略线性归结策略输入归结策略单元归结策略祖先过滤型策略,第6章 产生式系统,产生式系统的组成产生式系统的组成过程产生式系统的控制策略与常用算法（正向，反向）,第7章 知识表示,框架语义网络,