Information-Passing and Belief Revisionin Multi-agent Systems

  • Rogier M. van Eijk
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Conference paper

DOI: 10.1007/3-540-49057-4_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1555)
Cite this paper as:
van Eijk R.M., de Boer F.S., van der Hoek W., Meyer JJ.C. (1999) Information-Passing and Belief Revisionin Multi-agent Systems. In: Müller J.P., Rao A.S., Singh M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Rogier M. van Eijk
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Department of Computer ScienceUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations