Deontic Logic in Computer Science . In this work several types of norms are distinguished and translated into obligations for the agent. All the obligations result into conditional goals for the agent. The decision whether to comply to a norm or not is made by ranking the goals. Deontic Logic in Computer Science .
Deontic logic is a modal logic with operators for permission, obligation and prohibition.
The book contains tutorials on the history of deontic logic and the applications of deontic logic in computer science, a selection of papers that were presented at the First International Workshop on Deontic Logic in Computer Science 1991 and some invited papers. Meyer and R.J. Wieringa, editors. Deontic Logic in Computer Science . We discuss the relationship between our approach and deontic logic in detail in Section 6. J.-J. C. Meyer and R. Wieringa, editors.