第四章 确定性推理.ppt

* * ②Same(y,儒林外史) ? ?Same(y,水浒) ③?Like(w,z) ? ? Same(z,三国) ④Read(俞平伯,m) ?Same(m,红楼梦) ⑤Same(p,q) ? Same(q,p) 目标：? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) 俞平伯/x 水浒/m 水浒/p 红楼梦/q 红楼梦/y 4 5 2的逆形式 俞平伯/x Same(y,水浒) ? ? Same(y,儒林外史) * * 俞平伯/x 水浒/m 水浒/p 红楼梦/q 红楼梦/y 4 5 2的逆形式 俞平伯/x 解图置换S={俞平伯/x,水浒/m,俞平伯/x,水浒/p,红楼梦/q,红楼梦/y} U1={x,m,x,p,q,y} U2={俞平伯,水浒,俞平伯,水浒,红楼梦,红楼梦} 解图一致 演绎推理成功结束！ * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 ①喜欢《三国演义》者必读《水浒传》。 Like(x,三国) ? Read(x,水浒) ②若某书与《儒林外史》同类，则一定不与《水浒传》同类。 Same(y,儒林外史) ? ?Same(y,水浒) ③没有人喜欢的书不会和《三国演义》同类。 作为事实，化为文字与或形 化简为Like(w,z) ∨ ? Same(z,三国) ④俞平伯只读与《红楼梦》同类的书。 Read(俞平伯,m) ?Same(m,红楼梦) ⑤辅助的规则 Same(p,q) ? Same(q,p) 目标：如果《红楼梦》与《儒林外史》同类，则俞平伯一定不喜欢《三国演义》。 ? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) 演绎推理得不到解答 缺点1：出发点不能任意，如果选错 * * 如果领域知识的规则表示形式与上述要求不同，则应将它转换成要求的形式。其变换步骤如下： (1) 暂时消去蕴含符号“→”。设有如下公式： (?x)(((?y) (? z)P(x, y,z))→(?u)Q(x, u)) 运用等价关系“P→Q?﹁P∨Q”，可将上式变为： (?x)(﹁((? y) (?z)P(x, y,z))∨(?u)Q(x, u)) (2) 把否定符号“﹁”移到紧靠谓词的位置上，使其作用域仅限于单个谓词。通过使用狄.摩根定律及量词转换率可把上式转换为： (? x)( (?y) (?z)﹁P(x, y,z))∨ (?u)Q(x, u)) (3) 引入Skolem函数，消去存在量词。消去存在量词后，上式可变为： (? x)( (?y) (﹁P(x, y,f(x,y)))∨(?u)Q(x, u)) 化成前束式，消去全部全称量词。消去全称量词后，上式变为： ﹁P(x, y,f(x,y))∨Q(x, u) 此公式中的变元都被视为受全称量词约束的变元。 (5) 恢复蕴含式表示。利用等价关系“﹁P∨Q?P→Q”将上式变为： P(x, y,f(x,y))→Q(x, u) * * 4.5.1 基于规则的正向演绎推理 1）问题求解的规范表示 (3)目标 化简后限定表示为文字的析取式，即子句的形式 L1∨L2∨…∨Lk 量词消去方法取事实表达式的对偶形式 全称量词?的约束变量以Skolem函数或常量取代； 子句隐含地受存在量词?约束。 目标公式 消去 全称量词 量词 分配 变量 换名 * * 把一个目标公式转化为子句形的步骤与第3节所述的化简子句形的步骤类似，但Skolem化的过程不同。 目标公式的Skolem化过程是化简子句形的Skolem过程的对偶形式，即把目标公式中属于存在量词辖域内的全称变量用存在量词量化变量的Skolem函数来代替，使经Skolem化目标公式只剩下存在量词，然后再对析取元作变量替换，最后把存在量词消掉。 例如：设目标公式为 (?y) (?x) (P(x, y)∨Q(x, y)) 用Skolem函数消去全称量词后有 (?y)(P(f(y), y)∨Q(f(y), y)) 进行变量换名，使每个析取元具有不同的变量符号，于是有 (?y)P(f(y), y)∨(?z)Q(f(z), z) 最后，消去存在量词得 P(f(y), y)∨Q(f(z), z) 这样，目标公式中的变量都假定受存在量词的约束 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 从事实表达式出发，借助于与或图表示方式，不断用激活的F规则对与或图进行变换，扩展与或图； 激活规则——F规则左部单文字L和与或图叶节点匹配； 直至得到一个将目标子句包含的文字作