AAAI Publications, Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Abstract Normative Systems: Semantics and Proof Theory
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata

Last modified: 2012-05-17


In this paper we introduce an abstract theory of normative reasoning, whose central notion is the generation of obligations, permissions and institutional facts from conditional norms. We present various semantics and their proof systems. The theory can be used to classify and compare new candidates for standards of normative reasoning, and to explore more elaborate forms of normative reasoning than studied thus far.


Norms; Deontic Logic

Full Text: PDF