Walid Chainbi, Laris Laboratory--FSEG
This paper presents a theory for multi-agent systems based on communication concepts and organization concepts. The language of formulation is a first-order, multi-modal, linear time logic. The underlying semantics of this language are labeled transition systems. An agent state is described by a triplet including beliefs, goals as communication concepts and roles as organization concepts. A transition consists of an execution step in the life-cycle of an agent. We illustrate our work with the well-known prey/predator problem.