[论文解读] Spacetimes with Semantics (II), Scaling of agency, semantics, and tenancy

Mark Burgess|arXiv (Cornell University)|May 7, 2015

Advanced Algebra and Logic被引用 4

一句话总结

本文提出了一种基于承诺理论的可扩展框架，用于建模语义时空，其中时空通过自主代理通过承诺来定义代理性、语义性和空间占有性。通过引入超代理和粗粒化规则，实现了跨尺度的动态与语义连续性，展示了功能性不对称性、占有性以及多租用性如何自然地从基于承诺的交互中产生。

ABSTRACT

Using Promise Theory as a calculus, I review how to define agency in a scalable way, for the purpose of understanding semantic spacetimes. By following simple scaling rules, replacing individual agents with `super-agents' (sub-spaces), it is shown how agency can be scaled both dynamically and semantically. The notion of occupancy and tenancy, or how space is used and filled in different ways, is also defined, showing how spacetime can be shared between independent parties, both by remote association and local encapsulation. I describe how to build up dynamic and semantic continuity, by joining discrete individual atoms and molecules of space into quasi-continuous lattices.

研究动机与目标

• 开发一种可扩展的形式化方法，通过代理整合语义与动力学来建模时空。
• 解决如何在空间结构中编码语义属性（如意图、所有权和功能性不对称性）的问题。
• 形式化时空中的占有性和租用性概念，支持共享、分层和多租用的空间组织。
• 建立将代理粗粒化为超代理的规则，同时保持语义完整性和承诺一致性。
• 通过基于承诺的语义，统一物理空间与抽象知识结构的表示。

提出的方法

• 使用承诺理论作为基础演算，将自主代理建模为通过承诺进行通信的代理单位。
• 定义承诺矩阵和张量，以表示代理之间及其空间角色的结构性和语义性关系。
• 引入子空间和超代理，实现代理的分层缩放，边界承诺控制交互。
• 应用粗粒化技术聚合代理，保持外部承诺行为的同时抽象内部细节。
• 通过条件承诺和结构记忆形式化租用性，实现本地封装与远程关联的结合。
• 通过网关和广告引入尺度转换，协调不同代理尺度和承诺范围之间的交互。

实验结果

研究问题

• RQ1 如何在保持语义一致性的同时，实现代理在多级抽象层次上的可扩展性？
• RQ2 在不损失语义或动态信息的前提下，将单个代理粗粒化为超代理的规则是什么？
• RQ3 如何形式化定义空间租用性和占有性，以支持多租用性、不对称性和资源复用？
• RQ4 功能性不对称性在塑造语义时空和实现非还原性行为中起什么作用？
• RQ5 基于承诺的系统如何支持语义时空中分层、分布式和可扩展的知识组织？

主要发现

• 通过超代理实现的代理尺度可被定义，其中高层级的承诺行为源自底层代理的交互，保持了语义连续性。
• 承诺的粗粒化在保持外部行为的同时抽象了内部细节，目录或索引捕获了丢失的信息。
• 租用性作为由条件承诺所支配的语义关系出现，支持空间资源的私有和共享使用。
• 多租用性允许多个逻辑‘世界’在单一时空结构中共存，通过门禁机制和命名空间层次结构进行中介。
• 功能性不对称性对语义丰富性至关重要，不能仅通过动力学属性还原，暗示每个尺度都需要新的承诺结构。
• 该框架中自然涌现出规模经济效应，其中宿主结构（如书籍、云服务）的价值通过集体租用组织和抽象化而提升。