Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
A Role-Based Decision-Mechanism for Teams of Reactive and Coordinating Agents
RoboCup-97: Robot Soccer World Cup I
Spatial Agents Implemented in a Logical Expressible Language
RoboCup-99: Robot Soccer World Cup III
The CMUnited-99 Champion Simulator Team
RoboCup-99: Robot Soccer World Cup III
RoboCup-99: Robot Soccer World Cup III
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Specifying Rational Agents with Statecharts and Utility Functions
RoboCup 2001: Robot Soccer World Cup V
RoboCup 2001: Robot Soccer World Cup V
RoboCup 2000: Robot Soccer World Cup IV
Qualitative Velocity and Ball Interception
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Hi-index | 0.00 |
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficient programming of low-level facilities like ball interception. With this hypothesis in mind, the development of RoboLog Koblenz has been continued. As before, the focus is laid on the declarativity of the approach. This means, agents are implemented in a logic- and rule-based manner in the high-level and flexible logic programming language Prolog. Logic is used as a control language for deciding how an agent should behave in a situation where there possibly is more than one choice. In order to describe the more procedural aspects of the agent,s behavior, we employ state machines, which are represented by statecharts. Because of this, the script language for modeling multi-agent behavior in [8] has been revised, such that we are now able to specify plans with iterative parts and also reactive behavior, which is triggered by external events. In summary, multi-agent behavior can be described in a script language, where procedural aspects are specified by statecharts and declarative aspects by logical rules (in decision trees). Multi-agent scripts are implemented in Prolog. The RoboLog kernel is written in C++ and makes now use of the low-level skills of the CMUnited-99 simulator team.