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.

Bart Verheij's home page - research - publications