提出可验证的自适应智能体控制器修复框架,解决工业部署中的不可靠性问题。
Verification of Adaptive Agentic Controllers through Finite Rule Revision
- 将控制器视为可编辑的符号规则集合,通过诊断谓词定位故障点
- 实验发现部分故障可通过删除平滑规则修复,部分因违反阈值被拒绝
- 适合需要可解释、可局部修复的高风险决策系统开发者参考
工业级自适应智能体系统在原型能力与实际部署间存在鸿沟。特别是自适应智能体可能生成看似合理的结果,但在非确定性、保密约束、有限上下文和弱可观测性条件下难以验证。本文针对由有限符号规则、显式诊断谓词、解释日志和保留重评估组成的自适应智能体控制器,提出一个有界验证协议。核心问题是:当控制器以这些形式表示时,哪些类别的故障可被检测、局部修复或拒绝,而无需依赖无限制的人工干预?所提框架将控制器视为可修订的有限对象,将诊断失败映射为预定义的规则级修改,包括规则增删和优先级调整。修复后的控制器在保留的模拟种子或克隆初始状态下重新评估。在一种受金融约束的库存控制基准测试中,实验得到三种结果:资源相关故障无法通过单次规则修改修复;部分修复因违反阈值或护栏被拒绝;对由平滑规则引发的订单波动故障,可通过删除该规则实现局部一步修复。贡献在于方法论层面,提供了一种可模拟兼容的流程,用于测试特定控制器故障是否可在受控条件下实现可观测、可解释、可局部修订及实证重测。
原文摘要 · Abstract (English)
Industrial agentic AI systems increasingly exhibit a gap between prototype capability and production deployment. In particular, adaptive agents may generate plausible outputs while remaining difficult to verify under non-determinism, confidentiality constraints, limited context, and weak observability. This paper formulates a bounded verification protocol for adaptive agentic controllers represented by finite symbolic rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation. The central research question is: when an adaptive agentic controller is represented through finite rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation, which classes of controller failure can be detected, locally repaired, or rejected without relying on unrestricted human-in-the-loop judgment? The proposed framework treats the controller as a finite revisable object. Diagnostic failures are mapped to predefined rule-level edits, including rule addition, rule deletion, and priority revision. Repaired controllers are then evaluated on held-out simulation seeds or cloned initial states. Experiments in a stylized financially constrained inventory-control benchmark show three outcomes: resource-induced failures that remain non-repairable by one rule edit, partial repairs that are rejected because they violate thresholds or guardrails, and a local one-step repair of an order-volatility failure induced by removing a smoothing rule. The contribution is methodological and provides a simulation-compatible procedure for testing whether specific controller-level failures can be made observable, explainable, locally revisable, and empirically re-tested under controlled conditions.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。