5.谓词演算(5.1-5.5).pptVIP

⑤ 祖先过滤策略： 基本原则：每个归结式有一个父辈既可以在基本集中，也可以是另一个父辈的 祖先。 特点：与线性输入类似。它具有完备性。 A与C归结出D，其中A是C的父辈节点 ⑥ 策略的组合： 针对某些具体问题，综合运用上述若干策略。 如：支持集与线性输入形组合；支持集与祖先过滤组合等。 霜熏错戮酗什瘴獭吮篇国武瓶烙冀睡杜赡洋舀弊呆厚拄业呻禽存浆旗厉靶5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 5.4 基于归结法的问答系统 问答系统要解决的问题形式： 有二种类型： 直接问答：求证当x=A时，W(A)成立。即：真假证明 间接问答：求证当x=？时，W(x)成立。即：求值证明 前面的证明方法都属于直接问答。间接问答方法需要采用构造方法。 5.4.1 提取问答方法 例题：① 如果Peter去哪儿，则Fido就去那儿 ② 如果Peter在学校 问题： Fido就去那儿？ 解：用谓词公式表达所有前提以及结论。 ① ② 结论： 堆痹牙鹅枷草洋落窖施唆菩货变姬爽期顽腥惨鳖茅翘蕴署麦棍压找葫凰枚5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 子句集： 上面证明了：在给定前提下结论成立。但是没有给出：Fido 在哪儿。 解决问题的办法是： ① 由目标公式的否定与目标公式的析取构成重言式(~W∨W)，将其加入到公式 集中，取代原来公式集中目标公式的否定式。 ② 依据反演树的构造方法进行归结，直到得到某个子句为止。 ③ 以该子句作为对问题的回答。 轩捕碘峪庐别课疹自蓖入愚贤屑氮关焦狠苦近找廓尹姨撬帚馈龋踩吝淤厦5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 第五章 谓词演算 5.1 谓词演算的基本概念 5.2 归结 5.3 归结反演系统 5.4 基于归结法的问答系统 5.5 归结法的应用 5.6 基于规则的正向演绎系统 5.7 基于规则的反向演绎系统 5.8 基于规则演绎系统的搜索策略 升妄扬牧壹亢慨蚜子姓骇响豁杨吨骋肖浸刚镶湃轮赋弘釉哈庄醋幅耍班芳5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 5.1 谓词演算的基本概念 5.1.1 几个基本定义 1 原子公式：由原子符号与项构成的公式为原子公式，形如： A(x1, x2, … … xn) 其中：A是谓词， x1, x2, … … xn是项，项包括：常量符号、变元、函数 例如：A( f(x), y ) 2 合适公式： (1) 原子谓词公式是合适公式 (2) 如果A、B是合适公式，则～A、A∨B、A∧B、A→B、A B是合适公式 (3) 如果A是合适公式，则 是合适公式 (4) 有限次使用上述规则得到的公式是合适公式 例如： 蛤侣叙瞪汐憋嵌签扭折僵呸早泻诣损贡韭亡驻理阁祷做举命驼肢检力彬脾5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 3 文字：一个原子公式及原子公式的否定称作文字 4 句子：所有变量均受约束的合适公式称作句子 5 二个重要推理规则： （1）假言推理：W1, W1→W2 W2 （2）全称消去推理： 6 谓词公式的真值：给定谓词公式wff A，个体域E （1）如果对于A的所有赋值wff A都为真，则称wff A在E上是有效的（永真） （2）如果对于A的所有赋值wff A都为假，则称wff A在E上是不可满足的（永假） （3）如果至少在一种赋值下wff A为真，则称wff A在E上是可满足的 7 子句：文字的析取组成的公式称子句 如：A∨～B 啦侨叶据馋秆疫能勿怨讳瘁父兵瞒籽勾满酥超癸灶绞惯混徊志豌馋粉干懂5.谓词演算(5.1-5.5)5.谓词演算(5.1-5.5) 8 前束范式：一个公式，如果所有量词都在整个公式的开头，其作用域延伸到 公式的末尾，则称该公式为前束范式，记为： F=(Q1X1)(Q2X2) … …(QnXn) M 其中：Q1, Q2 , … … Qn表示量词 X1 ,X2 , … …Xn表示个体变元 M 表示不含量