A Logical Architecture of a Normative System (bibtex)
by G. Boella, L. van der Torre
Abstract:
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.
Reference:
A Logical Architecture of a Normative System (G. Boella, L. van der Torre), In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($\Delta$EON'06), Springer, volume 4048, 2006.
Bibtex Entry:
@InProceedings{Boella2006d,
  Title                    = {A Logical Architecture of a Normative System},
  Author                   = {G. Boella and L. van der Torre},
  Booktitle                = {Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ({$\Delta$EON}'06)},
  Year                     = {2006},

  Address                  = {Berlin},
  Pages                    = {24-35},
  Publisher                = {Springer},
  Series                   = {LNCS},
  Volume                   = {4048},

  Abstract                 = {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. },
  Affiliation              = {icr},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/deon06c.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/deon06c.pdf}
}
Powered by bibtexbrowser