We de ne 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.
Abduction serves to obtain proposals in reply to requests.
Springer, to appear. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Springer, to appear. Doc 13 Foundations of a logical approach to agent programming - Lesp, Levesque et al. Doc 6 Systems of communicating agents - van Eijk, de Boer et al.