人工智能概述

第一章人工智能概述•什么是人工智能？人工智能的研究目标和意义？•人工智能的研究途径与方法•人工智能的分支领域（基于应用领域）•人工智能基本技术第3章图搜索技术•状态图知识表示•状态图搜索–穷举式搜索–启发式搜索–加权状态图搜索•与或图知识表示•与或图搜索–启发式与或树搜索•博弈树搜索状态图知识表示•状态空间（StateSpace）–问题的状态空间是一个表示该问题全部的可能状态及相互关系的图。–一般用赋值有向图，包含•S：问题的可能有的初始状态的集合；•F：操作的集合；•G：目标状态的集合。•状态空间常记为三元序列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，再将剩余部分析取起来，记构成的新子句为C12，则C12为C1、C2的归结式。替换与合一•一个替换（Substitution）是形如{t1/x1,t2/x2,…,tn/xn}的有限集合•设σ是原子公式集S的一个合一，如果对S的任何一个合一θ都存在一个替换λ，使得θ＝σ•λ则称σ为S的最一般合一(MostGeneralUnifier),简称MGU。谓词逻辑中的归结原理•C1，C2为无相同变元的子句；L1，L2为其中的两个文字，L1和¬L2有最一般合一σ；C1，C2的二元归结式（二元消解式）为：C1σ－{L1σ}）∪（C2σ－{L2σ}）应用归结原理求取问题答案（1）先为待求解的问题找一个合适的求证目标谓词；（2）再对目标否定子句增配（以析取形式）一个辅助谓词，该谓词的变元必须与对应目标谓词中的变元完全一致；（3）进行归结；（4）当归结是刚好只剩下辅助谓词时，辅助谓词中原变元位置上的项就是所求的结果。归结策略•删除策略•支持集策略•线性归结策略•输入归结策略•单元归结策略•祖先过滤型策略第6章产生式系统•产生式系统的组成•产生式系统的组成过程•产生式系统的控制策略与常用算法（正向，反向）第7章知识表示•框架•语义网络