Abstract
Autonomy is largely accepted as a major distinctive characteristic of agents with respect of other computation models. This is one of the main reasons why the agent community has been investigating from different perspectives constraints and the tight relationship between autonomy and constraints. In this paper, we take the software engineering standpoint and we exploit the results of the research on constraint programming to provide the developer with a set of tools for the realization of constraint-based multiagent systems. In detail, the purpose of this paper is twofold. In the first part it presents a model that regards multiagent systems in terms of constraint programming concepts. This model comprises an abstract picture of what a multiagent system is from the point of view of constraint programming and a language for modeling agents as solvers of constraint satisfaction and optimization problems. The second part of this paper describes an implemented toolkit that exploits this model to support the developer in programming and deploying constraint-based multiagent systems. This toolkit consists of a compiler and a runtime platform.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bartak, F.: Constraint programming – What is behind? In: Procs. Int’l. Workshop on Constraint Programming in Decision and Control (1999)
Castelfranchi, C.: Guarantees for autonomy in cognitive agent architecture. In: Intelligent Agents. Springer, Heidelberg (1995)
Franklin, S., Graesser, A.: Is it an agent, or just a program? In: Procs. ECAI 1996 Workshop on Agent Theories, Architectures, and Languages, pp. 21–36. Springer, Heidelberg (1997)
Freuder, E.C.: In pursuit of the holy grail. Constraints 1(2) (1999)
Hansson, S.-O.: A Textbook of Belief Dynamics. Kluwer Academic publishers, Dordrecht (1997)
Henz, M., Smolka, G., Würtz, J.: Oz – A programming language for multi-agent systems. In: Bajcsy, R. (ed.) Procs. 13th Int’l. Joint Conference on Artificial Intelligence, vol. 1, pp. 404–409. Morgan Kaufmann Publishers, San Francisco (1993)
Mackworth, A.: Quick and clean: Constraint-based vision for situated robots. In: Procs. Int’l. Conference on Image Processing (1996)
Maher, M.J.: Logic semantics for a class of committed-choice programs. In: Procs. 4th Int’l. Conference on Logic Programming, pp. 858–876 (1987)
Newell, A.: The knowledge level. Artificial Intelligence 18, 87–127 (1982)
Pape, C.L.: Implementation of resource constraints in ILOG Schedule: A library for the development of constraint-based scheduling systems. Intelligent Systems Engineering 3(2), 55–66 (1994)
Saraswat, V.A., Rinard, M.: Concurrent constraint programming. In: Procs. 7th Annual ACM Symposium on Principles of Programming Languages (1990)
van Beek, P., Chen, X.: CPlan: A constraint programming approach to planning, pp. 585–590. AAAI/IAAI (1999)
Wooldridge, M.J.: Intelligent agents. In: Weiss, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pp. 27–77. The MIT Press, Cambridge (1999)
Zambonelli, F., Parunak, V.: Towards a paradigm change in computer science and software engineering: A synthesis. The Knowledge Engineering Review (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergenti, F. (2005). A Toolkit for the Realization of Constraint-Based Multiagent Systems. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)