用于受监管流程自动化的神经符号代理：挑战与研究议程

基于大语言模型的代理正进入受监管行业，自动化涉及密集判断的质量管理流程。本文主张，领域中已有的符号结构（如法规、类型化过程模型和合规约束）不应仅视为外部监控机制，而应作为塑造代理决策与行为的核心架构组件。我们提出“通过构造实现合规”范式，作为基于护栏监控的补充：构建防止控制流违规的结构基础，同时保留护栏以捕捉语义错误。文章识别了一系列基础与能力层面的神经符号研究挑战，表明协同解决这些问题可实现通过构造达致合规，并呼吁社区关注这一高影响力领域。