A logic for normative multi-agent programs

作者：Dastani Mehdi^*; Meyer John Jules Ch; Grossi Davide

来源：Journal of Logic and Computation, 2013, 23(2): 335-354.

DOI：10.1093/logcom/exr026

• Multi-agent systems
• normative systems
• logic
• Programming
• semantics
• counts-as rules

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.

• 出版日期2013-4