文档介绍:第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