Towards a logic-based, multi-agent simulation theory
Jacinto A. Dávila, K. Tucci · 2000
. This paper introduces a multi-agent simulation theory. This theory is intended to provide a formal specification to guide the development of a multi-agent simulation platform. We are extending a mature simulation language: GLIDER [DGS96] with the abstractions required to model systems where autonomous entities (agents) perceive and act upon their environments.To achieve this, we draw directly from AI mainstream research on multi-agent theories. In particular, the unified agent architecture described in [KS96] and in [D av97], and the model of situated multi-agent systems presented in [FM96] are employed in the extended framework. Languages of diverse nature (ranging from procedural, network-oriented to logic based programming) are, we believe, an important contribution to a multi-disciplinary approach for modelling and simulation. Keywords: Multi-agent simulation, logic-based agents, influences, reactions, GLIDER. 1