Abstract
This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of social commitments. We take commitment to be a primitive concept underlying the social dimension of multiagent systems, and define a basic artificial institution that provides agents with the means to affect the commitment network that binds them to each other. Two different approaches are adopted for the presentation of our proposal: a logical formalization and an operational specification.
Partially supported by Swiss National Science Foundation project 200021-100260, “An Open Interaction Framework for Communicative Agents”
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
Cohen, P., Levesque, H.: Rational interaction as the basis for communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in communication, pp. 221–256. MIT Press, Cambridge (1990)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J. (ed.) Software agents, The MIT Press, Cambridge (1995)
Foundation for Intelligent Physical Agents: FIPA 1997 Specification Part 2: Agent Communication Language (1997)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31, 40–47 (1998)
Singh, M.P.: A social semantics for agent communication languages. In: Proceedings of IJCAI 1999 Workshop on Agent Communication Languages, pp. 75–88 (1999)
Colombetti, M.: A commitment–based approach to agent speech acts and conversations. In: Proc. Workshop on Agent Languages and Communication Policies, 4th International Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, pp. 21–29 (2000)
Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Thomas, D. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), vol. 1, pp. 486–491. Morgan Kaufmann Publishers, San Francisco (1999)
Jones, A., Parent, X.: Conventional signalling acts and conversation. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 1–17. Springer, Heidelberg (2004) (to be published)
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proc. Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, Australia, pp. 528–535. ACM Press, New York (2003)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), Bologna, Italy, pp. 535–542. ACM Press, New York (2002)
Fornara, N., Colombetti, M.: Defining interaction protocols using a commitmentbased agent communication language. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proc. Second International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2003), Melbourne, Australia, pp. 520–527. ACM Press, New York (2003)
Colombetti, M., Verdicchio, M.: An analysis of agent speech acts as institutional actions. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, pp. 1157–1166. ACM Press, New York (2002)
Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
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)
Searle, J.R.: The construction of social reality. Free Press, New York (1995)
Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4, 429–445 (1996)
Emerson, E.A., Halpern, J.Y.: ‘Sometimes’ and ‘Not Never’ Revisited. Journal of the ACM 33, 151–178 (1986)
Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Vasconcelos, W.W.: Logic-based electronic institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 221–242. Springer, Heidelberg (2004)
Reichenbach, H.: Elements of Symbolic Logic. MacMillan, New York (1947)
Searle, J.R., Vanderveken, D.: Foundations of illocutionary logic. Cambridge University Press, Cambridge (1985)
Foundation for Intelligent Physical Agents: FIPA Content Language (CL) Specifications (2003), http://www.fipa.org
Ferguson, G., Allen, J., Fikes, R., Hayes, P., McDermott, D., Niles, I., Pease, A., Tate, A., Tyson, M., Waldinger, R.: A DAML ontology of time (2002), http://www.cs.rochester.edu/~ferguson/daml/
Harnad, S.: The symbol grounding problem. Physica D 42, 335–346 (1990)
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
Colombetti, M., Fornara, N., Verdicchio, M. (2004). A Social Approach to Communication in Multiagent Systems. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-25932-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22124-1
Online ISBN: 978-3-540-25932-9
eBook Packages: Springer Book Archive