This paper introduces a framework for assisting policy authors in refining and improving their policies. In particular, we focus on authorization and obligation policies that can be encoded in Gelfond and Lobo's AOPL language for policy specification. We propose a framework that detects the statements that make a policy inconsistent, underspecified, or ambiguous with respect to an action being executed in a given state. We also give attention to issues that arise at the intersection of authorization and obligation policies, for instance when the policy requires an unauthorized action to be executed. The framework is encoded in Answer Set Programming. Under consideration for acceptance in TPLP.

翻译：本文提出一个辅助策略制定者精化与改进其策略的框架。特别地，我们聚焦于可编码为Gelfond与Lobo提出的AOPL策略规范语言的授权与义务策略。我们构建的框架能够检测在特定状态下执行某动作时导致策略不一致、欠定义或存在歧义的陈述。同时，我们关注授权与义务策略交叉领域中出现的问题，例如策略要求执行未被授权的动作的情况。该框架基于回答集编程实现。本文正由《实践与逻辑编程理论》（TPLP）期刊审稿中。