Abstract
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in particular a BDI-like architecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics formalised for abstract versions only, neglecting practical aspects such as communication primitives; this means that, at least in what concerns communication, implementations of BDI programming languages have been ad hoc. This paper tackles, however preliminarily, both these problems by giving semantics to speech-act based messages received by an AgentSpeak(L) agent. AgentSpeak(L) is a BDI, agent-oriented, logic programming language for which interpreters have been developed, and its theoretical foundations are of great interest. Our work here builds upon a structural operational semantics to AgentSpeak(L) that we have given in previous work. The contribution of this paper is two-fold: we here extend our earlier work on providing a solid theoretical background on which to base existing implementations of AgentSpeak(L) interpreters, as well as we shed light on a more computationally grounded approach to giving semantics for some key illocutionary forces used in speech-act based agent communication languages.
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
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, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decisiontheoretic task scheduling. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, New York, July 15-19, pp. 1294–1302. ACM Press, New York (2002)
Bordini, R.H., Visser, W., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking multi-agent programs with CASP. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 110–113. Springer, Heidelberg (2003)
Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Michael, W., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, New York, July 14-18, pp. 409–416. ACM Press, New York (2003)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8, 293–343 (1998)
Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Meyer, J.J.C., Wooldridge, M.J. (eds.) Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 22-25, pp. 45–59 (2002)
Bordini, R.H., Moreira, Á.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002), Copenhagen, Denmark, August 1. Electronic Notes in Theoretical Computer Science, vol. 70(5), Elsevier, Amsterdam (2002)
Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence (2003); Accepted for publication in a Special Issue on Computational Logic in Multi-Agent Systems
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31, 40–47 (1998)
Wooldridge, M.: Computationally grounded theories of agency. In: Durfee, E. (ed.) Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), Boston, Los Alamitos, CA, July 10-12, pp. 13–20. IEEE Computer Society, Los Alamitos (2000)
Labrou, Y., Finin, T.: A semantics approach for KQML—a general purpose communication language for software agents. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM 1994), ACM Press, New York (1994)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Wooldridge, M.: Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3, 9–31 (2000)
de Boer, F.S., van Eijk, R.M., Van Der Hoek, W., Meyer, J.J.C.: Failure semantics for the exchange of information in multi-agent systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 214–228. Springer, Heidelberg (2000)
van Eijk, R.M., de Boer, F.S., Van Der Hoek, W., Meyer, J.J.C.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems 6, 185–219 (2003)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)
Austin, J.L.: How to Do Things with Words. Oxford University Press, London (1962)
Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Levinson, S.C.: The essential inadequacies of speech act models of dialogue. In: Parret, H., Sbisa, M., Verschuren, J. (eds.) Possibilities and limitations of pragmatics: Proceedings of the Conference on Pragmatics at Urbino, Benjamins, Amsterdam, July 1979, pp. 473–492 (1981)
Ballmer, T.T., Brennenstuhl, W.: Speech Act Classification: A Study in the Lexical Analysis of English Speech Activity Verbs. Springer, Berlin (1981)
Singh, M.P.: Multiagent Systems—A Theoretic Framework for Intentions, Know- How, and Communications. LNCS, vol. 799. Springer, Heidelberg (1994)
Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Agents’ World, Paris, Washington, July 4-7, pp. 72–79. IEEE Computer Society Press, Los Alamitos (1998)
Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers c-29, 1104–1113 (1980)
Genesereth, M.R., Ketchpel, S.P.: Software agents. Communications of the ACM 37, 48–53 (1994)
Mayfield, J., Labrou, Y., Finin, T.: Evaluation of KQML as an agent communication language. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol. 1037, pp. 347–360. Springer, Heidelberg (1996)
Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, pp. 221–255. MIT Press, Cambridge (1990)
Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI model with cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling interactions using social integrity constraints: a resource sharing case study. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 243–262. Springer, Heidelberg (2004)
Clark, K.L., McCabe, F.G.: Go! for multi-threaded deliberative agents. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 54–75. Springer, Heidelberg (2004)
Castaldi, M., Constantini, S., Gentile, S., Tocchio, A.: A logic-based infrastructure for reconfiguring applications. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 17–36. Springer, Heidelberg (2004)
Hübner, J.F.: Um Modelo de Reorganização de Sistemas Multiagentes. PhD thesis, Universidade de São Paulo, Escola Politécnica (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moreira, Á.F., Vieira, R., Bordini, R.H. (2004). Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-25932-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22124-1
Online ISBN: 978-3-540-25932-9
eBook Packages: Springer Book Archive