| Files: | Description | File size | Format | Browse |
| Fulltext | 0.06 MB | PDF (requires Acrobat Reader) | Previous | Next |
| PostScript | | | |
| | |
| Authors: | Frieder Stolzenburg: Universität Koblenz, Germany |
| | Oliver Obst: Universität Koblenz, Germany |
| | Jan Murray: Universität Koblenz, Germany |
| | Björn Bremer: Universität Koblenz, Germany |
| Publication title: | RoboLog Koblenz: Spatial Agents Implemented in a Logical Expressible Language |
| Conference: | RobocCup-99 Team Descriptions. Simulation League |
| Publication type: | Abstract and Fulltext |
| Issue: | 004 |
| Article No.: | 025 |
| Abstract: | In this paper, we present a multi-layered architecture for spatial and temporal 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 agents 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. |
| Language: | English |
| Year: | 1999 |
| No. of pages: | 5 |
| Pages: | 116-120 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ea/cis/1999/007/25/cis9900725.pdf |
| Available: | 1999-12-15 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
