Programming Normative Artifacts with Declarative Obligations and Prohibitions

  title={Programming Normative Artifacts with Declarative Obligations and Prohibitions},
  author={Nick A. M. Tinnemeier and Mehdi Dastani and John-Jules Ch. Meyer and Leon van der Torre},
  journal={2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology},
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… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-3 of 3 references

The Construction of Social Reality

  • J. R. Searle
  • 1995
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…