第三章-推理技术课件.pptVIP

第三章推理技术;§3.1消解原理

消解原理的基础知识：

（1）谓词公式、某些推理规则以及置换合一等概念。

（2）文字：一个原子公式和原子公式的否定都叫做文字。

（3）子句：由文字的析取组成的公式。

（4）子句集：子句通过合取符号联接起来形成子句集。;任一谓词演算公式可以化成一个子句集。;(2)减少否定符号的辖域

每个否定符号～最多只用到一个谓词符号上，

并反复应用狄·摩根定律。;(3)对变量标准化

在任一量词辖域内，受该量词约束的变量为一哑元(虚构变量)，它可以在该辖域内处处统一地被另一个没有出现过的任意变量所代替，而不改变公式的真值。合适公式中变量的标准化意味着对哑元改名以保证每个量词有其自己唯一的哑元。;(4)消去存在量词;(5)化为前束形

把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。所得公式称为前束形。前束形公式由前缀和母式组成，前缀由全称量词串组成，母式由没有量词的公式组成，即

前束形=(前缀)(母式)

全称量词串无量词公式;(7)消去全称量词

可以消去明显出现的全称量词。;{～P(x1)∨～P(y)∨P[f(x1,y)],～P(x2)∨Q[x2,g(x2)],;3.1.2消解推理规则

1、消解式

已知两子句L1∨α和～L2∨β,如果L1和L