Abstract
Searle and Vanderveken’s model of speech acts is undoubtedly an adequate model for the design of communicating agents because it offers a rich theory which can give important properties of protocols that we can formalize properly. We examine this theory by focusing on the two fundamentals notions, success and satisfaction, which represent a systematic, unified account of both the truth and the success conditional aspects. Then, we propose an adequate formalism-the situation calculus-for representing these two notions (in a recursive way) in the context of agent communication language. The resulting framework is finally used for (1) the analysis and interpretation of speech acts; (2) the semantics and descriptions of agent communication languages.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. F. Allen and C. R. Perrault. Analysing intention in utterances. Artificial Intelligence, 15(3):143–178, 1980.
J. L. Austin. How to Do Things With Words. Oxford University Press: Oxford, England, 1962.
K. Bach and R. M. Harnich. Linguistic Communication and Speech Acts. MIT Press: Cambridge,MA, 1979.
B. Chaib-draa. On the success and satisfaction of speech acts for computational agents. Rapport DIUL-RR-9409, Département d’Informatique, Université Laval, 1994.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
F. Dignum. Social interactions of autonomous agents; private and global views on communications. In ModelAge’97 Workshop. 1997.
C. G. Jung. Emergent mental attitudes in layered agents. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.
Y. Labrou and T. Finin. semantics and conversations for an agent communication language. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97). Nagao, Japan, 1997.
F. Lin and R. Reiter. State constraints revised. Journal of Logic and computation. Special Issue on Actions and Process, 1994.
J. McCarty and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, Vol. 4, pages 463–502. Edinburgh University Press, 1969.
R. C. Moore. A formal theory of knowledge and action. Report no. CSLI-85-31, Center for the Study of Language and Information, Menlo Park, CA, 1985.
M. Móra, J. G. Lopes, R. Viccari, and H. Coelho. BDI models and systems: reducing the gap. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.
M. E. Pollack. Plan as complex mental attitudes. In Morgan J. Cohen, P. R. and M. E. Pollack, editors, Intentions in Communication, pages 77–103. MIT Press, 1990.
R. Reiter. Knowledge in Action: Logical Foundation for Describing and Implementing Dynamical Systems. Unpub. Draft, CS Departement Toronto University, 1996.
R. Scherl. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 689–695, Washington DC, 1993.
K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.
J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press: Cambridge, England, 1969.
J. R. Searle and D. Vanderveken. Foundations of Illocutionary Logic. Cambridge University Press: Cambridge, England, 1985.
M. P. Singh. On the semantics of protocols among distributed intelligent agents. Report DFKI-TMI-91-09, DFKI The German Research Center for AI, 1991.
D. Vanderveken. Meaning and Speech Acts: Formal Semantics of Success and Satisfaction. Cambridge University Press: Cambridge,England, 1990.
D. Vanderveken. Meaning and Speech Acts: Principles of Language Use. Cambridge University Press: Cambridge, England, 1990.
G. H. vonWright. Deontic logic. Mind, 60:1–15, 1951.
S. T. C. Wong. COSMO: a communication scheme for cooperative knowledge-based systems. IEEE Transactions on Systems, Man and Cybernitics, 23(3):809–824, 1993.
M. J. Wooldridge and S. D. Parsons. Intention reconsideration reconsidered. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chaib-draa, B., Vanderveken, D. (1999). Agent Communication Language: Towards a Semantics based on Success, Satisfaction, and Recursion. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_24
Download citation
DOI: https://doi.org/10.1007/3-540-49057-4_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65713-2
Online ISBN: 978-3-540-49057-9
eBook Packages: Springer Book Archive