人人 工工 智智 能能ArtificialIntelligence(AI)第第3章章搜索推理技术搜索推理技术3.1图的搜索策略图的搜索策略3.2盲目搜索盲目搜索3.3启发式搜索启发式搜索3.4与或树搜索（与或树搜索（补充补充）3.5博弈树搜索（博弈树搜索（补充补充）3.6消解原理消解原理3.6消解原理消解原理3.6.1子句集的求取子句集的求取3.6.2消解原理（补充）消解原理（补充）3.6.3消解推理规则消解推理规则3.6.4含有变量的消解式含有变量的消解式3.6.5消解反演求解过程消解反演求解过程3.6.6Horn子句集消解（补充）子句集消解（补充）3.6.7Prolog语言简介语言简介（补充）（补充）3.6消解原理消解原理第第2章中介绍章中介绍：谓词逻辑的基本知识谓词逻辑的基本知识合一算法（求最一般的一致置换或合一者合一算法（求最一般的一致置换或合一者mgu）本节本节：消解原理（或者归结原理）消解原理（或者归结原理）3.6.1子句集的求取子句集的求取如如何何将将谓谓词词公公式式转转化化为为子子句句集集，作作为为合合一一算算法法的输入（公式集）的输入（公式集）3.6.1.1若干基本概
