AI 社会责任作为可达性：面向社会责任堆栈的执行级语义
AI Social Responsibility as Reachability: Execution-Level Semantics for the Social Responsibility Stack
AI总结：
本文提出社会责任堆栈的可达性属性，通过Petri网形式化方法，将责任内化为执行级结构不变量，为反馈丰富的系统提供负责任自主性的基础。
摘要：
人工智能系统日益被嵌入为持续、闭环的组件，存在于物理、社会和制度过程中。这些系统并不产生孤立输出，而是持续在反馈、适应和扩展下运行，随时间改变物理流动、人类行为和制度实践。在这些环境中，社会不可接受的结果很少源于单一故障或显式政策违规。相反，它们通过重复、并发和反馈所促成的累积执行轨迹产生。本文通过明确社会责任堆栈（SRS）的核心要求，推进其形式基础：责任本质上是系统执行的可达性属性。一个系统负责当其执行语义防止进入不可接受的全局配置，无论局部性能增益或优化目标如何。责任失败因此不是客观层面的错误，而是执行层面的轨迹控制失败。为将这一视角具体化，我们引入Petri网作为负责自主系统的执行级形式化方法。我们展示了SRS价值承诺如何对应于禁止标记，安全措施如何对应于对转换触发的结构性约束，审计如何对应于对可达性压力的监控，治理如何对应于合法修改执行结构。将Petri网可达性嵌入SRS架构中，将责任内化为结构不变量，而非外部目标或事后机制。这些结果确立了社会责任堆栈作为可执行的责任架构，并将基于可达性的执行语义定位为反馈丰富的物理-社会技术系统中负责任自主性的必要基础。
英文摘要：
Artificial intelligence systems are increasingly embedded as persistent, closed-loop components within cyber-physical, social, and institutional processes. Rather than producing isolated outputs, such systems operate continuously under feedback, adaptation, and scale, reshaping physical flows, human behavior, and institutional practice over time. In these settings, socially unacceptable outcomes rarely arise from singular faults or explicit policy violations. Instead, they emerge through cumulative execution trajectories enabled by repetition, concurrency, and feedback. This paper advances the formal foundation of the Social Responsibility Stack (SRS) by making its central requirement explicit: responsibility is fundamentally a reachability property of system execution. A system is responsible iff its execution semantics prevent entry into inadmissible global configurations, regardless of local performance gains or optimization objectives. Responsibility failures are therefore not objective-level errors, but execution-level failures of trajectory control. To operationalize this perspective, we introduce Petri nets as an execution-level formalism for responsible autonomous systems. We show how SRS value commitments correspond to forbidden markings, safeguards to structural constraints on transition firing, auditing to monitoring of reachability pressure, and governance to legitimate modification of execution structure. Embedding Petri-net reachability within the SRS architecture internalizes responsibility as a structural invariant rather than an external objective or post-hoc mechanism. These results establish the Social Responsibility Stack as an executable responsibility architecture and position reachability-based execution semantics as a necessary foundation for responsible autonomy in feedback-rich cyber-physical and socio-technical systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
