Two Approaches to the Formalisation of Defeasible Deontic Reasoning

This paper compares two ways of formalising defeasible deontic reasoning, both based on the view that the issues of conflicting obligations and moral dilemmas should be dealt with from the perspective of nonmonotonic reasoning. The first way is developing a special nonmonotonic logic for deontic statements. This method turns out to have some limitations, for which reason another approach is recommended, viz. combining an already existing nonmonotonic logic with a deontic logic. As an example of this method the language of Reiter's default logic is extended to include modal expressions, after which the argumentation framework in default logic of [20, 22] is used to give a An earlier version of this article was written while the author was working at the Department of Computing, Imperial College London, supported by ESRC/MRC/SERC Joint Council Initiative Project G9212036. Work on the present version was supported by a research fellowship of the Royal Netherlands Academy of Arts and Sc..