第3章(有哪些信誉好的足球投注网站推理技术5-消解原理).pptxVIP

人 工 智 能 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 , y 都是约束变元 例2：? x ( P(x) ? (R(x, y)) ) x 是约束变量，y 是自由变元;改名：将谓词公式中一个变元名改成另一个变元名，但是要求改名后的公式与原公式意义相同（真假值相同） 原则：改成的新的变元名一定是量词作用域中没有出现过的变元名（包括约束变元和自由变元）;例3：? x ( P(x) ? (R(x, y))) 除了 y 外，可以将 x 改成任何变元名 例4：? x P(x) ∧ Q(y) 可以改成任何变元名，包括 y（建议不要用）;2 前束范式与前束合取范式 ;定义：设谓词公式α是一个前束范式，如果α的母式具有形式： （M11∨M12…∨M1 n1）∧ （M21∨M22…∨M2 n2）∧ …… (Mm1∨Mm2…∨Mm nm） 其中，M i j 是原子公式或其非，则称α是前束合取范式。相应地有前束析取范式;;3 斯柯伦范式 ;①若?xk (1≤k≤n )左边没有全称量词，则取不在母式中出现的常量替代母式中的所有 xk ，并删除前束中的 ?xk;②若 ?xk (1 k≤n )左边有全称量词 (?xs1) (?xs2)…(?xsr) ( 1≤r，1≤s1s2…srk) 则，取不在母式中出现的 r 阶函数 fr (xs1, xs2,…xsr)替代母式中的所有xk ，并删除前束中的 ?xk;③反复使用上述两条规则，消除前束中的所有存在量词，即得到斯柯伦范式 其中，引入的函数称为斯柯伦函数;?x ?y ?z ?u ?v ?w A(x,y,z,u,v,w) (用a替代x，删除?x) = ?y ?z ?u ?v ?w A(a,y,z,u,v,w) （用f(y,z)代替u，删除?u） = ?y ?z ?v ?w A(a,y,z, f(y,z),v,w) （用h(y,z,v)代替w，删除?w） = ?y ?z ?v A(a,y,z, f(y,z),v,h(y,z,v)) ;说明： 一个谓词公式的斯科伦范式不是唯一的，尽可能将斯科伦函数取得简单一点;化成前束范式 化成前束合取范式 化成斯科伦范式（斯科伦函数的变元较多）;将α1、α2 分别化成前束范式 对α1、α2 分别求出斯柯伦范式β1、β2 将β1∧β2 的量词左移得到α的斯柯伦范式（即前束范式）;α = ? y1 ? x1 P( x1 , y1 ) ∧ ?x2 ?y2 Q( x2 , y2 ) = ? y1 ? x1 ?x2 ?y2 (P( x1 , y1 ) ∧ Q( x2 , y2 )) （前束合取范式） = ? x1 ?x2 (P( x1 , a1 ) ∧ Q( x2 , f(x1,x2) ));α = ? y1 ? x1 P( x1 , y1 ) ∧ ?x2 ?y2 Q( x2 , y2 ) = ? x1 P( x1 , a1 ) ∧ ?x2 Q( x2 , f(x2) ) （先分别化成斯科伦范式） = ? x1 ?x2