人工智能搜索推理技術消解原理.pptVIP

人 工 智 能 Artificial Intelligence (AI);第3章 搜索推理技术 ;3.6 消解原理 3.6.1 子句集的求取 3.6.2 消解原理（补充） 3.6.3 消解推理规则 3.6.4 含有变量的消解式 3.6.5 消解反演求解过程 3.6.6 Horn子句集消解（补充） 3.6.7 Prolog 语言简介 （补充）;3.6 消解原理 ;3.6.1 子句集的求取 如何将谓词公式转化为子句集，作为合一算法的输入（公式集） 3.6.1.1 若干基本概念 3.6.1.2 子句集的求取;3.6.1.1 若干基本概念 1 自由变元与约束变元 2 前束范式与前束合取范式 3 斯科伦（Skolem）范式 4 子句集;设α，β是一个谓词公式，将量词记作θ（即 ? 或 ? ）;如果α中包含部分公式 (θx)β，则β中变元 x 的一切出现都称为 x 在 α 中的约束出现，相应地称 x 为约束变元（哑元、虚构变量、约束变量）;α中不在任何量词作用域内的变元 x ，称为变元 x 在 α 中的自由出现，相应地称 x 为自由变元（自由变量）;量词的作用域（辖域）是直接跟在它后面的公式 如果有括号，则是括号里的公式 如果没有括号，则是最短的完整公式;例1：? x ( P(x) ? ?y (R(x, y)) ) x ,