让智能体提前算罚钱,该违规时敢违规,还能解释为什么。
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties
- 用逻辑编程建模政策惩罚,自动判断违规后果
- 实验显示生成计划更优,部分场景提速30%以上
- 适合政策设计、高风险决策系统开发者
本文提出一种基于逻辑编程的政策感知智能体框架,可推理非合规行为可能带来的惩罚并据此行动。与以往仅关注合规不同,本方法考虑为达成高风险目标而偏离政策的合理性。通过扩展Gelfond和Lobo的授权与义务政策语言(AOPL),引入惩罚机制,并结合答案集编程(ASP)进行推理。相比已有方法,该框架确保政策形式正确、处理政策优先级,并通过显式标识规则违反及其后果提升可解释性。借鉴Harders和Inclezan的工作,引入基于惩罚的推理,以区分非合规方案,优先选择影响最小者。我们开发了扩展AOPL到ASP的自动转换工具,并优化了考虑惩罚的ASP规划算法。在两个领域中的实验表明,该框架生成的计划质量更高,能避免有害行为,部分情况下计算效率提升超过30%。结果表明其在增强自主决策和辅助政策优化方面具有潜力。
原文摘要 · Abstract (English)
This paper presents a logic programming-based framework for policy-aware autonomous agents that can reason about potential penalties for non-compliance and act accordingly. While prior work has primarily focused on ensuring compliance, our approach considers scenarios where deviating from policies may be necessary to achieve high-stakes goals. Additionally, modeling non-compliant behavior can assist policymakers by simulating realistic human decision-making. Our framework extends Gelfond and Lobo's Authorization and Obligation Policy Language (AOPL) to incorporate penalties and integrates Answer Set Programming (ASP) for reasoning. Compared to previous approaches, our method ensures well-formed policies, accounts for policy priorities, and enhances explainability by explicitly identifying rule violations and their consequences. Building on the work of Harders and Inclezan, we introduce penalty-based reasoning to distinguish between non-compliant plans, prioritizing those with minimal repercussions. To support this, we develop an automated translation from the extended AOPL into ASP and refine ASP-based planning algorithms to account for incurred penalties. Experiments in two domains demonstrate that our framework generates higher-quality plans that avoid harmful actions while, in some cases, also improving computational efficiency. These findings underscore its potential for enhancing autonomous decision-making and informing policy refinement. Under consideration in Theory and Practice of Logic Programming (TPLP).
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。