Investigations into the Application of Deontic Logic

This paper discusses the results of a study for representation of law. Starting point is a legal knowledge based system for the Dutch traffic law that treats permissions as specialized obligations. The results of this prototype system have been evaluated and were the subject for further study. The second half of this paper looks into computationally attractive formalisms that capture deontic modalities more naturally.