Towards a logic for reasoning with norms
Jaap Hage and Bart Verheij
This paper describes how Reason Based Logic (RBL) can be used for reasoning
with norms. First we give a short characterization of reasoning with norms.
Second, we indicate how we use the notions of rules and reasons. Then follows
an overview of RBL. By means of a number of examples it is illustrated
how RBL deals with normative reasoning.
Hage, J., and Verheij, B. (1994). Towards a logic for reasoning with
norms. ECAI'94 Workshop W9, Artificial Normative Reasoning (ed.
J. Breuker), pp. 160-177. Also published as report SKBS/B3.A/94-12.