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.