人工智能推理技术[宣贯].pptVIP

1)、命题逻辑的情况 应用规则的匹配过程比较简单。设已知事实的与或形表达式为：（（P?Q）?R）?（S ?（T?U）） 规则为 S?（X?Y）?Z 把已知事实用与或图表示，图中有一个叶节点是文字S，它正好与规则的前项的文字S完全匹配，由此可直接用这条规则对与或图进行变换，即把规则后项的与或形公式用与或图表示后添加到已知事实的与或图上，并用一个匹配弧连接起来，规则匹配后演绎的结果如下图所示。图中匹配弧后面是规则部分。 例：事实表达式： A?B； 规则集合：A?C?D，B?E?G； 目标公式：C ? G 应用完这两条规则后，得到的与或图如图所示，其中有一个解图满足目标公式（C ? G）所建立的结束条件。 2)、谓词逻辑的情况 需要讨论对含有变量的目标公式的处理 (匹配问题)。 对具有量词量化变量的目标公式来说，化简时要使用Skolem化过程的对偶形式。即目标中属于存在量词辖域内的全称量化变量要用存在量化变量的Skolem函数来替代，经过Skolem化的公式只剩下存在量词，然后对析取元作变量改名，最后再把存在量词省略掉。 例如，设目标公式为（?y）（?x）（P（x，y）? Q（x，y）） 用函数消去全称量词后有 （?y）（P（f（y），y）?Q（f（y），y））；然后进行变量改名，使每个析取元具有不同的变量符号，于是有 （?y）（P（f（y），y）?（?y1）Q（f（y1）