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

Authors:
Frank S. de Boer;Rogier M. van Eijk;Wiebe van der Hoek;John-Jules Ch. Meyer
Affiliations:
Department of Computer Science, Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, Netherlands;Department of Computer Science, Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, Netherlands;Department of Computer Science, Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, Netherlands;Department of Computer Science, Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, Netherlands
Venue:
Theoretical Computer Science
Year:
2003

Citing 12
Cited 4

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Readies and failures in the algebra of communicating processes

SIAM Journal on Computing
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming

TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Distributed concurrent constraint programming

Fundamenta Informaticae - Special issue on foundations of constraint programming
Communicating sequential processes

Communications of the ACM
Some Remarks on the Semantics of FIPA's Agent Communication Language

Autonomous Agents and Multi-Agent Systems
A Process Algebra for Synchronous Concurrent Constraint Programming

ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Open Multi-agent Systems: Agent Communication and Integration

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Verifiable Semantics for Agent Communication Languages

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems

Semantics of Agent Communication: An Introduction

Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Argumentation-based negotiation

The Knowledge Engineering Review
Semantic models of a timed distributed dataspace architecture

Theoretical Computer Science - Formal methods for components and objects
The role of agents in intelligent mobile services

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems

Quantified Score

Hi-index	5.23

Visualization

Abstract

In this paper, we present a semantic theory for the exchange of information in multi-agent systems. We consider the multi-agent programming language agent communication programming language, which integrates the paradigms of concurrent constraint programming and communicating sequential processes (CSP). The constraint programming techniques are used to represent and process information, whereas the synchronous communication mechanism from CSP is generalised to enable the exchange of information. The semantics of the language, which is based on a generalisation of traditional failure semantics, is shown to be fully abstract with respect to observing of each terminating computation its final global store of information.