Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Sept. 15, 2009 to Sept. 18, 2009
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.
L. v. Torre, M. M. Dastani, J. C. Meyer and N. A. Tinnemeier, "Programming Normative Artifacts with Declarative Obligations and Prohibitions," 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), Milan, Italy, 2009, pp. 145-152.