LLM2D
计算不可约性作为自主行为的基础:将不可决定性与复杂系统中的自主行为正式模型相连
Computational Irreducibility as the Foundation of Agency: A Formal Model Connecting Undecidability to Autonomous Behavior in Complex Systems
作者: Poria Azadi
发布日期: 5/9/2025
arXiv ID: oai:arXiv.org:2505.04646v1

摘要

arXiv:2505.04646v1 宣告类型: 新 摘要: 本文通过将基本的计算限制(可判定性、完全性、计算不可约性)与物理概念联系起来,探讨自主性和能动性的出现。我们提出了一种“最小代理”的正式模型,该代理在潜在的图灵完备环境中运行。利用算法信息论,我们论证了代理与环境相互作用的固有不可判定性和计算不可约性导致了不可预测性和新颖信息的生成,从而使得能动性(有效的目标导向行动)成为可能。计算不可约性防止了完全的外部预测,从而为自主行为创造了必要的条件。我们将这一观点与计算源性联系起来,其中代理是其行为不可约的起源,但正式化这一概念仍然具有挑战性。我们的中心论点,已经形式化证明,是真正的自主性必然在外部视角下体现为不可判断性,从而将自主系统与可预测系统区分开来。我们提出,在代理与环境耦合的复杂性允许内部状态与相关环境变量之间的互信息增加时(尤其是在不存在分析性解的情况下,需要操作上的封闭性以维持持久性时),能动性出现。该框架直接将能动性与相互作用的计算属性联系起来,提供了理解意识、设计自主AI以及在确定但计算上不可约的宇宙中重新构思自由意志的含义。