| 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 |
|---|