你不愿意，
Thou Shalt is not You Will
NICTA（澳大利亚国家信息与通信技术研究院）；Queensland University of Technology（昆士兰科技大学）
摘要：
在本文中，我们讨论了一些原因，时序逻辑可能不适合模拟现实生活中的规范。为了说明这一点，我们提出了一个新的道义逻辑的义务，权限和义务相反的义务的相互作用的基础上，相反的义务/派生的许可悖论。这个悖论的灵感来自于现实生活中的规范。
英文摘要：
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
