×

A logic for normative multi-agent programs. (English) Zbl 1262.68163

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.

MSC:

68T27 Logic in artificial intelligence
68T42 Agent technology and artificial intelligence

Software:

ISLANDER
PDFBibTeX XMLCite
Full Text: DOI Link