𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Frank S. de Boer; Rogier M. van Eijk; Wiebe van der Hoek; John-Jules Ch. Meyer

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
223 KB
Volume
290
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper, 1 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 ΓΏnal global store of information.

πŸ“œ SIMILAR VOLUMES

A multi-agent system for analyzing the e
A multi-agent system for analyzing the effect of information on prediction markets
✍ Janyl Jumadinova; Prithviraj Dasgupta πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 311 KB πŸ‘ 2 views

Prediction markets have been shown to be a useful tool for forecasting the outcome of future events by aggregating public opinion about the event's outcome. In this paper, we investigate an important aspect of prediction markets-the effect of different information-related parameters on the behavior

Sherpa: a multi-agent information system
Sherpa: a multi-agent information system for the drug crime process and knowledge management
✍ Rahul Bhaskar; Parag C. Pendharkar* πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 152 KB πŸ‘ 2 views

In this paper we describe our practical experience in building a multi-agent information system (MAIS) called Sherpa. We use distributed artificial intelligence architecture to create a multi-agent information system that integrates distributed knowledge sources and information to aid decision makin

Evaluation of costs for procuring reserv
Evaluation of costs for procuring reserve capacity in a deregulated power system using multi-agent model
✍ Satoshi Suzuki; Hiroyuki Kita; Eiichi Tanaka; Jun Hasegawa πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 579 KB

## Abstract In this paper, we assume 2 models for securing reserve capacity. One is β€œCommitment‐based Security Model” and the other is β€œReserve Market‐based Security Model.” In Commitment‐based security model, ISO commits procurement of reserve energy to a particular generation company. Meanwhile,

The rabies information system β€” A model
The rabies information system β€” A model for a common information system in human and veterinary medicine
✍ H. Sinnecker; L. Apitzsch; G. Demski; G. Rasch; R. Sinnecker; U. Voigt πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science βš– 430 KB

An information system is described in the field of rabies, which realizes the integration of information streams from human medicine as well as from veterinary medicine by help of computers. This rabies information system is based on a homogeneous and coordinated system of surveillance in connection