Abstract
Research about the semantics of agent communication languages traditionally sees the opposition between the mentalist and social approaches. In this paper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This semantics relaxes the criticized constraints imposed in FIPA-ACL and also extends this standard with new speech acts and new institutional features to characterise them. It has been implemented in an extension of the Semantic Add-on for the JADE agent development platform, and used in an industrial application in the context of automated B2B exchanges.
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
Boella, G., Damiano, R., Hulstijn, J., van der Torre, L.: Role-based semantics for agent communication: embedding of the ’mental attitudes’ and ’social commitments’ semantics. In: AAMAS 2006, Hakodate, Hokkado, Japon (2006)
Bourge, F., Picant, S., Adam, C., Louis, V.: A multi-agent mediation platform for automatic b2b exchanges. In: ESAW 2008 (2008) (demonstration)
Broersen, J., Dastani, M., van der Torre, L.: Beliefs, obligations, intentions, and desires as components in an agent architecture. International Journal of Intelligent Systems 20(9), 893–919 (2005)
Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Burgess, J.: Logic and time. The Journal of Symbolic Logic 44(4), 566–582 (1979)
Burgess, J.: Basic tense logic. In: Handbook of philosophical logic, 2nd edn., vol. 7, pp. 1–42. Kluwer Academic Publishers, Dordrecht (2002)
Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: ICMAS 1995, San Francisco, pp. 41–48 (1995)
Chaib-draa, B., Labrie, M.-A., Bergeron, M., Pasquier, P.: Diagal: An agent communication language based on dialogues games and sustained by social commitments. Journal of Autonomous Agent and Multi-Agent Systems 13, 61–95 (2006)
Demolombe, R., Bretier, P., Louis, V.: Norms with deadlines in dynamic deontic logic. In: ECAI 2006, pp. 751–752 (2006)
Demolombe, R., Louis, V.: Norms, institutional power and roles: towards a logical framework. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 514–523. Springer, Heidelberg (2006)
Demolombe, R., Louis, V.: Speech acts with institutional effects in agent societies. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 101–114. Springer, Heidelberg (2006)
Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: HICSS, vol. 5, pp. 186–195. IEEE Computer Society, Los Alamitos (1998)
Dignum, F., Morley, D., Sonenberg, E., Cavedon, L.: Towards socially sophisticated bdi agents. In: ICMAS 2000, pp. 111–118 (2000)
Dignum, F., Weigand, H.: Communication and deontic logic. In: Wieringa, R., Feenstra, R. (eds.) Information Systems, correctness and reusability, pp. 242–260. World Scientific, Singapore (1995)
Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Int. conf. Information and knowledge management (1994)
FIPA. The foundation for intelligent physical agents, http://www.fipa.org
Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence 18(9-10), 853–866 (2004)
Gaudou, B., Herzig, A., Longin, D., Nickles, M.: A new semantics for the fipa agent communication language based on social attitudes. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, pp. 245–249. IOS Press, Amsterdam (2006)
Gaudou, B., Longin, D., Lorini, E., Tummolini, L.: Anchoring institutions in agents’ attitudes: towards a logical framework for autonomous multi-agent systems. In: AAMAS 2008 (2008)
Jones, A., Carmo, J.: Deontic Logic and Contrary-to-duties. In: Handbook of philosophical logic, vol. 8, pp. 265–343. Kluwer Academic Publishers, Dordrecht (2002)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the interest group in pure and applied logics 4(3) (1996)
Lorini, E., Longin, D., Gaudou, B.: The institutional dimension of speech acts: a logical approach based on the concept of acceptance. Research report, IRIT (2008)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: KR 1991 (1991)
Sadek, D.: A study in the logic of intention. In: KR 1992 (1992)
Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge Univ. Press, Cambridge (1969)
Singh, M.: An ontology for commitments in multiagent systems: Towards a unification of normative concepts (1999)
Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)
Wooldridge, M.: Reasoning about rational agents. MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adam, C., Herzig, A., Longin, D., Louis, V. (2010). Unifying the Intentional and Institutional Semantics of Speech Acts. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds) Declarative Agent Languages and Technologies VII. DALT 2009. Lecture Notes in Computer Science(), vol 5948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11355-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-11355-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11354-3
Online ISBN: 978-3-642-11355-0
eBook Packages: Computer ScienceComputer Science (R0)