Title: Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study
Authors: Mikhail Prokopenko and Marc Butler
Series: Linkping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 4 (1999), No. 039
URL: http://www.ep.liu.se/ea/cis/1999/039/

Abstract: The paper describes a hierarchy of logic-based agent architectures and proposes a framework for formalising tactical reasoning in dynamic multi-agent systems populated by synthetic (software) agents. We first consider basic types of situated agent architectures and their corresponding action theories. Then more complex tactical agent architectures suitable for high-level reasoning are formally defined. This approach is expressive enough to capture a subset of desirable properties from both the situated automata and subsumption-style architectures, while retaining the rigour and clarity of logic-based representation. In addition, it allows us to systematically and uniformly embed reactive plans, ramifications, task-oriented and, potentially, goal-directed behaviour. The framework is successfully realised in the RoboCup Simulation League domain.

Original publication 1999-12-22 Postscript part I -- Checksum
Checksum (old) Information about recalculation of checksum
Postscript part II -- Checksum II
Checksum II
(old) Information about recalculation of checksum