Deontic action-logic multi-agent systems in Prolog
Magnus Hjelmblom · Diva portal (Dalarna University Library) · 2008
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.