(《机器学习》完整版系列)第15章 规则学习——15.3 归结与逆归结(你可知“反证法”原理?)

本文主要是介绍(《机器学习》完整版系列)第15章 规则学习——15.3 归结与逆归结(你可知“反证法”原理?),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

归结原理(即消解):可以“消除”该互补项

归结与逆归结

上篇我们用“十一条规则”形成一套命题逻辑的形式推理体系,归结原理强大到只需一个规则就可形成一套命题逻辑的形式推理体系。

若互补项(即正文字 L L L与负文字 ¬ L \lnot L ¬L)分别在两子句 C 1 C_1 C1 C 2 C_2 C2中,则可以“消除”该互补项,称为归结原理(即消解),如图15.1 所示。
C = C 1 ⋅ C 2 \begin{align} C=C_1\cdot C_2 \tag{15.9} \end{align} C=C1C2(15.9)
C C C C 1 C_1 C1 C 2 C_2 C2的消解式,简记为
图15.1 归结原理

图15.1 归结原理

不可满足指恒假,参见后续的(15.6 一阶逻辑公式及“分拆”),常用结论:空子句是不可满足的、含有空子句的子句集是不可满足的。
归结原理有一个重要的推论:设 C 1 C_1 C1 C 2 C_2 C2是子句集 S S S中的子句,如果把它俩的消解式 C C C加入到子句集 S S S中,得到子句集 S ′ S' S,则子句集 S S S S ′ S' S的可满足性相同,即
“ S 是不可满足的”等价于“ S ′ 是不可满足的” \begin{align} \text{“$S$是不可满足的”等价于“$S'$是不可满足的”} \tag{15.10} \end{align} S是不可满足的等价于S是不可满足的(15.10)
由此,通常将要证“ S S S是不可满足的”转化为证“ S ′ S' S是不可满足的”。

归结原理式(15.9)的逆运算(逆归结)简记为
{ C 1 = C / C 2 C 2 = C / C 1 \begin{align} \begin{cases} C_1=C / C_2 \\ C_2=C / C_1 \\ \end{cases} \tag{15.11} \end{align} {C1=C/C2C2=C/C1(15.11)

式(15.9)、式(15.11)为图15.1 的简记, C , C 1 , C 2 C,C_1,C_2 C,C1,C2三者中,已知二者可求另一个。

若已知 C , C 1 C,C_1 C,C1,如何“逆归结”出 C 2 C_2 C2

我们先将式(15.9)用集合论变形
C = A ∨ B = ( C 1 − { L } ) ∨ ( C 2 − { ¬ L } ) \begin{align} C & =A\lor B \notag \\ & =(C_1-\{L \})\lor (C_2-\{\lnot L \}) \tag{15.12} \end{align} C=AB=(C1{L})(C2{¬L})(15.12)
通过“移项”得
C − ( C 1 − { L } ) = C 2 − { ¬ L } C 2 = ( C − ( C 1 − { L } ) ) ∨ { ¬ L } \begin{align} & C-(C_1-\{L \})= C_2-\{\lnot L \}\notag \\ & C_2=(C-(C_1-\{L \}))\lor \{\lnot L \} \tag{15.13} \end{align} C(C1{L})=C2{¬L}C2=(C(C1{L})){¬L}(15.13)
式(15.13)这即【西瓜书式(15.9)】,从中可知,选取不同的 L L L,则得到不同的 C 2 C_2 C2,即 C 2 C_2 C2不唯一(未给定 L L L时)。

Σ \Sigma Σ为子句集(多条件), p p p为子句(结论),定理(蕴涵符“ ⊨ \vDash ”参见后续15.8 三种蕴涵) :
Σ ⊨ p 当且仅当: ( p ∨ ¬ Σ ) = T r u e 当且仅当: Σ ∧ ( ¬ p ) 不可满足(即总不成立) \begin{align} \Sigma \vDash p \qquad & \text{当且仅当:} (p\lor \lnot \Sigma)=\mathrm{True}\tag{15.14} \\ & \text{当且仅当:} \Sigma \land (\lnot p)\text{不可满足(即总不成立)} \tag{15.15} \end{align} Σp当且仅当:(p¬Σ)=True当且仅当:Σ(¬p)不可满足(即总不成立)(15.14)(15.15)
其中,式(15.15)即是“反证法”原理,结合式(15.10)得到利用归结进行“反证法”的步骤(参见后续15.11 基于逆归结的机器证明给出了示例):

(1)设条件集(子句集)为 Σ \Sigma Σ,将结论的反面 ¬ p \lnot p ¬p加入到 Σ \Sigma Σ中;

(2)在 Σ \Sigma Σ集中反复归结,结果仍然放到 Σ \Sigma Σ中;

(3)直到归结出一个空子句,即推导出了矛盾(空子句不可满足)。

(i) 证 Σ ⊨ p ⇒ p ∨ ¬ Σ \Sigma \vDash p \Rightarrow p\lor \lnot \Sigma Σpp¬Σ

Σ ⊨ p \Sigma \vDash p Σp,则表明(逻辑代数(布尔代数)中,1表示True;0表示False,通常通过对变量进行赋值来检验式子是否可满足):若 Σ = 1 \Sigma =1 Σ=1,则 p = 1 p=1 p=1

即: 若 ¬ Σ = 0 \lnot \Sigma =0 ¬Σ=0,则 p = 1 p=1 p=1

即有: p ∨ ¬ Σ = 1 p\lor \lnot \Sigma =1 p¬Σ=1

(ii) 证 Σ ⊨ p ⇐ p ∨ ¬ Σ \Sigma \vDash p \Leftarrow p\lor \lnot \Sigma Σpp¬Σ

Σ = 1 \Sigma=1 Σ=1,则 ¬ Σ = 0 \lnot \Sigma =0 ¬Σ=0

p ∨ ¬ Σ = 1 p\lor \lnot \Sigma =1 p¬Σ=1,则 p ∨ 0 = 1 p\lor 0=1 p0=1,即 p = 1 p=1 p=1

上述由 Σ = 1 \Sigma =1 Σ=1推出 p = 1 p=1 p=1,即说明在此条件下 Σ ⊨ p \Sigma \vDash p Σp

受式(15.11)分数表达的启发,我们将图15.1 表达成“分数”,形成逆归结如图15.2 所示。
图15.2 逆归结

图15.2 逆归结

在上述归结的理论下,我们可以考虑命题逻辑的两个特殊子集:(1)限定子句:子句中只有一个正文字(其余为负文字);(2)霍尔子句:子句中至多只有一个正文字(其余为负文字),这两种特性在归结下保持不变,如,一对限定子句(各有一个正文字),若能利用归结原理抵消一对正、负文字后,得到一个新的子句还是只有一个正文字。 在这两种特殊的范围内,可以得到较简单的、机器易于实现的推理系统,这里不作讨论。

本文为原创,您可以:

  • 点赞(支持博主)
  • 收藏(待以后看)
  • 转发(他考研或学习,正需要)
  • 评论(或讨论)
  • 引用(支持原创)
  • 不侵权

上一篇:15.2 形式推理(哥德尔怎么说?)
下一篇:15.4 序贯覆盖(规则集与数据集)

这篇关于(《机器学习》完整版系列)第15章 规则学习——15.3 归结与逆归结(你可知“反证法”原理?)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/680748

相关文章

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI

Vue中组件之间传值的六种方式(完整版)

《Vue中组件之间传值的六种方式(完整版)》组件是vue.js最强大的功能之一,而组件实例的作用域是相互独立的,这就意味着不同组件之间的数据无法相互引用,针对不同的使用场景,如何选择行之有效的通信方式... 目录前言方法一、props/$emit1.父组件向子组件传值2.子组件向父组件传值(通过事件形式)方

JAVA封装多线程实现的方式及原理

《JAVA封装多线程实现的方式及原理》:本文主要介绍Java中封装多线程的原理和常见方式,通过封装可以简化多线程的使用,提高安全性,并增强代码的可维护性和可扩展性,需要的朋友可以参考下... 目录前言一、封装的目标二、常见的封装方式及原理总结前言在 Java 中,封装多线程的原理主要围绕着将多线程相关的操

Java进阶学习之如何开启远程调式

《Java进阶学习之如何开启远程调式》Java开发中的远程调试是一项至关重要的技能,特别是在处理生产环境的问题或者协作开发时,:本文主要介绍Java进阶学习之如何开启远程调式的相关资料,需要的朋友... 目录概述Java远程调试的开启与底层原理开启Java远程调试底层原理JVM参数总结&nbsMbKKXJx

kotlin中的模块化结构组件及工作原理

《kotlin中的模块化结构组件及工作原理》本文介绍了Kotlin中模块化结构组件,包括ViewModel、LiveData、Room和Navigation的工作原理和基础使用,本文通过实例代码给大家... 目录ViewModel 工作原理LiveData 工作原理Room 工作原理Navigation 工

Java的volatile和sychronized底层实现原理解析

《Java的volatile和sychronized底层实现原理解析》文章详细介绍了Java中的synchronized和volatile关键字的底层实现原理,包括字节码层面、JVM层面的实现细节,以... 目录1. 概览2. Synchronized2.1 字节码层面2.2 JVM层面2.2.1 ente

MySQL的隐式锁(Implicit Lock)原理实现

《MySQL的隐式锁(ImplicitLock)原理实现》MySQL的InnoDB存储引擎中隐式锁是一种自动管理的锁,用于保证事务在行级别操作时的数据一致性和安全性,本文主要介绍了MySQL的隐式锁... 目录1. 背景:什么是隐式锁?2. 隐式锁的工作原理3. 隐式锁的类型4. 隐式锁的实现与源代码分析4

MySQL中Next-Key Lock底层原理实现

《MySQL中Next-KeyLock底层原理实现》Next-KeyLock是MySQLInnoDB存储引擎中的一种锁机制,结合记录锁和间隙锁,用于高效并发控制并避免幻读,本文主要介绍了MySQL中... 目录一、Next-Key Lock 的定义与作用二、底层原理三、源代码解析四、总结Next-Key L