通过有限规则修订验证自适应智能体控制器
Verification of Adaptive Agentic Controllers through Finite Rule Revision
浏览论文内容
中文总结 AI 辅助
研究自适应智能体控制器在特定条件下的验证问题，提出以有限规则等表示的有界验证协议，将故障映射到规则编辑，经实验得出三种结果，贡献是提供了可测试控制器故障相关特性的模拟兼容程序。
中文摘要 AI 辅助
工业智能体人工智能系统在原型能力和生产部署之间日益显现出差距。特别是，自适应智能体可能会产生看似合理的输出，但在非确定性、保密约束、有限上下文和弱可观测性下仍难以验证。本文为以有限符号规则、显式诊断谓词、解释日志和留出重新评估表示的自适应智能体控制器制定了一种有界验证协议。核心研究问题是：当自适应智能体控制器通过有限规则等表示时，哪些类别的控制器故障可以在不依赖无限制的人工判断的情况下被检测、局部修复或拒绝？所提出的框架将控制器视为有限可修订对象。诊断故障被映射到预定义的规则级编辑。然后在留出的模拟种子或克隆的初始状态上评估修复后的控制器。在一个程式化的财务受限库存控制基准测试中的实验显示了三种结果。贡献在于提供了一个与模拟兼容的程序，用于测试特定控制器级故障在受控条件下是否可观测、可解释、局部可修订和经实证重新测试。
英文摘要
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.
发表机构
- Open University of Cyprus（塞浦路斯开放大学）
机构由 AI 辅助整理，请以论文原文为准。
