Abstract
This paper outlines a constraint-based agent specification framework and demonstrates its utility in designing and implementing a Multi-Agent Stock Brokering System (MABS). We present first an extension of the BDI agent programming language AgentSpeak(L) which incorporates constraints as first-class objects. We then describe the specification (and implementation) of MABS using this new language, AgentSpeak(L)+C. Our results suggest that the integration of constraints in a high-level agent specification language yields significant advantages in terms of both expressivity and efficiency.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
d’lnverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal spec. of dMARS, Tech. Rep. 72, Australian Art. Intell. Inst., Mel., Aust. (November 1997)
d’Inverno, M., Luck, M.: A formal specification of AgentSpeak(L). Journal of Logic and Computation 8(3), 233–260 (1998)
Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19(20), 503–581 (1994)
Kinny, D., Georgeff, M.: Modeling and design of multi-agent systems. In: Intelligent Agents III. LNCS (LNAI).Springer, Berlin (1997)
Morley, D.: Semantics of BDI agents and their environment. Tech. Rep. 74, Australian Art. Intell. Institute, Mel., Aust. (May 1996)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS(LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings of First International Conference on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, June 1995, pp. 312–319 (1995)
van Hentenryck, P.: Constraint Satisfaction Using Constraint Logic Programming. Artificial Intelligence 58, 113–159 (1992)
van Hentenryck, P., Deville, Y.: Operational semantics of constraint logic programming over finite domains. In: Małuszyński, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol. 528, pp. 395–406. Springer, Heidelberg (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ooi, B.H., Ghose, A.K. (1999). Constraint-Based Agent Specification for a Multi-agent Stock Brokering System. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_45
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive