A Simplified Calculus for Situated Multi-Agent Systems
Chrysafis Hartonas · 2003
This paper continues, simplifies and improves on previous work presented by this author in [5]. We present a process-algebraic approach to multi-agent systems, situated in some environment (workspace). Agent states are characterized by (1) a belief state, (2) a goal (desire, need) state and (3) a capabilities state. Capabilities are determined by a subspace of the workspace the agent lives in, and they are represented in the agent state as a collection of types of objects (tools, in the agent's workspace) the agent has the expertise (or permission) to use. As in [5], workspaces are viewed as certain kinds of collections of objects. We use a simple model of objects as records and, therefore, of workspaces and thus we only deal in this report with deterministic environments.