[论文解读] The Structure of Information

Bruce Long|ArXiv.org|Sep 2, 2003

Computability, Logic, AI Algorithms参考文献 5被引用 4

一句话总结

本文提出了一种基于五个公理的正式公理化信息结构模型，这些公理定义了信息单元（infons）的身份、包含关系和连接操作。该模型证明了连接操作满足交换律和结合律，支持逆元，并表现出两种不同的类型（乘法型和加法型），且二者具有分配性；乘法型连接表示添加/移除数据位，加法型连接则模拟状态转换，同时对infons的顺序和大小进行了形式化定义，以支持对随时间演化的封闭系统的动态建模。

ABSTRACT

A formal model of the structure of information is presented in five axioms which define identity, containment, and joins of infons. Joins are shown to be commutative, associative, provide inverses of infons, and, potentially, have many identity elements, two of which are multiplicative and additive. Those two types of join are distributive. The other identity elements are for operators on entwined states. Multiplicative joins correspond to adding or removing new bits to a system while additive joins correspond to a change of state. The order or size of an infon is defined. This groundwork is intended to be used to model continuous and discreet information structures through time, especially in closed systems.

研究动机与目标

• 通过一组最小化的公理，形式化信息结构的结构性质。
• 定义信息单元（infons）通过身份、包含关系和通过连接操作的组合关系。
• 刻画连接操作的代数行为，包括交换律、结合律和逆元性质。
• 区分乘法型与加法型连接，将其与系统级变化和状态转换相联系。
• 为在封闭系统中对随时间演化的连续与离散信息结构建模奠定基础。

提出的方法

• 基于五个基础公理对信息结构进行公理化，这些公理控制infons的身份、包含关系和连接操作。
• 将连接定义为infons上的二元运算，且满足交换律和结合律。
• 引入两种类型的连接：乘法型（用于添加/移除数据位）和加法型（用于状态变化）。
• 证明连接支持逆元，并可具有多个身份元素，包括乘法型和加法型身份。
• 对infons的顺序和大小进行形式化定义，以支持时间与结构建模。
• 利用乘法型与加法型连接之间的分配律，确保代数一致性。

实验结果

研究问题

• RQ1 如何通过公理化方法正式描述信息结构，以捕捉身份、包含关系和组合性质？
• RQ2 infons的连接操作满足哪些代数性质，它们如何支持对信息组合的推理？
• RQ3 在语义和操作角色上，乘法型与加法型连接有何本质区别？
• RQ4 身份元素在不同类型的连接中如何运作，是否可以存在多个身份？
• RQ5 infons的顺序和大小在何种方式上支持对动态、随时间演化的信息系统的建模？

主要发现

• infons的连接操作满足交换律和结合律，从而支持信息单元的一致性组合。
• 连接操作支持逆元，使得信息结构上的操作可逆。
• 识别出两种截然不同的连接类型——乘法型与加法型，各自具有独立的身份元素和语义解释。
• 乘法型连接模拟数据位的添加或移除，而加法型连接表示系统状态的变化。
• 乘法型与加法型连接相互之间满足分配律，确保代数上的协调一致。
• infons的顺序和大小被形式化定义，为在封闭系统中建模时间与结构演化提供了基础。