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. van der Torre, M. M. Dastani, J-J. Ch. Meyer, N. A. M. Tinnemeier, "Programming Normative Artifacts with Declarative Obligations and Prohibitions", Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, vol. 02, no. , pp. 145-152, 2009, doi:10.1109/WI-IAT.2009.144