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