5推理技术探析.pptx

推理示例：5个房间问题;;推理 (Reasoning);What is reasoning? Inference in first-order logic Substitutions and Unification Resolution Rule Based Deduction Production-rule System(产生式系统) ;Ability and Process of making decision based on facts and knowledge. Mechanism According to logicl basis：Deduction（演绎） vs. Induction（归纳） According to the certainty of knowledge：Reasoning under certainty（确定） vs. uncertainty（不确定） According to the monotony of reasoning process：Monotonic（单调） vs. Non-monotonic（非单调） Control Strategy ;推理方向(Inference Direction) Facts → Conclusions (Forward chain, Data-driven) Facts ← Conclusions (Backward chain, Goal-driven) Facts ? Conclusions (Bi-directional) 冲突消解(Conflict Resolution) Sort knowledge for improving reasoning efficiency Search;Inference in first-order logic;推理过程多种多样 例1： 如果今天不下雨，我就去你家 今天没有下雨 例2： 小王说他下午或者去图书馆或者在家休息 小王没去图书馆 计算机如何选择？ ;消解原理（归结原理）;什么叫消解;什么叫消解;例：苏格拉底论断 凡人都会死. ?x (Man (x) ? Mortal (x)) 苏格拉底是人. Man (Socrates) 如何得到结论：苏格拉底会死. Mortal(Socrates) 要完成消解还面临几个问题 “?”和“ ?”必须去掉 Man (x) ? Mortal (x) ??Man (x) ? Mortal “?”怎么办？;要把消解推理规则推广到含有变量的子句，必须找到一个作用于亲本子句的置换，使亲本子句含有互补文字 当子句之间可以找到一个项对变量的置换使其变成相同的形式时，就称这些子句是可合一的;Substitutions;置换可作用到原子公式或项上，表示用相应的项替换对应的变元;Remember the motivation;Two substitutions : S = {u1/s1,..,um/sm} T = {t1/v1,...,tn/vn} 它们的复合仍是一个置换，是ST = {u1T /s1,..,umT /sm , t1/v1,...,tn/vn} 集合中删去那些ui T /si 若ui T =si ，以及tk/vk ，若vk?{s1,..,sm} 置换的复合运算是左结合的 一般满足结合律但不满足交换律 s(tu) = (st)u, but not st = ts. ;Composition of substitutions;合一（Unification) 寻找项对变量的置换，以使两表达式一致的过程。 Definition: Let y1 and y2 be atoms. A unifier for y1 and y2 is a substitution s such that y1s = y2s 如果一个置换s作用于表达式集{Ei}的每个元素，则用{Ei} s来表示置换例的集。我们称表达式集{Ei}是可合一的（unifiable）,s为合一者（unifier）;Unifiers;One more refinement;Relation between these?;最一般合一者(Most general unifier);disagreement set 通过设置指针从表达式的最左边开始逐一比较，直到发现不一致，由两表达式不一致的项所构成的集合称为差异集，或分歧集 e.g. S = {p(f(x),h(y),a), p(f(x),z,a)} disagreement set: D0= {h(y),z}.;The unification algoritm;k=0: F0=F ; σ0=ε D0={a, z}，σ1= σ0 ·{