Reference : A Logical Architecture of a Normative System
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25317
A Logical Architecture of a Normative System
English
Boella, Guido [> >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2006
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
Springer
LNCS 4048
24–35
Yes
978-3-540-35842-8
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
2006
[en] Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/25317
10.1007/11786849_5
http://link.springer.com/chapter/10.1007/11786849_5
4048

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
33-1-deon06.pdfPublisher postprint366.23 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.