Thou Shalt is not You Will

04/07/2014
by   Guido Governatori, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset