(《机器学习》完整版系列)第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 Spring 中 @PostConstruct 注解使用原理及常见场景

《JavaSpring中@PostConstruct注解使用原理及常见场景》在JavaSpring中,@PostConstruct注解是一个非常实用的功能,它允许开发者在Spring容器完全初... 目录一、@PostConstruct 注解概述二、@PostConstruct 注解的基本使用2.1 基本代

Golang HashMap实现原理解析

《GolangHashMap实现原理解析》HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持高效的插入、查找和删除操作,:本文主要介绍GolangH... 目录HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持

Java学习手册之Filter和Listener使用方法

《Java学习手册之Filter和Listener使用方法》:本文主要介绍Java学习手册之Filter和Listener使用方法的相关资料,Filter是一种拦截器,可以在请求到达Servl... 目录一、Filter(过滤器)1. Filter 的工作原理2. Filter 的配置与使用二、Listen

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带

鸿蒙中@State的原理使用详解(HarmonyOS 5)

《鸿蒙中@State的原理使用详解(HarmonyOS5)》@State是HarmonyOSArkTS框架中用于管理组件状态的核心装饰器,其核心作用是实现数据驱动UI的响应式编程模式,本文给大家介绍... 目录一、@State在鸿蒙中是做什么的?二、@Spythontate的基本原理1. 依赖关系的收集2.

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