第三章知识处理报告.ppt

P先生、Q先生他们知道桌子的抽屉里有16张扑克牌：红桃A、Q、4 黑桃J、8、4、2、7、3 草花K、Q、5、4、6 方块A、5。 约翰教授从这16张牌中挑出一张牌来，并把这张牌的点数告诉 P先生，把这张牌的花色告诉Q先生。这时，约翰教授问P先生和Q 先生：你们能从已知的点数或花色中推知这张牌是什么牌吗？ 于是，如下的对话： P先生：我不知道这张牌。 Q先生：我知道你不知道这张牌。 P先生：现在我知道这张牌了。 Q先生：我也知道了。 请问：这张牌是什么牌？ “张、王和李都属于高山协会。该协会的每个成员不是滑雪运动员，就是登山运动员，其中不喜欢雨的运动员是登山运动员，不喜欢雪的运动员不是滑雪运动员。王不喜欢张所喜欢的一切东西，也不喜欢李所喜欢的一切东西。张喜欢雨, 李喜欢雪。” 试用与或形的逆向推理证明： “高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员？” 3 与或图的F规则变换 在正向推理中，把允许用作规则推理的公式类型限制为： L ? W 其中L是单文字，W为与或形的公式，而且规则中都为全称量化于整个蕴涵式。 F规则变换步骤： （1）消去蕴涵； （2）减少否定辖域； （3）量词变换，存在量词； （4）删去全称量词； （5）再转换为蕴涵的形式。 目标公式： 转换为子句的形式。 推理过程： （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) 二 与或形逆向推理 1 目标表达式的与或形 与正向推理的事实变换类似，有一点区别： 用斯柯林涵数消去存在量词中的全称量词，并使各主要析取式具有不同变元。 例： ?y?x{ Q(y, x) ∨ ? [ (R(y) ∧ P(y)) ∨ ? S(x, y) ] } 变换为： Q(z, f(z)) ∨{ [? R(y) ∨ ? P(y)] ∧ ? S(f(y), y) } 2 目标表达式与或图表示 合取：用K线连接符来分解合取式，连接到父辈节点； 析取：单线连接符连接到父辈节点上； 性质：读取叶节点上的析取，可以构成目标表达式表达式的子句集。 目标表达式表达式的子句集：合取的析取式。 Q(z, f(z)) ∨{ [? R(y) ∨ ? P(y)] ∧ ? S(f(y), y) } Q(z, f(z) [? R(y) ∨ ? P(y)] ∧ ? S(f(y), y) [? R(y) ∨ ? P(y)] ? S(f(y), y) ? R(y) ? P(y) 读取子句： Q( z,f(z) ) S(f(y), y) ∧ ? R(y) ? S(f(y), y) ∧ ? P(y) 3 B规则的表示形式 在逆向推理中，把允许用作规则推理的公式类型限制为： W ? L 其中L是单文字，W为与或形的公式。 B规则变换步骤： （1）消去蕴涵； （2）减少否定辖域； （3）量词变换，全称量词； （4）删去存在量词； （5）再转换为蕴涵的形式。 4 事实表达式 为文字的合取式，能单独起作用。 推理过程： （1）将目标转换成与或树的形式； （2）将B规则运用到与或树上： 将L与其能合一的叶节点相匹配，扩展与或树，将W作为新的节点扩展； （3）重复（2），直到产生一个含有以事实节点为终止节点的一致解图。 例：同学老师问题。已知： （1）T(wang, li) （2）C(li, zhang) （3） C(x, y) ∧ T(z , x)?