知识及一阶谓词逻辑表示法.ppt

正向系统和逆向系统特点对比 正 向 系 统 逆 向 系 统 使用条件 （1）事实表达式是任意形式（2）规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式）（3）目标公式为文字析取形 （1）事实表达式是文字合取形式（2）规则形式为W→L或W→L1∧L2（L为单文字，W为任意形式）（3）目标公式是任意形式 正逆向系统特点对比(续) 化简过程 （1）用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束（2）对规则的处理同（1）（3）用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词约束 （1）用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束（2）对规则的处理同（3）（3）用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束 正逆向系统特点对比(续) 初始综合数据库 事实表达式的与或树（∨对应为与关系，∧对应为或关系） 目标公式的与或树（∨对应为或关系，∧对应为与关系） 推理过程 从事实出发，正向应用规则（变量改名，前项与事实文字匹配，后项代替前项），直至得到目标节点为结束条件的一致解图为止 从目标出发，逆向应用规则（变量改名，后项与子目标文字匹配，前项代替后项），直至得到事实节点为结束条件的一致解图为止 子句形式 文字的析取式 文字的合取式 子句集形式 子句的合取式（合取范式） 子句的析取式（析取范式） 例： ( x)((( y)( z)P(x，y，z)) →( u)Q(x，u)) （1）暂时消去蕴涵符号( 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)) （4）化成前束式并隐略去全部全称量词~P（x，y，f（x，y））∨Q（x，u） （5）恢复蕴涵式表示P（x，y，f（x，y））→Q（x，u） 命题逻辑的情况： 例： 事实： （（P∨Q）∧R）∨（S∧（T∨U）） 规则：S→（X∧Y）∨Z 规则化成子句为： ~S∨X∨Z；~S∨Y∨Z 原先子句集：{S∨（P∨Q），S∨R，（T∨U）∨（P∨Q），（T∨U）∨R} 新子句集： { X∨Z∨P∨Q，X∨Z∨R，Y∨Z∨P∨Q，Y∨Z∨R，（T∨U）∨（P∨Q），（T∨U）∨R} 一个基于规则的正向演绎系统，其演绎过程就是不断地调用匹配上的规则对与或图进行变换，直到生成的与或图含有目标表达式为止，也就是要用目标公式作为系统的结束条件。 正向系统的目标表达式要限制为文字析取形（子句形）的一类公式，当目标公式中有一个文字同与或图中某一个端节点所标记的文字匹配上时，和规则匹配时做法一样，通过匹配弧把目标文字添加到图上，这个匹配弧的后裔节点称为目标节点。这样当产生式系统演绎得到的与或图包含有目标节点的解图时，系统结束演绎，这时便推出了一个与目标有关的子句。 简例说明系统的推理过程 事实表达式：A∨B 规则集：A→C∧D B→E∧G 目标公式：C∨G 谓词逻辑的情况 ： 事实表达式化成与或形 规则化成L→W 目标用对偶形式进行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）∨（ y1）Q（f（y1）， y1） 以后目标公式中的变量都假定受存在量词的束约。 例 事实与或形表示 P（A，y）∨（Q（x，A）∧R（B，y）） 规则蕴涵式 P（z，B）→（S（z）∨X（B）） 施以规则后的与或图 前边用合一置换时的问题： 会不会在合一置换过程中有矛盾的地方？ 可能有。 怎么办？ 求一致解图 一致解图 只有当解图所涉及的置换集是一致的时，解图才是一致的。 置换集一致的充分必要条件是该置换集存在合一复合。 置换集的合一复合也是一个置换，表示的是置换集中所有置换综合以后的结果。 合一复合 求一个置换集的合一复合，首先构造U1、U2两个表达式，其中U