Towards a logic for reasoning with norms

Jaap Hage and Bart Verheij

Abstract

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.

Reference:
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