RoboLog - Deduktive Ansätze für den RoboCup
Partner: Universität Hamburg, Prof. C. Habel, DFG-Schwerpunkt Raumkognition
Kurzfassung
Computer-Fussball erfährt in letzter Zeit reges Interesse. Die RoboCup-Initiative ist ein Versuch, die Forschung im Bereich der Künstlichen Intelligenz zu fördern; Techniken und Problemstellungen aus unterschiedlichen Disziplinen wie Informatik, Robotik und Kognitionswissenschaft kommen hier zum Tragen. Die Repräsentation von Bewegung stellt einen zentralen Aspekt in allen Ligen des RoboCup dar. Dabei müssen autonome Agenten unter Echtzeit-Bedingungen miteinander kooperieren. Es sind zum...Computer-Fussball erfährt in letzter Zeit reges Interesse. Die RoboCup-Initiative ist ein Versuch, die Forschung im Bereich der Künstlichen Intelligenz zu fördern; Techniken und Problemstellungen aus unterschiedlichen Disziplinen wie Informatik, Robotik und Kognitionswissenschaft kommen hier zum Tragen. Die Repräsentation von Bewegung stellt einen zentralen Aspekt in allen Ligen des RoboCup dar. Dabei müssen autonome Agenten unter Echtzeit-Bedingungen miteinander kooperieren. Es sind zum einen Raum-Situationen zu erkennen, z.B. ob ein Pass von Spieler A nach B möglich ist, ohne dass ein Spieler der Gegenmannschaft den Ball abnehmen kann oder eine Abseitsfalle möglich ist. Bewegungen aller Agenten und Objekte auf dem Spielfeld sind zu erkennen und zu repräsentieren und gegebenenfalls in die Zukunft zu extrapolieren. In der Koblenzer Forschungsgruppe "Künstliche Intelligenz" entwickeln wir deduktive RoboCup-Agenten. Bis jetzt entstand dabei ein Interface zu der Logik-Programmiersprache Prolog hin. Außerdem entwickeln wir einen axiomatischen Ansatz zur qualitativen Erkennung von Situationen. Mit Hilfe von Techniken aus der Deduktion können so regelbasiert Situations- und Bewegungsmuster erkannt und in (gemeinsame) Spielzüge und Bewegungsabläufe umgesetzt werden. Ungeachtet der verwendeten Methoden ist es möglich, in (simulierten) Fussball-Spielen Vergleiche mit anderen Techniken der räumlichen Repräsentation und Kognition anzustellen. Weitere Info im WWW: http://www.uni-koblenz.de/~frvit/ROBOCUP/» weiterlesen» einklappen
Veröffentlichungen
- Stolzenburg, Frieder; Obst, Oliver; Murray, Jan et al.
- Technical Papers - Spatial Agents Implemented in a Logical Expressible Language
- Murray, J.; Stolzenburg, F.; Obst, O. et al.
- RoboLog Koblenz: Complex Agent Scripts Implemented in Logic
- Obst, O.; Murray, J.; Stolzenburg, F. et al.
- Towards deduction in RoboCup