Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study.

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

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.
Keywords:

(Publication date not yet set) Postscript
Info from authors  
Third-party information  

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se
29-Jun-98 16:48