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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Ahonen-Jonnarth, U., Odelstad, J.: Evaluation of Simulations with Conflicting Goals with Application of Cleaning of Young Forest Stands. In: Proceedings of ISC 2006 (Fourth Annual International Industrial Simulation Conference), Palermo, Italy, June 5-7 (2006)
Alberti, et al.: Logic Based Semantics for an Agent Communication Language. DEIS Technical Report no. DEIS-LIA-03-001. LIA Series no. 62
Arisha, K.A., Ozcan, F., Ross, R., Subrahamanian, V.S., Eiter, T., Kraus, S.: IMPACT: A platform for collaborating agents. IEEE Intelligent Systems 14(2), 64–72 (1999)
Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Computation and Mathematical Organizational Theory, special issue on normative multiagent systems 12(2-3), 71–79 (2006)
Hjelmblom, M.: Deontic Action-Logic Multi-Agent Systems in Prolog. Institutionen för matematik, natur- och datavetenskap, Högskolan i Gävle (2008) ISSN 1403-8749;30, http://hig.diva-portal.org/smash/record.jsf?pid=diva2:118137
Kanger, S.: New foundations for ethical theory, Part 1 (1957). In: Holmström-Hintikka, et al. (eds.) Collected Papers of Stig Kanger With Essays on His Life and Work, pp. 99–119. Kluwer, Dordrecht (2001)
Lindahl, L.: Position and Change: A study in Law and Logic. Reidel, Dordrecht (1977)
Lindahl, L., Odelstad, J.: An Algebraic Analysis of Normative Systems. Ratio Juris 13(3), 261–278 (2000)
Lindahl, L., Odelstad, J.: Normative Positions within an Algebraic Approach to Normative Systems. Journal of Applied Logic 2, 63–91 (2004)
Odelstad, J.: Agents, Norms and Forest Cleaning. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, 07122 (2007) ISSN 1862-4405, http://drops.dagstuhl.de/portals/index.php?semnr=07122
Odelstad, J., Boman, M.: Algebras for Agent Norm-Regulation. Annals of Mathematics and Artificial Intelligence 42, 141–166 (2004)
Sergot, M.J.: A computational theory of normative positions. ACM Trans. Comput. Logic (TOCL) 2, 581–622 (2001)
SICStus Prolog User’s Manual. The Intelligent Systems Laboratory, Swedish Institute of Computer Science, Kista (2005)
Steels, L.: Cooperation between distributed agents through self organization. In: Decentralized, A.I., Demazeau, Y., Muller, J.P. (eds.) Proc. of Maamaw 1989, pp. 175–196. Elsevier Science Publisher, Amsterdam (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hjelmblom, M., Odelstad, J. (2009). jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2009. Lecture Notes in Computer Science(), vol 5559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01665-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-01665-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01664-6
Online ISBN: 978-3-642-01665-3
eBook Packages: Computer ScienceComputer Science (R0)