智能作为受控自主：故障、升级与治理在代理型AI系统中的应用

摘要

本文提出了一种受控自主理论，通过检测认知漂移、暂停推理、尝试恢复并在可靠性下降时放弃控制来定义智能行为。该理论通过SMARt四层框架和定时守卫Petri网形式化，确保系统在指定条件下能正式强制升级、约束无效输出并保证治理可达性。