Thou Shalt is not You Will
–arXiv.org Artificial Intelligence
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.
arXiv.org Artificial Intelligence
Jan-25-2015
- Country:
- Oceania > Australia > Queensland (0.14)
- Genre:
- Research Report (0.40)
- Industry:
- Law (1.00)
- Information Technology > Security & Privacy (0.75)
- Technology: