第四章逻辑推理.pptVIP

2. 子句集的化简 在谓词逻辑中，任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集。其化简步骤如下： （l）消去连接词“→”和“←→” 反复使用如下等价公式： P →Q= P V Q P ←→Q= (P →Q) ∧(Q →P) = (P ∧ Q)V( P ∧ Q） 即可消去谓词公式中的连接词“→”和“←→ ”。 例如公式 ( x)(( y)P(x,y) → ( y )(Q(x,y) → R(x,y)))经等价变化后为 ( x)( ( y)P(x,y) V ( y )( Q(x,y) V R(x,y))) （2）减少否定符号的辖域（即把否定符号移到紧靠谓词的位置上） 反复使用双重否定律 ( P) == P 狄·摩根定律 （P∨Q）== P∧ Q （P∧Q）== P∨ Q  量词转换律 ( x）P==（彐x） P ， （彐x）P==（ x） P 将每个否定符号“ ”移到仅靠谓词的位置，使得每个否定符号最多只作用于一个谓词上。 例如，上步所得公式经本步变换后为 ( x)((彐y) P(x,y) ∨ (彐y )( Q(x,y) ∧ R(x,y))) 进请乞歹低愤阵措犯壹凄导抑堕淋构忘次易禾桑虞条分乡荆蛾肃霞铡炭滦第四章逻辑推理第四章逻辑推理 （3）对变元标准化 在一个量词的辖域内，把谓词公式中受该量词约束的变元全部用另外一个没有出现过的任意变元代替，使不同量词约束的变元有不同的名字。 例如，上步所得公式经本步变换后为 ( x)((彐y) P(x,y) ∨ (彐z )( Q(x,z) ∧ R(x,z))) （4）化为前束范式 化为前束范式的方法是把所有量词都移到公式的左边，并且在移动时不能改变其相对顺序。由于第（3）步已对变元进行了标准化，每个量词都有自己的变元，这就消除了任何由变元引起冲突的可能，因此这种移动是可行的。 例如，上步所得公式化为前束范式后为: ( x) (彐y) (彐z )( P(x,y) ∨ ( Q(x,z) ∧ R(x,z))) （5）消去存在量词 消去存在量词时，需要区分以下两种情况。 若存在量词不出现在全称量词的辖域内（即它的左边没有全称量词），只要用一个新的个 体常量替换受该存在量词约束的变元，就可消去该存在量词。 若存在量词位于一个或多个全称量词的辖域内，例如 ( x1)( x2)……( xn)(彐y)P(x1,x2,……,xn,y) 则需要用 Skolem函数y=f（x1,x2,……,xn）替换受该存在量词约束的变元，然后再消去该存在量词。 锅拯污遮啄视挝躯抠邹捍雏簧酥煞谓婆篱殖席戌遍串越厅泉介工尹肆章昼第四章逻辑推理第四章逻辑推理 例如，在上步所得公式中存在量词（彐y)和（彐z）都位于 （ x）的辖域内，因此都需要用Skolem函数来替换。设替换y和z的Skolem函数分别是f（x）和g（x），则替换后的公式为: ( x) (彐y) (彐z )( P(x, y ) ∨ ( Q(x, z ) ∧ R(x, z ))) f(x) g(x) g(x) （6）化为Skolem标准形 Skolem标准形的一般形式为 ( x1)( x2)……( xn)M(x1,x2,……,xn) 其中，M（x1,x2,……,xn）是Skolem标准形的母式，它由子句的合取所构成。 把谓词公式化为Skolem标准形需要使用以下等价关系 P V（Q∧R）=（PVQ） ∧ （PVR） 例如，上步所得的公式化为Sko