Thou Shalt is not You Will
Artificial Intelligence
2022-09-13 v3 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1404.1685,
title = {Thou Shalt is not You Will},
author = {Guido Governatori},
journal= {arXiv preprint arXiv:1404.1685},
year = {2022}
}