Deontic action-logic multi-agent systems in Prolog

This work describes the process of implementing a particular kind of multi-agent system called Deontic Action-Logic-based Multi-Agent Systems, DALMAS, in Prolog. The DALMAS is regulated by a normative system which is based on the Kanger-Lindahl theory of normative positions. The algebraic model for the DALMAS is inspected and instrumentalized through an executable logic program. In particular, important issues in the transition from a set-theoretical description to a Prolog implementation are discussed. Results include a general-level Prolog implementation, which may be freely used to implement specific systems. Two such systems have already been implemented and tested, and are described and discussed here.This report is originally a thesis work for degree of Master of Science in Computer Science at Uppsala University. The thesis was written and presented under the author's former name, Magnus Blom.