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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theoretical computer science Ročník 290; číslo 3; s. 1753 - 1773
Hlavní autori: de Boer, Frank S., van Eijk, Rogier M., van der Hoek, Wiebe, Meyer, John-Jules Ch
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Amsterdam Elsevier B.V 03.01.2003
Elsevier
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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