在形式简单性理论中扎根奥卡姆剃刀
Grounding Occam's Razor in a Formal Theory of Simplicity
摘要：
一个正式的简单性理论的介绍，在上下文中的“组合”计算模型，认为计算包括迭代的转换和合成活动的人口代理在彼此。算法信息等方面的简单性的传统措施被证明是一个更广泛的理解的核心“对称性”的属性构成什么在这里被定义为一个组成的简单性措施（CoSM）的特殊情况。该理论的CoSM扩展到一个理论的CoSMOS（组合简单性测量操作集），它涉及到多个简单性措施一起使用。给定一个简单性度量向量，一个实体不是与一个单独的简单性值相关联，而是与帕累托最优简单性值向量的“简单性束”相关联。然后，CoSM和CoSMOS被用作模式和多模式理论的基础，以及模式系统中的层次和分层理论。形式化的认知系统的概念，一个“连贯的双重网络”交织层次结构和heterarchy在一个一致的方式。这项研究的高层次最终结果是将奥卡姆剃刀重新设想为：当有疑问时，更喜欢简单性捆绑是帕累托最优的假设，部分原因是这样做既允许又受益于构建协调一致的双重网络，包括协调一致的多模式层次结构和异质结构。
英文摘要：
A formal theory of simplicity is introduced, in the context of a "combinational" computation model that views computation as comprising the iterated transformational and compositional activity of a population of agents upon each other. Conventional measures of simplicity in terms of algorithmic information etc. are shown to be special cases of a broader understanding of the core "symmetry" properties constituting what is defined here as a Compositional Simplicity Measure (CoSM). This theory of CoSMs is extended to a theory of CoSMOS (Combinational Simplicity Measure Operating Sets) which involve multiple simplicity measures utilized together. Given a vector of simplicity measures, an entity is associated not with an individual simplicity value but with a "simplicity bundles" of Pareto-optimal simplicity-value vectors. CoSMs and CoSMOS are then used as a foundation for a theory of pattern and multipattern, and a theory of hierarchy and heterarchy in systems of patterns. A formalization of the cognitive-systems notion of a "coherent dual network" interweaving hierarchy and heterarchy in a consistent way is presented. The high level end result of this investigation is to re-envision Occam's Razor as something like: When in doubt, prefer hypotheses whose simplicity bundles are Pareto optimal, partly because doing so both permits and benefits from the construction of coherent dual networks comprising coordinated and consistent multipattern hierarchies and heterarchies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
