Dastani, Mehdi; Meyer, John-Jules Ch.; Grossi, Davide A logic for normative multi-agent programs. (English) Zbl 1262.68163 J. Log. Comput. 23, No. 2, 335-354 (2013). Summary: Multi-agent systems are viewed as consisting of individual agents whose behaviours are regulated by an organization-oriented normative artefact. This article presents a simplified version of a programming language that is designed to implement normative artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language. Cited in 1 Document MSC: 68T27 Logic in artificial intelligence 68T42 Agent technology and artificial intelligence Keywords:multi-agent systems; normative systems; logic; programming; semantics; counts-as rules Software:ISLANDER PDFBibTeX XMLCite \textit{M. Dastani} et al., J. Log. Comput. 23, No. 2, 335--354 (2013; Zbl 1262.68163) Full Text: DOI Link