Abstract:
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.
Published Date: May 1999
Registration: ISBN 978-1-57735-080-4
Copyright: Published by The AAAI Press, Menlo Park, California.