AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Qualitative representation of positional information
Artificial Intelligence
RoboCup-98: Robot Soccer World Cup II
RoboCup-98: Robot Soccer World Cup II
RoboCup-98: Robot Soccer World Cup II
The CMUnited-98 Champion Simulator Team
RoboCup-98: Robot Soccer World Cup II
An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
PROTEIN: A PROver with a Theory Extension INterface
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Layered and Resource-Adapting Agents in the RoboCup Simulation
RoboCup-98: Robot Soccer World Cup II
Dynamic Subsumption Architecture for Programming Intelligent Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Combining multiple representations in a spatial reasoning system
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
RoboCup 2001: Robot Soccer World Cup V
CG '00 Revised Papers from the Second International Conference on Computers and Games
Towards a Logical Approach for Soccer Agents Engineering
RoboCup 2000: Robot Soccer World Cup IV
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
| Hi-index | 0.00 |
In this paper, we present a multi-layered architecture for spatial agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive and well understandable. They can be realized as (constraint) logic programs. The logical description language is able to express actions or plans for one and more autonomous and cooperating agents for the RoboCup (Simulator League). The system architecture hosts constraint technology for qualitative spatial reasoning, but quantitative data is taken into account, too.The basic (hardware) layer processes the agent's sensor information. An interface transfers this low-level data into a logical representation. It provides facilities to access the preprocessed data and supplies several basic skills. The second layer performs (qualitative) spatial reasoning. On top of this, the third layer enables more complex skills such as passing, offside-detection etc. At last, the fourth layer establishes acting as a team both by emergent and explicit cooperation. Logic and deduction provide a clean means to specify and also to implement teamwork behavior.