Abstract Normative Systems: Semantics and Proof Theory

Abstract : 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.
Type de document :
Communication dans un congrès
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012), Jun 2012, Rome, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00724775
Contributeur : Serena Villata <>
Soumis le : mercredi 22 août 2012 - 15:44:13
Dernière modification le : mercredi 22 août 2012 - 15:44:13

Identifiants

  • HAL Id : hal-00724775, version 1

Citation

Silvano Colombo Tosatto, Guido Boella, Leendert Van Der Torre, Serena Villata. Abstract Normative Systems: Semantics and Proof Theory. Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012), Jun 2012, Rome, Italy. 2012. 〈hal-00724775〉

Partager

Métriques

Consultations de la notice

24