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

In this paper,11This paper is an extended version of [7]. 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 programmin...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 290; no. 3; pp. 1753 - 1773
Main Authors: de Boer, Frank S., van Eijk, Rogier M., van der Hoek, Wiebe, Meyer, John-Jules Ch
Format: Journal Article
Language:English
Published: Amsterdam Elsevier B.V 03.01.2003
Elsevier
Subjects:
Agent communication languages
Applied sciences
Computer science; control theory; systems
Constraint programming
Exact sciences and technology
Exchange of information
Failure semantics
Full abstractness
Language theory and syntactical analysis
Mathematical programming
Operational research and scientific management
Operational research. Management science
Theoretical computing
Agent communication languages
Failure semantics
Constraint programming
Exchange of information
Full abstractness
Encapsulation
Action
Paradigm
Information system
Operational semantics
Constraint
Concurrent
Programming
Information
Communication process
Synchronous
Sequential
Communicating sequential process
Semantics
Information exchange
Failure
Communication
Formal language
Communicating sequential processes
Use
Abstraction
Failures
Constrained optimization
Communicating process
Programming language
Agent communication language
Models
Technique
Artificial intelligence
Information theory
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper,11This paper is an extended version of [7]. 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.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(02)00078-6