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 la
AI技术的崛起在面对法律、社会和伦理规范敏感的各种应用中需要决策支持,而规范推理是德意志逻辑的领域,在解决著名的基准问题(德意志悖论)方面存在挑战,并且缺乏高效的计算工具。本文使用Answer Set Programming (ASP)来解决这些不足,并展示了如何利用弱约束编码和解决几个著名的德意志悖论。通过抽象和概括这种编码,我们提出了一种将ASP与弱约束组合的方法论来翻译规范系统的方法。该方法应用于“道德”版本的Pac-man游戏中,我们得到了与相关作品相当的性能,但是结果更加符合伦理要求。