jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems

Authors:
Magnus Hjelmblom;Jan Odelstad
Affiliations:
Department of Mathematics, Natural and Computer Sciences, University of Gävle, Gävle, Sweden SE-801 76;Department of Mathematics, Natural and Computer Sciences, University of Gävle, Gävle, Sweden SE-801 76
Venue:
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Year:
2009

Citing 4
Cited 0

A computational theory of normative positions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Impact: A Platform for Collaborating Agents

IEEE Intelligent Systems
Algebras for Agent Norm-Regulation

Annals of Mathematics and Artificial Intelligence
Introduction to normative multiagent systems

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

A norm-regulated Deontic Action-Logic Multi-Agent System (DALMAS) is regulated by a normative system consisting of norms, which are expressed in an algebraic notation based on the Kanger-Lindahl theory of normative positions. A general-level Prolog implementation of the abstract DALMAS architecture makes it possible to implement specific systems in Prolog. This work describes jDALMAS, a Java library that may be used to create DALMAS applications in Java. A jDALMAS application has a client/server architecture, where a Prolog implementation of a specific system acts as a logic server. Together, the general-level Prolog implementation and the jDALMAS packages offer a framework for implementation of specific systems. Two examples of such implementations are presented here.