文档介绍：第3章搜索推理技术
图的搜索策略
盲目搜索
启发式搜索
与或树搜索（补充）
博弈树搜索（补充）
消解原理
人工智能搜索推理技术消解原理
2021/1/25
1
消解原理
子句集的求取
消解原理（补充）
消解推理规则
含有变量的消解式
消解反演求解过程
Horn子句集消解（补充）
Prolog 语言简介（补充）
人工智能搜索推理技术消解原理
2021/1/25
2
消解原理
第2章中介绍：
谓词逻辑的基本知识
合一算法（求最一般的一致置换或合一者mgu）
本节：
消解原理（或者归结原理）
人工智能搜索推理技术消解原理
2021/1/25
3
子句集的求取
如何将谓词公式转化为子句集，作为合一算法的输入（公式集）
若干基本概念
子句集的求取
人工智能搜索推理技术消解原理
2021/1/25
4
若干基本概念
1 自由变元与约束变元
2 前束范式与前束合取范式
3 斯科伦（Skolem）范式
4 子句集
人工智能搜索推理技术消解原理
2021/1/25
5
设α，β是一个谓词公式，将量词记作θ（即  或  ）
1 自由变元与约束变元
人工智能搜索推理技术消解原理
2021/1/25
6
如果α中包含部分公式 (θx)β，则β中变元 x 的一切出现都称为 x 在 α 中的约束出现，相应地称 x 为约束变元（哑元、虚构变量、约束变量）
约束变元
人工智能搜索推理技术消解原理
2021/1/25
7
α中不在任何量词作用域内的变元 x ，称为变元 x 在 α 中的自由出现，相应地称 x 为自由变元（自由变量）
自由变元：
人工智能搜索推理技术消解原理
2021/1/25
8
量词的作用域（辖域）是直接跟在它后面的公式
如果有括号，则是括号里的公式
如果没有括号，则是最短的完整公式
说明：
人工智能搜索推理技术消解原理
2021/1/25
9
例1： x ( P(x)  y (R(x, y)) )
x , y 都是约束变元
例2： x ( P(x)  (R(x, y)) )
x 是约束变量，y 是自由变元
人工智能搜索推理技术消解原理
2021/1/25
10