3.4 消 解 原 理.pptxVIP

3.4 消 解 原 理 Resolution principle 内容提要 置换、合一 子句集的求取 9个步骤 消解推理规则 含有变量的消解式 消解反演求解 2 谓词逻辑法（predicate logic） 谓词演算 1.语法及语义 2.连词和量词 谓词公式 1.定义 2.合适公式的性质 置换与合一 1.置换 2.合一算法 3 命题 def :具有真假意义的语句 命题的真值 真 假 1+1=10 Bob’s car is red Mary’s uncle 4 命题逻辑有较大的局限性 无法描述客观事物的结构和逻辑特征 不能把不同事物间的共同特征表述出来 两个命题 无法把两个人都是学生这一共同特征表示出来 引出谓词逻辑 5 谓词 STUDENT ( tom ) GREATER( 5,3 ) 谓词名 个体 用于刻划个体的性质,状态或个体间的关系 表示某个独立存在的事物或某个抽象的概念 刻划了tom的身份特征 刻划了两个个体5和3之间的”大于”关系 6 谓词公式的定义 原子谓词公式：用P(x1,x2,…,xn)表示一个n元谓词公式其中P为n元谓词，x1,x2,…xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。 分子谓词公式：可以用连词把原子谓词公式组成复合谓词公式，并把它叫做分子谓词公式。 7 连词和量词 原子公式由若干谓词和个体组成,是谓词演算的基本块,用连词和量词将多个原子公式组合在一起,来表示复杂的含义. 用连词来连接若干个谓词组成一个谓词公式,用量词来刻划谓词和个体的关系 合取  析取  蕴含  非 ~ 全称量词 存在量词 连词 量词 8 合取（conjunction）就是用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。 例：LIKE(I，MUSIC)∧LIKE(I，PAINTING) (我喜爱音乐和绘画。) 析取（disjunction）就是用连词∨把几个公式连接起来而构成的公式。析取项是析取式的每个组成部分。 例： PLAYS(LILI，BASKETBALL)∨PLAYS(LILI，FOOTBALL) (李力打篮球或踢足球。) 9 蕴涵　  表示如果-那么的语句。用连词连接两个公式所构成的公式叫做蕴涵。 例: RUNS(LIUHUA,FASTEST)  WINS(LIUHUA,CHAMPION) (如果刘华跑得最快，那么他取得冠军)　 非（NOT） 表示否定，～、┑均可表示。 例：～INROOM(ROBOT，r2) (机器人不在2号房间内。) IF P THEN Q 前项,左项 后项,右式 10 全称量词(Universal Quantifier)　若一个原子公式P(x)，对于所有可能变量x都具有T值，则用( x)P(x)表示。 例：( x)[ROBOT(x)  COLOR(x,GRAY)] (所有的机器人都是灰色的） ( x)[Student(x)  Uniform(x,Color)] (所有学生都穿彩色制服) 存在量词(Existential Quantifier) 若一个原子公式P(x)，至少有一个变元X，可使P(X)为T值，则用( x)P(x)表示。 例：( x)INROOM(x,r1) (1号房间内有个物体) 量化变元(Quantified Variables)　被量化了的变元x-约束变量。 11 置换及合一 置换 形如{t1/x1,t2/x2,…,tn/xn}的有限集合。 其中，ti是项，xi是互不相同的变元；ti/xi表示用ti置换xi； 不允许ti及xi相同，也不允许变元xi循环地出现在另一个tj中。 合一 设有公式集F={F1,F2,…Fn},若存在一个置换s使得F1s=F2s=…=Fns，则称s是公式集F的一个合一，且称F1,F2,…Fn是可合一的。 置换是不可交换的 最一般合一 12 置换举例 设有表达式P[x,f(y),B] ，对于置换： s1={z/x,w/y} s2={A/y} 分别有： P[x,f(y),B]s1= P[z,f(w),B] P[x,f(y),B]s2= P[x,f(A),B] 13 合一者、最一般合一者举例 设有表达式集{Ei}={P[x,f(y),B]，P[x,f(B),B]}， ①该表达式集的合一者：s1={B/y}，s2={w/x,B/y} ② s1={B/y}是该表达式集的最一般合一者。 （为什么？） 14 基本概念： 对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 消解原理