Programming Normative Artifacts with Declarative Obligations and Prohibitions (bibtex)
by Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
Abstract:
Normative concepts (e.g., obligations and prohibitions) are seen as a suitable tool for regulating the observable behavior of software agents. An enforcement mechanism - a process that detects when a norm is active, detects violations of the norms and handles these violations - is crucial for the practical use of norms in the construction of multi-agent systems. We propose a programming language for programming normative artifacts in terms of declarative norms referring to a state of the world (as opposed to procedural norms only referring to actions), and introduce the operational semantics of the norm enforcement mechanism.
Reference:
Programming Normative Artifacts with Declarative Obligations and Prohibitions (Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre), In IAT, 2009.
Bibtex Entry:
@InProceedings{Tinnemeier2009,
  Title                    = {Programming Normative Artifacts with Declarative Obligations and Prohibitions},
  Author                   = {Nick A. M. Tinnemeier and Mehdi Dastani and John-Jules Ch. Meyer and Leendert W. N. van der Torre},
  Booktitle                = {IAT},
  Year                     = {2009},
  Pages                    = {145-152},

  Abstract                 = {Normative concepts (e.g., obligations and prohibitions) are seen as a suitable tool for regulating the observable behavior of software agents. An enforcement mechanism - a process that detects when a norm is active, detects violations of the norms and handles these violations - is crucial for the practical use of norms in the construction of multi-agent systems. We propose a programming language for programming normative artifacts in terms of declarative norms referring to a state of the world (as opposed to procedural norms only referring to actions), and introduce the operational semantics of the norm enforcement mechanism.},
  Bdsk-url-1               = {http://dx.doi.org/10.1109/WI-IAT.2009.144},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/iat/2009},
  Ee                       = {http://dx.doi.org/10.1109/WI-IAT.2009.144},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.1109/WI-IAT.2009.144}
}
Powered by bibtexbrowser