Abstract
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FIPA Agent Communication Language.
The most important feature is that the illocutionary force of all of these speech acts is declarative. The formal language that is proposed to represent the propositional content has a large expressive power and therefore allows to represent a large variety of speech acts such as: to empower, to appoint, to order, to declare,...etc.
The same formal language is also used to express the feasibility preconditions, the illocutionary effects and the perlocutionary effects.
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., Hulstin, J., Tan, Y.-H., van der Torre, L.: Transaction trust in normative multi agent systems. In: AAMAS Workshop on Trust in Agent Societies (2005)
Carmo, J., Pacheco, O.: Deontic and action logics for collective agency and roles. In: Demolombe, R., Hilpinen, R. (eds.) Proceedings of the 5th International workshop on Deontic Logic in Computer Science, ONERA (2000)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)
Cohen, P.R., Levesque, H.: Performatives in a Rationally Based Speech Act Theory. In: Berwick, R.C. (ed.) Proc. of 28th Annual meeting of Association of Computational Linguistics, Association of Computational Linguistics (1990)
Colomb, R.M.: Information systems technology grounded on institutional facts. In: Workshop on Information Systems Foundations: Constructing and Criticising. The Australian National University, Canberra (2004)
Colombetti, M., Verdicchio, M.: An analysis of agent speech acts as institutional actions. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems, pp. 1157–1166. ACM Press, New York (2002)
Demolombe, R., Bretier, P., Louis, V.: Formalisation de l’obligation de faire avec délais. Troisièmes Journées francophones Modèles Formels de l’Interaction (2005)
Dignum, F.: Software agents and e-business, Hype and Reality. In: Wieringa, R., Feenstra, R. (eds.) Enterprise Information Systems III. Kluwer, Dordrecht (2002)
Dignum, F.P.M. (ed.): ACL 2003. LNCS, vol. 2922. Springer, Heidelberg (2004)
Dignum, F., Weigand, H.: Communication and Deontic Logic. In: Wieringa, R., Feenstra, R. (eds.) Information Systems, Correctness and Reusability. World Scientific, Singapore (1995)
Elgesem, D.: Action Theory and Modal Logic. PhD thesis, University of Oslo, Department of Philosophy (1992)
El Fallah-Seghrouchni, A., Lemaître, C.: A framework for social agents’ interaction based on communicative action theory and dynamic deontic logic. In: Coello Coello, C.A., de Albornoz, Á., Sucar, L.E., Battistutti, O.C. (eds.) MICAI 2002. LNCS, vol. 2313, p. 340. Springer, Heidelberg (2002)
Firozabadi, B.S., Sergot, M.: Power and Permission in Security Systems. In: Malcolm, J.A., Christianson, B., Crispo, B., Roe, M. (eds.) Security Protocols 1999. LNCS, vol. 1796. Springer, Heidelberg (2000)
Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer, Dordrecht (1998)
Flores, R., Pasquier, P., Chaib-draa, B.: Conversational semantics with social commitments. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS, vol. 3396, pp. 18–32. Springer, Heidelberg (2005)
Foundation for Intelligent Physical Agents. FIPA Communicative Act Library Specification. Technical report (2002), http://www.fipa.org/specs/fipa00037/
Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: Proceedings of the second international joint conference on Autonomous Agents and Multi Agent Systems, pp. 520–527. ACM Press, New York (2003)
Fornara, N., Viganò, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS, vol. 3396, pp. 1–17. Springer, Heidelberg (2005)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, Reidel (1984)
Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)
Kimbrough, S.O., Moore, S.A.: On automated message processing in Electronic Commerce and Work Support Systems: Speech Act Theory and Expressive Felicity. ACM Transactions on Information Systems 15(4) (1997)
Kimbrough, S.O., Tan, Y.-H.: On lean messaging with unfolding and unwrapping for Electronic Commerce. International Journal of Electronic Commerce 5(1) (2000)
Louis, V.: Conception et mise en oeuvre de modèles formels du calcul et du suivi de plans d’actions complexes par un agent rationnel dialoguant. PhD thesis, Université de Caen, France (2002)
McCarthy, J.: Free will - even for robots. Journal of Experimental and Theoretical Artificial Intelligence (to appear)
Sadek, D.: A study in the logic of intention. In: Proc. of the 3rd Conference on Principles of Knowledge Representation and Reasoning (KR 1992) (1992)
Searle, J.R.: Speech Acts: An essay in the philosophy of language. Cambridge University Press, New York (1969)
Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1984)
Segerberg, K.: Some Meinong/Chisholm thesis. In: Segerberg, K., Sliwinski, K. (eds.) Logic, Law, Morality. A festrichft in honor of Lennart Aqvist, vol. 51, pp. 67–77. Uppsala Philosophical Studies (2003)
Singh, M.P.: Social and psychological commitments in multiagent systems. In: AAAI Fall Symposium on Knowledge and Action at Social and Organizational Levels (1991)
Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31–45. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R., Louis, V. (2006). Speech Acts with Institutional Effects in Agent Societies. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_10
Download citation
DOI: https://doi.org/10.1007/11786849_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)