基于逻辑学概念的信息理论.pdfVIP

第41卷第5期 数学的实践与认识 V01．41，No．5 2011年3月 MATHEM棚CSINPRACTICEANDTHEORY Mar．，2011 ．，·’”¨，、 l信息科学i ～t·‘·。·。·。·t·， 基于逻辑学概念的信息理论 孟波血双 (山东省煤炭工业局，山东济南250031) 摘要：信息论是以信息为研究对象的科学分支．关于信息的定义也是多种多样，这 些定义既有按照哲学意义给出的，也有按照科学意义给出的，而这些关于信息的定 义都有值得商榷之处．以下采用数理逻辑的基本概念和方法给出关于信息的定义， 并且给出了相应的分析．新理论可成为逻辑信息学或者逻辑信息论． 关键词：信息；命题；二值信息；多值信息；模态信息；信息量；事件；事件的信息量 1前言 义，即“信息是用来消除某种认识上的不确定性的东西，’，并且沿用Shannon提出的概率论中 的公式来表达信息量．这实际上存在很大的误解．事实上，信息与是否是“用来消除某种认识 上的不确定性”没有关系，同时信息量也与概率和熵无关，相反概率和熵倒是可以看成是一 种具体的信息．Shannon的定义实际上未给出信息的本质．本文以下依据实际情况，对信息给 出了新的定义，并对信息量以及信息之间的关系给出说明和分析． 本文的数学基础是数理逻辑．相关的内容可参阅本文参考文献【1—4】或者其他数理逻辑 方面的文献或资料． 2信息的定义与分析 考本文列举得参考文献【5】或其他相关文献．但是本文作者认为Shannon的定义仅仅是一家 之言，以下本文作者按照自己的理解给出信息的定义． 定义1信息就是命题．信息的值等价于命题的值． 定义1是本文作者对信息的认识．命题的概念来自数理逻辑．按照数理逻辑的定义，命 题就是陈述句，反应的是实际的各类情况，而在实际情况中，信息也是以各种各样的陈述句的 方式给出的．在实际情况中，信息是存在真假的．信息的值反应的就是信息的真假．因此定义 1与实际情况吻合．按照本文作者的观点，概率和熵与信息的本质无关，概率和熵是一种具体 的信息． 收 007-01．18 5期 孟波：基于逻辑学概念的信息理论 111 在数理逻辑中，通常采用符号来表示命题，采用逻辑关系符表示命题之间的关系，所以本 文以下也采用符号来表示信息，采用逻辑关系符来说明信息之间的关系．数理逻辑包含许多 不同的分支，本文以下对定义在二值逻辑(经典逻辑)、多值逻辑和模态逻辑上的信息进行分 析． 定义2由二值命题定义的信息称为二值信息． 在实际情况中，二值信息是最常见的信息形式． 定义3由多值命题定义的信息称为多值信息． 多值命题反映命题取值的多样性．即可以是除了真假以外的其它值．多值逻辑有很多种， 4】． 除了二值逻辑和多值逻辑外，还有一种非经典逻辑就是模态逻辑．模态逻辑是用来说明 可能性和必然性的逻辑理论．而信息有时也包含必然性和可能性．因此还可以给出以下定义． 定义4包含模态词的信息称为模态信息．其中包含模态词口的称为必然信息，包含模 态词◇的称为可能信息． 二值命题和多值命题之前都可以使用模态词． 定义5不包含逻辑关系符的信息称为原子信息；反之称为复合信息． 或)等．其含义可以参阅数理逻辑的相关书籍，例如文献[2—4】等． 在数理逻辑的命题表达式中，存在重言式、矛盾式和可满足式等具体形式．这些概念完全 适用于信息．关于重言式、矛盾式和可满足式的定义，可参阅数理逻辑的相关资料文献，例如 本文列举的参考文献f2-4]．一个信息中如果原子信息的任意赋值，都能使信息的值为真，那 么该信息表达式称为重言式．如果任意原子信息的赋值，都能使信息的值为假，那么该信息表 达式称为矛盾式．另外在多值逻辑系统的讨论中，由于逻辑真可能无法得到满足，所以通常讨 则称A为Q重言式． 以上给出了本文作者关于信息的定义以及信息的分类． 定义6由信息组成的集合称为信息集．如果信息集为空集，那么称该信息集为空信息 集． ．