命题演算的推理理论.pptVIP

第二章 命题演算的推理理论 2.1 命题演算的公理系统 2.2 命题演算的假设推理系统 2.3 命题演算的归结推理法 2.3.1 归结证明过程 2.3.2 归结证明举例 2.3 命题演算的归结推理法 归结推理法 是机器证明的一个重要方法， 仅有一条推理规则(称为归结规则)的机械推理法， 从而便于计算机程序实现。 2.3.1 归结证明过程 要证明公式(如A?B，其中A和B为子公式)为定理，实际上是证明A??B为矛盾式。 归结法就是从公式A??B出发对子句进行归结。 一、建立子句集 要证明公式A?B，将 A ∧ ?B 化为合取范式； (2) 把合取范式的所有析取式构成一个集合即子句集。 A化为合取范式、 ?B化为合取范式 例 建立子句集 如要证明公式 ((P?Q)?P)?Q， 只要考察 (P?Q)?P??Q (1) 根据(1)得合取范式： (?P?Q)?P??Q (2) 根据(2)建立子句集： S ={?P?Q，P，?Q} 二、对子句集S的归结 设有两个子句 P1? P2?…? Pn 和 ?P1? Q2?…? Qm， 注意到这两个子句，其中一个含有命题变元的肯定形式，另一个含有该变元的否定，由这两个子句就可推出一个新子句： P2?…? Pn? Q2?…? Qm 称之为这两个子句的归结式。 若干重要的归结规则 父辈子句 归结式 说明 P和?P?Q Q 假设推理 P?Q和?P?Q Q 子句合并成Q P?Q和?P??Q ?P?P或?Q?Q 两个可能的子句 均为重言式 ?P和P □ 空子句， 归结结束 P?Q和?Q??R P??R 三段论 三、归结证明 依归结规则进行归结，直至归结出空子句(用“□”表示)， 则证明原公式为定理，否则不为定理。 子句可以 多次使用 第二章 命题演算的推理理论 2.1 命题演算的公理系统 2.2 命题演算的假设推理系统 2.3 命题演算的归结推理法 2.3.1 归结证明过程 2.3.2 归结证明举例 例 证明 ((P?Q)?P)?Q 解：考察 ((P?Q)?P)??Q 合取范式为 (?P?Q)?P??Q 子句集为 S ={?P?Q，P，?Q} 归结过程为 ?P?Q P ?Q (4) Q (1)(2)归结 (5) □ (3)(4)归结 故原式为定理 例1 (P?(Q? R))?((P?Q)?R) 证明：考察 (P?(Q? R))? ?((P?Q)?R) 合取范式为 (?P??Q? R)?P?Q??R 建立子句集 {?P??Q? R，P，Q，?R} 归结过程为： (1) ?P??Q? R (2) P (3) Q