Treffer: Information-passing and belief revision in multi-agent systems
Title:
Information-passing and belief revision in multi-agent systems
Authors:
Source:
ATAL '98 : intelligent agents V : agent theories, architectures, and languages (Paris, 4-7 July 1998)Lecture notes in computer science. :29-45
Publisher Information:
Berlin: Springer, 1999.
Publication Year:
1999
Physical Description:
print, 25 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Intelligence artificielle, Artificial intelligence, Apprentissage et systèmes adaptatifs, Learning and adaptive systems, Processus séquentiel communicant, Communicating sequential process, Proceso secuencial comunicante, Programmation orientée objet, Object-oriented programming, Représentation connaissances, Knowledge representation, Representación conocimientos, Système intelligent, Intelligent system, Sistema inteligente, Système multiagent, Multiagent system, Sistema multiagente, Sémantique opérationnelle, Operational semantics, Semantica operacional, Programmation concurrente par contrainte, Concurrent constraint programming
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Utrecht University, Department of Computer Science P.O. Box 80.089, 3508 TB Utrecht, Netherlands
ISSN:
0302-9743
Rights:
Copyright 1999 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.1576962
Database:
PASCAL Archive
Weitere Informationen
We define a programming language for multi-agent systems in which agents interact with a common environment and cooperate by exchanging their individual beliefs on the environment. In handling the information they acquire, the agents employ operations to expand, remove and update their individual belief bases. The overall framework, which generalises traditional concurrent programming concepts, is parameterised by an information system of constraints. Such a system is used to represent the environment as well as the beliefs of the agents. We give the syntax of the programming language and develop an operational semantics in terms of a transition system.