A fully abstract model for the exchange of information in multi-agent systems

Theoretical Computer Science

Volumn 290, Issue 3, 2003, Pages 1753-1773

  de Boer, Frank S ^a   van Eijk, Rogier M ^a   van der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Agent communication languages; Constraint programming; Exchange of information; Failure semantics; Full abstractness

Indexed keywords

COMPUTATION THEORY; COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT THEORY; SEMANTICS;

AGENT COMMUNICATION LANGUAGES; CONSTRAINT PROGRAMMING; EXCHANGE OF INFORMATION; FAILURE SEMANTICS; FULL ABSTRACTNESS;

MULTI AGENT SYSTEMS;

EID: 85009168812     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00078-6     Document Type: Article

References (24)

1. [1] Austin, J.L., How to do Things with Words, 1962, Oxford University Press, Oxford.
2. [2] Bergstra, J.A., Klop, J.W., Process algebra for synchronous communication. Inform. and Control 60 (1984), 109–137.
3. [3] Bergstra, J.A., Klop, J.W., Olderog, E.-R., Readies and failures in the algebra of communicating processes. SIAM J. Comput. 17 (1988), 1134–1177.
4. [4] Brim, L., Gilbert, D., Jacquet, J.-M., Křetı́nský, M., A process algebra for synchronous concurrent constraint programming. Hanus, M., Rodriquez-Artalejo, M., (eds.) Proc. 5th Conf. Algebraic and Logic Programming, Lecture Notes in Computer Science, Vol. 1139, 1996, Springer, Berlin, 165–178.
5. [5] Brookes, S.D., Hoare, C.A.R., Roscoe, W., A theory of communicating sequential processes. J. ACM 31 (1984), 499–560.
6. [6] de Boer, F.S., Palamidessi, C., A fully abstract model for concurrent constraint programming. Proc. Fourth Internat. Joint Conf. Theory and Practice of Software Development (TAPSOFT), Lecture Notes in Computer Science, Vol. 493, 1991, Springer, Berlin, 296–319.
7. [7] de Boer, F.S., van Eijk, R.M., van derHoek, W., Meyer, J.-J.Ch., Failure semantics for the exchange of information in multi-agent systems. Palamidessi, C., (eds.) Proc. 11th Internat. Conf. Concurrency Theory (CONCUR 2000), Lecture Notes in Computer Science, Vol. 1877, 2000, Springer, Heidelberg, 214–228.
8. [8] Finin, T., McKay, D., Fritzson, R., McEntire, R., KQML: An information and knowledge exchange protocol. Fuchi, K., Yokoi, (eds.) Knowledge Building and Knowledge Sharing, 1994, Ohmsha and IOS Press, Amsterdam.
9. [9] Halpern, J.Y., Moses, Y., A guide to the completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54 (1992), 319–379.
10. [10] Henkin, L., Monk, J.D., Tarski, A., Cylindric Algebras (Part I), 1971, North-Holland, Amsterdam.
11. [11] Hoare, C.A.R., Communicating sequential processes. Commun. ACM 21:8 (1978), 666–677.
12. [12] Pitt, J., Mamdani, A., Some remarks on the semantics of FIPA's agent communication language. Autonomous Agents and Multi-Agent Systems 2:4 (1999), 333–356.
13. [13] Reiter, R., On closed world data bases. Gaillaire, H., Minker, J., (eds.) Logic and Data Bases, 1978, Plenum Press, New York, 55–76.
14. [14] Réty, J.-H., Distributed concurrent constraint programming. Fund. Inform. 34:3 (1998), 323–346.
15. [15] V.A. Saraswat, M. Rinard. Concurrent constraint programming, in: Proc. 17th ACM Symp. Principles of Programming Languages (POPL’90), 1990, pp. 232–245.
16. [16] V.A. Saraswat, M. Rinard, P. Panangaden, Semantic foundations of concurrent constraint programming, in: Proc. 18th ACM Symp. Principles of Programming Languages (POPL’91), 1991, pp. 333–352.
17. [17] Searle, J.R., Speech Acts: An Essay in the Philosophy of Language, 1969, Cambridge University Press, Cambridge.
18. [18] van Breughel, F., Failures, finiteness and full abstraction. Brookes, S., Mislove, M., (eds.) Proc. Thirteenth Conf. Mathematical Foundations of Programming Semantics Electronic Notes in Theoretical Computer Science, Vol. 6, 1997, Elsevier, New York.
19. [19] van Eijk, R.M., de Boer, F.S., van derHoek, W., Meyer, J.-J.Ch., Systems of communicating agents. Prade, Henri, (eds.) Proc. 13th Biennial European Conf. Artificial Intelligence (ECAI’98), 1998, Wiley, Chichester, United Kingdom, 293–297.
20. [20] R.M. van Eijk, F.S. de Boer, W. van derHoek, J.-J.Ch. Meyer, Information-passing and belief revision in multi-agent systems, in: J.P.M. M üller, M.P. Singh, A.S. Rao (Eds.), Intelligent Agents V, Proc. 5th Internat. Workshop on Agent Theories, Architectures, and Languages (ATAL’98), Lecture Notes in Artificial Intelligence, Vol. 1555, Springer, Heidelberg, 1999.
21. [21] van Eijk, R.M., de Boer, F.S., van derHoek, W., Meyer, J.-J.Ch., Open multi-agent systems: Agent communication and integration. Jennings, N.R., Lespèrance, Y., (eds.) Intelligent Agents VI, Proc. 6th Internat. Workshop on Agent Theories, Architectures, and Languages (ATAL’99), Lecture Notes in Artificial Intelligence, Vol. 1757, 2000, Springer, Heidelberg, 218–232.
22. [22] van Eijk, R.M., de Boer, F.S., van derHoek, W., Meyer, J.-J.Ch., On dynamically generated ontology translators in agent communication. Internat. J. Intell. Systems 16:5 (2001), 587–607.
23. [23] Wooldridge, M., Verifiable semantics for agent communication languages. Proc. 3rd Internat. Conf. Multi-Agent Systems (ICMAS’98), 1998, IEEE Computer Society, Los Alamitos, California, 349–356.
24. [24] Wooldridge, M., Jennings, N., Intelligent agents: theory and practice. The Knowledge Eng. Rev. 10:2 (1995), 115–152.