人工智能概述.ppt

《人工智能概述.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第一章人工智能概述什么是人工智能？人工智能的研究目标和意义？人工智能的研究途径与方法人工智能的分支领域（基于应用领域）人工智能基本技术第3章图搜索技术状态图知识表示状态图搜索穷举式搜索启发式搜索加权状态图搜索与或图知识表示与或图搜索启发式与或树搜索博弈树搜索状态图知识表示状态空间（StateSpace）问题的状态空间是一个表示该问题全部的可能状态及相互关系的图。一般用赋值有向图，包含S：问题的可能有的初始状态的集合；F：操作的集合；G：目标状态的集合。状态空间常记为三元序列状态图搜索穷举式搜索广度优先深度有限有界深度优

2、先启发式搜索（九宫重排为例）局部择优全局择优状态图搜索（续1）加权状态图搜索分支界限最近择优（瞎子爬山）与或图搜索与或图相关概念本原问题、终止节点、端节点、与节点、或节点与或图也是一个三元组Q0,F,Qn）博弈树知识表示与或树搜索可解性判定广度优先、有界深度优先与或图搜索（续1）有序搜索解树（树根）代价的计算方法和代价法最大代价法有序搜索过程博弈树搜索极小极大分析法α－ß剪枝技术第5章基于谓词逻辑的机器推理相关定义及概念化子句集的过程命题逻辑的归结原理替换与合一谓词逻辑中的归结原理应用归结原理求取问题答案归结策略化子句集的过程1、消

3、去蕴含词和等值词。2、使否定词仅作用于原子公式。3、适当改名使量词间不含同名指导变元。4、消去存在量词。5、消去全称量词。6、化公式为合取范式。7、适当改名，使子句间无同名变元。8、消去合取词，以子句为元素组成一个集合S。命题逻辑的归结原理设C1，C2是命题逻辑中的两个子句C1中有文字L1，C2中有文字L2，且L1与L2互补，从C1、C2中分别删除L1、L2，再将剩余部分析取起来，记构成的新子句为C12，则C12为C1、C2的归结式。替换与合一一个替换（Substitution）是形如{t1/x1,t2/x2,…,tn/xn}的有限

4、集合设σ是原子公式集S的一个合一，如果对S的任何一个合一θ都存在一个替换λ，使得θ＝σ•λ则称σ为S的最一般合一(MostGeneralUnifier),简称MGU。谓词逻辑中的归结原理C1，C2为无相同变元的子句；L1，L2为其中的两个文字，L1和¬L2有最一般合一σ；C1，C2的二元归结式（二元消解式）为：C1σ－{L1σ}）∪（C2σ－{L2σ}）应用归结原理求取问题答案（1）先为待求解的问题找一个合适的求证目标谓词；（2）再对目标否定子句增配（以析取形式）一个辅助谓词，该谓词的变元必须与对应目标谓词中的变元完全一致；（3）进

5、行归结；（4）当归结是刚好只剩下辅助谓词时，辅助谓词中原变元位置上的项就是所求的结果。归结策略删除策略支持集策略线性归结策略输入归结策略单元归结策略祖先过滤型策略第6章产生式系统产生式系统的组成产生式系统的组成过程产生式系统的控制策略与常用算法（正向，反向）第7章知识表示框架语义网络