Semantics of agent communication: An introduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2403, Issue , 2002, Pages 152-168

  van Eijk, Rogier M ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; MESSAGE PASSING; SEMANTICS;

AGENT COMMUNICATIONS; COMMUNICATION HISTORY; COMMUNICATION LAYERS; CONCURRENT AND DISTRIBUTED SYSTEMS; CONCURRENT CONSTRAINT PROGRAMMING; DENOTATIONAL APPROACH; SEMANTICS OF PROGRAMMING LANGUAGES; SPECIFICATION AND VERIFICATION;

MULTI AGENT SYSTEMS;

EID: 84942775734     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45634-1_10     Document Type: Conference Paper

References (47)

1. G. Agha. Concurrent object-oriented programming. Communications of the ACM, 33(9):125-141, 1990.
2. G. Agha, P. Wegner, and X Yonezawa. Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, Massachusetts, 1993.
3. P.H.M. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1:366-411, 1989.
4. G.R. Andrews. Concurrent Programming, Principles and Practice. The Benjamin Cummings Publishing Company, Inc., Redwood City, California, 1991.
5. J.L. Austin. How to do Things with Words. Oxford UniversityPress, Oxford, 1962.
6. J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating processes. SIAM Journal on Computing, 17:1134-1177, 1988.
7. A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2:39-59, 1984.
8. A.H Bond and L. Gasser. Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 1988.
9. F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS’95), pages 25-32. MIT Press, 1995.
10. K. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1-49, 1986.
11. E.W. Dijkstra. Solution of a problem in concurrent programming control. Communications of the ACM, 8(9):569, 1965.
12. E.W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43-112. Academic Press, New York, 1968.
13. R.M. van Eijk. Programming Languages for Agent Communication. PhD thesis, Utrecht University, Mathematics and Computer Science, 2000.
14. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Information-passing and belief revision in multi-agent systems. In J. P. M.Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V, Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL’98), volume 1555 of Lecture Notes in Artificial Intelligence, pages 29-45. Springer-Verlag, Heidelberg, 1999.
15. R.M. van Eijk, F.S. de Boer, W. van der Hoek and J.-J.Ch Meyer. On dynamically generated ontologytranslators in agent communication. International Journal of Intelligent Systems, 16(5):587-607, 2001.
16. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Fully-abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science. To appear, 2002.
17. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems. To appear, 2002.
18. T. Finin, D. McKay, R. Fritzson, and R. McEntire. KQML: An Information and Knowledge Exchange Protocol. In Kazuhiro Fuchi and Toshio Yokoi, editors, Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press, 1994.
19. Foundation For Intelligent Physical Agents FIPA. Specification part 2 -agent communication language. Version dated 10th October 1997, 1997.
20. M. Fisher.Asurveyof concurrent MetateM-the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL’94), volume 827 of Lecture Notes in Computer Science, pages 480-505. Springer-Verlag, 1994.
21. P. Gibbens. Logic with Prolog. Oxford Applied Mathematics and Computing Science Series. Oxford UniversityPress, New York, 1988.
22. M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In F. Dignum and M. Greaves, editors, Issues in Agent Communication, volume 1916 of Lecture Notes in Artificial Intelligence, pages 118-131. Springer-Verlag, Heidelberg, 2000.
23. F. Guerin and J. Pitt. A semantic framework for specifying agent communication languages. In Proceedings of fourth International Conference on Multi-Agent Systems (ICMAS-2000), pages 395-396, Los Alamitos, California, 2000. IEEE Computer Society.
24. C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series. The MIT Press, Cambridge, Massachusetts, 1992.
25. C. Hewitt. Viewing control as patterns of passing messages. Artificial Intelligence, 8(3):323-364, 1977.
26. K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch Meyer. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2:357-401, 1999.
27. C.A.R. Hoare. Monitors: an operating system structuring concept. Communications of the ACM, 17(10):549-557, 1974.
28. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
29. G. Jones. Programming in Occam. Prentice-Hall International, New York, NY, 1987.
30. Y. Labrou and T. Finin. Semantics for an agent communication language. In M.P. Singh, A. Rao, and M.J. Wooldridge, editors, Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL’97), volume 1365 of Lecture Notes in Artificial Intelligence, pages 209-214. Springer-Verlag, 1998.
31. Y. Labrou, T. Finin, and Y. Peng. Agent communication languages: The current landscape. IEEE Intelligent Systems, 14(2):45-52, 1999.
32. P. Noriega and C. Sierra, editors. Agent Mediated Electronic Commerce, volume 1571 of Lecture Notes in Computer Science. Springer Verlag, 1999.
33. J. Pitt and A. Mamdani. Some remarks on the semantics of FIPA’s agent communication language. Autonomous Agents and Multi-Agent Systems, 2(4):333-356, 1999.
34. G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
35. A.S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, volume 1038 of Lecture Notes in Artificial Intelligence, pages 42-55. Springer-Verlag, 1996.
36. V.A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, Massachusetts, 1993.
37. D.A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc. Newton, Massachusetts, 1986.
38. J.R. Searle. Speech acts: An essay in the philosophy of language. Cambridge UniversityPress, Cambridge, England, 1969.
39. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
40. M.P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40-47, 1998.
41. G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324-343, Berlin, 1995. Springer-Verlag.
42. L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, Massachusetts, 1986.
43. R.D. Tennent. Semantics of Programming Languages. Prentice Hall, Hertfordshire, 1991.
44. S.R. Thomas. PLACA, an Agent Oriented Programming Language. PhD thesis, Computer Science Department, Stanford University, Stanford, CA, 1993.
45. M Wooldridge. Verifying that agents implement a communication language. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 52-57, 1999.
46. M. Wooldridge. Semantic issues in the verification of agent communication. Autonomous Agents and Multi-Agent Systems, 3(1):9-31, 2000.
47. M. Wooldridge and N. Jennings. Intelligent agents: theoryand practice. The Knowledge Engineering Review, 10(2):115-152, 1995.