一般搜索原理PPT.ppt

推理过程： （1）将事实转换成与或树的形式； （2）将F规则运用到与或树上： 将L与其能合一的叶节点相匹配，扩展与或树，将W作为新的节点扩展； （3）重复（2），直到产生一个含有以目标节点为终止节点的一致解图。 例： 已知事实：? P(a) ∨ (Q (a) ∧R(a) ) F规则：r1: ? P(x) ? ? S(x) r2: Q(y) ? N(y) 求证： ? S(a) ∨ N(a) ? P(a) ∨ (Q (a) ∧R(a) ) ? P(a) Q (a) ∧R(a) Q (a) R(a) ? S(a) N(a) ? P(x) a/x Q(y) a/y 读取子句： S(a) ∨ N(a) S(a) ∨ R(a) r1: ? P(x) ? ? S(x) r2: Q(y) ? N(y) 例：公司招聘 （1）P(A) ∨ P(B) ∨ P(C) （2）P(A) ∧ ? P(B) ? P(C) P(A) ? P(B) ∨ P(C) （3）P(B) ? P(C) P(A) ∨ P(B) ∨ P(C) P(A) P(B) P(C) P(A) P(B) P(C) P(B) P(C) P(B) P(C) 3.4 归结/消解演绎推理 一 逻辑推理 1 方式： （1）演绎推理：从一般到个别； 最典型：三段论； （2）归纳推理：从个别到一般，从多个特例中归纳出一般性结论； （3）缺省推理：知识不完全的情况下，默认某一条件/事实/情况成立，便于推理； 2 控制策略： （1）正向推理： （2）反向推理 混合推理； 双向推理； 3 模式匹配：两个（知识）模式（谓词公式、框架、语义网络）比较，完全一致或近似一致，称为可匹配； 是推理中的重要过程。 二 置换与合一 1 置换： 项对变元的替换，用变元、常量或函数来替换变元，目的是使两个公式一致。 例： P（x , f(y), B) , S1={z/x, w/y} P（x , f(y), B) S1= P (z, f(w), B) 置换复合： ?={t1/x1, t2/x2, … , tn/xn} ?={u1/y1, u2/y2, … , un/yn} ?· ?={t1 ?/x1, t2 ?/x2, … , tn ?/xn, u1/y1, u2/y2, … , un/yn}中 删去如下两种元素： ti ?/xi 当ti ?=xi ui/yi 当yi∈ {x1,x2,… xn} *置换可合成，而不可交换： （PS1）S2 = P（S1 · S2） （S1 · S2） · S3 = S1 · （S2 · S3） S1 · S2≠S2 · S1 例：? ={f(y)/x, z/y} ?={a/x, b/y, y/z} ?· ?= {f(b)/x, y/y, a/x, b/y, y/z} 2 合一 （3）差异集：从F的各公式中取出第一对相应的不一致符号所构成的集合D。 例：F={P (x, y , z ), P(x, f (a), h(b)) } {y, f(a)}, {z, h(b)} （1）定义：公式集F={F1，F2，…，Fn}，若存在一个置换?使得： F1 ?= F2 ?=…=Fn ?，称?为F的一个合一， F1，F2，…，Fn为可合一。 例：F= {P (x,y, f(y)), P (a, g(x), z) } ?= { g (a)/y, a/x , f (g(a))/z } （2）最一般合一： S为F的任一合一，g为其一合一，若对任一S，皆存在一置换S’，有：S = g · S’或FS =（Fg）S’, 称g为其最一般合一。 (4)求最一般合一算法： 思想：从第一个差异集开始，寻求项对变量的置换。 (a) k = 0, Fk = F , gk = { }; (b) 若F各公式表达式一致，则算法停止， gk 为最一般合一； (c) 找出Fk的差异集Dk； (d)若Dk中有元素ak, tk, 其中tk为项，ak为变元，且ak不在tk中出 现，则： g k+1 = gk · {tk /a k }, F k+1 = F k {tk /ak } k= k+1, 转( b) ; (e)算法终止，F最一般合一不存在。 例：求F的最一般合一。 F= { P(a, x, f (g (y))), P (z, h(z, u ), f(u)) }