提出基于运行时监控的Agent策略形式化强制方法

Nils Palumbo 等论文作者提出一种面向 Agent 系统的运行时策略执行方法：用户用 Datalog 描述策略，系统通过构建事件图，在工具调用等动作执行前依据系统状态和历史事件决定放行或阻断，从而在运行时强制执行指定策略。 作者称已在多个基准和现实场景中实现并评估该方法；目前仅有论文摘要（arXiv:2602.16708v4），具体实验细节未说明。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。