信息的结构
摘要：信息结构的形式模型由五个公理构成，这些公理定义了信息单元的身份、包含关系和连接。连接被证明是可交换的、可结合的、提供信息单元的反元素，并且可能具有多个身份元素，其中两个是乘法和加法。这两种连接类型是可分配的。其他身份元素是用于交织状态的运算符的。乘法连接对应于向系统添加或删除新位，而加法连接对应于状态的改变。信息单元的顺序或大小被定义。这个基础工作的目的是通过时间来建模连续和离散的信息结构，特别是在封闭系统中。
作者：Bruce Long
论文ID：cs/0309004
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23