计算机语言学 参考书,计算机语言学数学基础

本文介绍了信息论中的熵概念,起源于最优编码问题,通过举例解释了如何利用熵来确定二进制编码的最优长度。熵的定义从最初的二进制扩展到更一般的概率分布情况,讨论了熵的性质、联合熵、条件熵和链式规则。此外,还提到了互信息在决策树特征选择中的应用,以及在自然语言处理中的词熵和点间互信息。最后,探讨了相对熵(KL散度)和交叉熵在概率模型评估中的作用。
摘要由CSDN通过智能技术生成

计算语言学的数学基础

信息论基础

1. 理解熵的最初提出

考虑以下的最优编码问题:

有A,B两个站点要传输关于甲乙两个人是否在房间的信息,根据大量的以往的经验,甲乙两个人在房间的状态可能性如下表所示,A发送信息,B接受信息,发送的信息是二进制的。

房间状态

房间没有人

只有甲在房间

只有乙在房间

两人都在房间

概率

0.5

0.125

0.125

0.25

我们要让发送的二进制信息能够反映出甲乙的状态,所以要对信息进行编码。

我们可以使用两位二进制数据。

00 表示 房间没有人

01 表示 只有甲在房间

10 表示 只有乙在房间

11 表示都在房间

这样的话 平均发送的信息编码长度是 2 位(每次都是2位)。

其实我们可以使用长度不同的编码。比如使用

0 表示 房间没有人

10 表示 两个人都在房间

110 表示 只有甲在房间

111 表示 只有乙在房间

注意:编码问题,上述为什么没有使用到1,1不是更加短吗?可以这么理解B在接收信息的时候,是按位的。比如说110,先接收1,发现没有1状态就继续接收1,发现没有11,就继续接收0,发现110是事先商量好的状态,所以就可以解码成 只有甲在房间,如果说使用了1状态进行编码了,那么收到110就可能认为A发送了3次,分别是1状态1状态0状态

而这样的编码的平均发送的信息编码长度是

math?formula=1*0.5%2B2*0.25%2B3*0.125%2B3*0.125%20%3D%201.75

所以这样的编码是更好的,而且其实这个编码对于这个问题是最优的。

其实这个问题的解决就是构造哈夫曼编码树。另外我们可以考虑,如果计算机每次发送的不是二进制,而是三进制或者是十进制,那么我们如何确定最优的编码呢?其实这个是多叉哈夫曼编码树,同样是贪心的思想,但是要多考虑一下树结构的完整性,才能够贪心正确。

而香农就是直接把上面的流程转化成了公式的形式。对于传输二进制信息,给我们其信息状态的概率分布,那么每个状态应该给的编码长度是

math?formula=-log_2(p(x))。比如说上面的 房间没有人的概率是

math?formula=0.5 , 而

math?formula=-log_2(0.5)%20%3D%201 从而给编码为1。 其余的也可以进行计算,不再重复。

那么平均发送的信息的编码长度就是

math?formula=%5Csum_%7Bi%3D0%7D%5E%7Bn%7D%20p(x)%20%5Clceil%20-log_2(p(x))%20%5Crceil。而最后这个期望值就是熵最初的定义,可以理解为在一个编码问题中最优编码下的发送一个信息的平均需要二进制信息的位数。

2.现在熵的演化和作用

Def : 针对一个随机变量X,其有熵的定义为

math?formula=H(X)%20%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%5E%7B%7D-p(x)log_a(p(x))

可以发现的是相比之前的熵,现在这个定义的熵。

(1)log底是可以自己设置的了。

(2)

math?formula=-log_ap(x) 没有向上取了。

其实也可以理解,对于(1)可以更加灵活了,甚至可以去考虑非二进制下最优编码,并且香农在提出这个的时候是按照10的,此时单位叫做香农。(可能有错)但是a其实一般都不是十分重要,因为不同底只相差一个倍数关系。对于(2)因为我们要推广到更大的使用范围上,不拘泥于实际编码中,我们的码位是一个整数。

基本的熵的性质,最大值,最小值,以及熵表示信息的混乱程度不赘述。

3. 各种熵

联合熵:

Def:针对两个随机变量X,Y,设其联合分布密度为p(x,y),X,Y的联合熵定义为:

math?formula=H(X%2CY)%20%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%5E%7B%7D%5Csum_%7By%5Cepsilon%20Y%7D%5E%7B%7D-p(x%2Cy)log_a(p(x%2Cy))

条件熵:

Def:针对两个随机变量X,Y,设其联合分布密度为p(x,y),则给定X下Y的条件熵定义为:

math?formula=%5Cbegin%7Bequation%7D%20%5Cbegin%7Baligned%7D%20H(Y%7CX)%20%26%3D%20-%5Csum_%7Bx%5Cepsilon%20X%7Dp(x)H(Y%7CX%3Dx)%20%5C%5C%20%26%3D%5Csum_%7Bx%5Cepsilon%20X%7Dp(x)%20%5Cleft%20%5B%20-%5Csum_%7By%5Cepsilon%20Y%7Dp(y%7Cx)log%20p(y%7Cx)%20%5Cright%5D%20%5C%5C%20%26%3D-%5Csum_%7Bx%5Cepsilon%20X%7D%5Csum_%7By%5Cepsilon%20Y%7Dp(x%2Cy)log%20p(y%7Cx)%20%5Cend%7Baligned%7D%20%5Cend%7Bequation%7D

注:条件熵的推导是很有启发的,第一式子是定义,最后一个式子一般用来计算,并且可以知道条件熵的定义和一般人想像的不太一样,不是

math?formula=p(y%7Cx)log%20p(y%7Cx)

理解:

(1)先区分

math?formula=H(Y%7CX)

math?formula=H(Y%7CX%3Dx)这两个东西

前者是在给定X下(所谓给定X是给定X分布,不是X已经具体某个值了)Y的条件熵。

后者是在X已经是具体某个值下的Y的条件熵。

前者是后者关于X的期望。

(2)千万不要理解

math?formula=H(Y%7CX)

math?formula=Y%7CX这个“分布”的熵,因为这个

math?formula=Y%7CX根本就不是一个分布。我们提到的条件分布都是在

math?formula=X%3Dx

math?formula=Y的分布,也就是

math?formula=Y%7CX%3Dx才是一个分布。从而对于

math?formula=H(Y%7CX%3Dx)有了进一步的认识。并且对于

math?formula=H(Y%7CX)的定义应该可以理解为是合理的。

链式规则:

math?formula=H(X%2CY)%3DH(X)%2BH(Y%7CX)

链式规则的推导:

math?formula=%5Cbegin%7Bequation%7D%20%5Cbegin%7Baligned%7D%20H(X)%2BH(Y%7CX)%20%26%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%20p(x)log%20p(x)%20%2B%20%5Csum_%7Bx%5Cepsilon%20X%7D%20%5Csum_%7By%5Cepsilon%20Y%7D%20p(x%2Cy)log%20p(y%7Cx)%5C%5C%20%26%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%20%5Csum_%7By%5Cepsilon%20Y%7D%20p(x%2Cy)log%20p(x)%2B%5Csum_%7Bx%5Cepsilon%20X%7D%20%5Csum_%7By%5Cepsilon%20Y%7D%20p(x%2Cy)log%20p(y%7Cx)%5C%5C%20%26%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%20%5Csum_%7By%5Cepsilon%20Y%7D%20p(x%2Cy)(log%20p(x)%2Blog%20p(y%7Cx))%5C%5C%20%26%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%20%5Csum_%7By%5Cepsilon%20Y%7D%20p(x%2Cy)log%20p(x%2Cy)%5C%5C%20%26%3DH(X%2CY)%20%5Cend%7Baligned%7D%20%5Cend%7Bequation%7D

理解:这个链式规则是很重要的,可以引出互信息。

互信息

math?formula=I(X%3BY)%3DH(X)-H(X%7CY)%3D%5Csum_%7Bx%2Cy%7Dp(x%2Cy)%20log%20%5Cfrac%7B%20p(x%2Cy)%7D%7Bp(x)p(y)%7D

这个互信息是基于上述的链式规则的。

math?formula=%5Cbegin%7Bequation%7D%20H(Y)%2BH(X%7CY)%20%3D%20H(X%2CY)%20%3D%20H(X)%2BH(Y%7CX)%5C%5C%20H(Y)%2BH(X%7CY)%20%3D%20H(X)%2BH(Y%7CX)%5C%5C%20H(X)-H(X%7CY)%20%3D%20H(Y)-H(Y%7CX)%5C%5C%20I(X%3BY)%20%3D%20H(X)-H(X%7CY)%20%3D%20H(Y)-H(Y%7CX)%3DI(Y%3BX)%5C%5C%20%5Cend%7Bequation%7D

理解:

(1)有一种比较经典的理解方式是信息增益。熵表示数据的信息量,数据混乱度越高,信息量越大。而

math?formula=H(X)是X的信息量。

math?formula=H(X%7CY)是给定Y分布下的X的信息量。那么

math?formula=I(X%3BY)%3DH(X)-H(X%7CY)也就是说给不给定Y对X信息量的变化影响。

(2)互信息用在决策树特征选择。

针对自然语言处理里的熵和互信息。

词熵(熵率):(待理解多状态和多随机变量的区别)

为了能够对两个不同分布的熵进行比较,实际情况就如同上面多个最优编码问题之间比如问题1是甲乙两个人在不在房间,状态有4个。问题2是甲乙丙三个人在不在房间,状态有8个。这样这两个问题分布的熵是不好进行比较的。因为明显8个状态的优势比较大。求和数目变多了。所以我们应该关注每个状态的混乱度(如果从最初的提出,就是每个状态所占用的平均二进制编码的平均位数)。

math?formula=H_r%3D%5Cfrac%7B1%7D%7Bn%7DH(X_n)%3D-%5Cfrac%7B1%7D%7Bn%7D%5Csum_%7Bx_n%7Dp(x_n)log%20p(x_n)

点间互信息:

math?formula=I(x%2Cy)%3Dlog%5Cfrac%7Bp(x%2Cy)%7D%7Bp(x)p(y)%7D

这个是具体两个事件之间的互信息。不是两个随机变量的。在自然语言处理当中。对于词向量{X1,X2}。往往研究的是X1=‘a’ X2='b' 的相互之间的关系。

相对熵(KL散度):

math?formula=%5Cbegin%7Bequation%7D%20%5Cbegin%7Baligned%7D%20D(p%7C%7Cq)%3D%5Csum_%7Bx%5Cepsilon%20X%7D%20p(x)log%20%5Cfrac%7Bp(x)%7D%7Bq(x)%7D%5C%5C%20rule%3A%200%20log%20%5Cfrac%7B0%7D%7Bq%7D%3D0%2C%20p%20log%20%5Cfrac%7Bp%7D%7B0%7D%3D%20%5Cinfty%20%5Cend%7Baligned%7D%20%5Cend%7Bequation%7D

理解:

相对熵反应了对于一个随机变量,我们猜测的分布和实际的分布的差异。所以可以很直接就能发现,我们可以使用这个相对熵来对概率模型进行评价。

交叉熵:

math?formula=H(X%2Cq)%20%3D%20%5Csum_%7Bx%5Cepsilon%20X%7Dp(x)log%20q(x)

理解:

对于相对熵

math?formula=D(p%7C%7Cq)%3D%5Csum_%7Bx%5Cepsilon%20X%7Dp(x)log%20%5Cfrac%7Bp(x)%7D%7Bq(x)%7D

对于这个式子我们进行展开。

math?formula=D(p%7C%7Cq)%3D%20%5Csum_%7Bx%5Cepsilon%20X%7D%20p(x)%20%5Cfrac%7Blog%20p(x)%7D%7Blog%20q(x)%7D%20%3D%20%5Cleft%20%5B-%20%5Csum_%7Bx%5Cepsilon%20X%7D%20p(x)log%20p(x)%20%5Cright%5D%20-%20%5Cleft%5B%20-%20%5Csum_%7Bx%5Cepsilon%20X%7D%20p(x)log%20q(x)%20%5Cright%5D%20%3D%20H(X%2Cp)%20-%20H(X%2Cq)

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值