The Community for Technology Leaders
Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Milan, Italy
Sept. 15, 2009 to Sept. 18, 2009
ISBN: 978-0-7695-3801-3
pp: 145-152
ABSTRACT
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.
INDEX TERMS
CITATION
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
90 ms
(Ver 3.3 (11022016))