知识的一阶谓词辑表示法.pptVIP

正向系统和逆向系统特点对比 正 向 系 统 逆 向 系 统 使用条件 （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函数消去事实表达式中的存在量词，化简的公式受全称量词的约束 正逆向系统特点对比(续) 初始综合数据库 事实表达式的与或树（∨对应为与关系，∧对应为或关系） 目标公式的与或树（∨对应为或关系，∧对应为与关系） 推理过程 从事实出发，正向应用规则（变量改名，前项与事实文字匹配，后项代替前项），直至得到目标节点为结束条件的一致解图为止 从目标出发，逆向应用规则（变量改名，后项与子目标文字匹配，前项代替后项），直至得到事实节点为结束条件的一致解图为止 子句形式 文字的析取式 文字的合取式 子句集形式 子句