Quicklinks:     Platas   RoboCup   Tropos   Finished Projects  
Home  

Projects

Current Projects

Platas

Homepage http://www.computational-logic.org/content/projects/wisslogc.php?id=53
Description Planning Techniques and Action Languages
Abstract The aim of this project is the tight integration of the latest developments in the areas of planning languages and action logics in order to arrive at systems that are both very epressive and efficient. For comparing action languages like Golog and Flux with planning formalisms like PDDL -- which is being viewed as the standard in the area of planning -- a common semantics based on the situation calculus shall be developed. The expressivity of the different approaches shall be assessed via compilation techniques. A special focus will be on extensions of Golog, such as temporal and concurrent Golog. The resulting planning problems shall be approached with heuristic search, as implemented in the FF system, and the aid of compilation techniques. In return, language constructs from the Golog-family shall be integrated into PDDL and existing planners. The developed methods shall be evaluated in the context of autonomous robots.
Team Members
Prof. Gerhard Lakemeyer, Ph.D.
Jens Claßen
Publications
(Ordered by year (desc), then title)

Jens Claßen, Yuxiao Hu, and Gerhard Lakemeyer.
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
In Twenty-Second Conference on Artificial Intelligence (AAAI-07), AAAI Press, 2007. BibTeX entry   Download

Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, and Bernhard Nebel.
Towards an Integration of Golog and Planning.
In 20th International Joint Conference on Artificial Intelligence (IJCAI-07), AAAI Press, 2007. BibTeX entry   Download

Jens Claßen and Gerhard Lakemeyer.
A Semantics for ADL as Progression in the Situation Calculus.
In Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006. BibTeX entry   Download

Jens Claßen and Gerhard Lakemeyer.
Foundations for Knowledge-Based Programs using ES.
In 10th Conf. on Principles of Knowledge Representation and Reasoning (KR2006), AAAI Press, 2006. BibTeX entry   Download

Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, and Jens Claßen.
Golog and PDDL: What is the Relative Expressiveness?.
In Proc. of International Symposium on Practical Cognitive Agents and Robots, University of Western Australia Press, 2006. BibTeX entry   Download

Diploma theses
(Ordered by year (desc), then title)
A Declarative Semantics for a Subset of PDDL with Time and ConcurrencyHu Yuxiao 22.11.2006

RoboCup

Homepage http://robocup.rwth-aachen.de/
Description A deliberative real-time component for cooperating multirobotic systems in highly dynamical environments
Abstract

Target of this project is developing a deliberative component supporting precise coordinated acting of multirobotic systems under real-time constraints. The integration of a total system and validation of results for simulated as well for real robots take place within the framework of ROBOCUP. As the general basis for the deliberative component which we will develop, the logic based controller language GOLOG, developed at the University of Toronto, will be used. This language has been advanced within our workgroup over the recent years and has been utilized successfully for controlling mobile robots.

To measure up to highly dynamical environments e.g. ROBOCUP developing of a suitable GOLOG-Dialect is required first (READYLOG). For these purposes existing extensions dealing with continuous actions and actions with uncertain effects will be integrated into a language additionally extended with a utility-theory. For validation of this approach in the framework of ROBOCUP we will adapt our approach to the SOCCERSERVER of simulation league as well as to real robots with an appropriate basic control software. For application we will generate suitable READYLOG-control-programs, as well as modules for communication, role allocation and for maintenance and utilization of a global worldmodel. Additionally for real robots we have to link so called sensing actions on the side of READYLOG with the available sensors of the robots. The development of the deliberative component takes place in several phases after an initial design. These stages each embrace a critical evaluation and a redesign, with at lea

Team Members
Prof. Gerhard Lakemeyer, Ph.D.
Frank Dylla
Alexander Ferrein
Christian Fritz
Publications
(Ordered by year (desc), then title)

Daniel Beck, Alexander Ferrein, and Gerhard Lakemeyer.
A Simulation Environment for Middle-size Robots with Multi-level Abstraction.
In Proceedings of the 2007 International RoboCup Symposium, 2007. BibTeX entry

Stefan Schiffer, Alexander Ferrein, and Gerhard Lakemeyer.
Football is coming Home.
In Proc. of International Symposium on Practical Cognitive Agents and Robots, University of Western Australia Press, 2006. BibTeX entry   Download

Stefan Schiffer, Alexander Ferrein, and Gerhard Lakemeyer.
Qualitative World Models for Soccer Robots.
In Stefan Wölfl and Till Mossakowski, editors, Qualitative Constraint Calculi, Workshop at KI 2006, Bremen, pages 3-14, 2006. BibTeX entry   Download

A. Ferrein, G. Lakemeyer, and L. Hermanns.
Comparing Sensor Fusion Techniques for Ball Position Estimation.
In Proc. RoboCup 2005 Symposium, 2005. BibTeX entry   Download

Stefan Schiffer.
ReadyWorld - A Qualitative Worldmodel for Autonomous Soccer Agents in the ReadyLog Framework.
Master's thesis, Knowledge-based Systems Group, RWTH Aachen, 2005. BibTeX entry

S. Jacobs, A. Ferrein, and G. Lakemeyer.
Unreal Golog Bots.
In IJCAI'05 WS on Reasoning, Representation, and Learning in Computer Games, 2005. BibTeX entry   Download

A. Ferrein, Ch. Fritz, and G. Lakemeyer.
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
In KI Künstliche Intelligenz (1), 2005. BibTeX entry   Download

S. Konur, A. Ferrein, and G. Lakemeyer.
Learning Decision Trees for Action Selection in Soccer Agents.
In Proc. of Workshop on Agents in dynamic and real-time environments, 2004. BibTeX entry   Download

A. Ferrein, C. Fritz, and G. Lakemeyer.
On-line Decision-Theoretic Golog for Unpredictable Domains.
In Proc. of 4th International Cognitive Robotics Workshop, 2004. BibTeX entry   Download

A. Ferrein, C. Fritz, and G. Lakemeyer.
On-line Decision-Theoretic Golog for Unpredictable Domains.
In Proc. of 27th German Conference on AI, 2004. BibTeX entry

A. Ferrein.
Specifying Soccer Moves with Golog.
In Proc. 5th Conference dvs-Section Computer Science in Sport, 2004. BibTeX entry

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, and Ubbo Visser.
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
In Proc. RoboCup 2004 Symposium, 2004. BibTeX entry   Download

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, and Ubbo Visser.
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
In KI04-WS Methods and Technol. for Empirical Evaluation of Multi-agent System, 2004. BibTeX entry

Björn Riedel.
Die Entwicklung von Ähnlichkeitsmaßen für den Vergleich von Spielsituationen im RoboCup.
Master's thesis, RWTH Aachen, 2003. BibTeX entry   Download

Alexander Ferrein, Christian Fritz, and Gerhard Lakemeyer.
Extending DTGolog with Options.
In Proc of the 18th International Joint Conference on Artificial Intelligence, 2003. BibTeX entry   Download

Christian Fritz.
Integrating decision-theoretic planning and programming for robot control in highly dynamic domains.
Master's thesis, RWTH Aachen (Knowledge-based Systems Group), Aachen, Germany, 2003. BibTeX entry   Download

Frank Dylla, Alexander Ferrein, and Gerhard Lakemeyer.
Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots.
In AOS-4 at IJCAI-03, 2003. BibTeX entry   Download

Norman Jansen.
Entwurf eines Rahmenwerks zur Entwicklung von deliberativen Komponenten f?¼r unsichere, hochgradig dynamische Umgebungen mit Echtzeitanforderung.
Master's thesis, RWTH Aachen, 2002. BibTeX entry   Download

Diploma theses
(Ordered by year (desc), then title)
Macro-Actions for Highly Dynamic Domains in ReadyLogLutz Böhnstedt 05.06.2007
Repairing Policies of ReadyLog in Highly Dynamic Domains using Goal-Oriented PlanningChristoph Mies 25.05.2007
A Neural Network Approach to Learn the Behavior of a Kicker Device in the Gazebo SimulatorPei Tang 10.04.2007
Observing Models of Stochastic Actions in ReadylogCarsten Gester 21.02.2007
A ReadyLog Agent Framework for the RoboCup 3D Soccer Simulation LeaguePhilipp Vorst 04.07.2006
Developing a Physical Simulation Environment for Teams of Soccer RobotsDaniel Beck dbeckcsrwth-aachende 29.06.2006
Imitatives Reinforcement-Lernen für FußballroboterTobias Latzke 14.03.2006
Using Reinforcement Learning methods for Action Selection in Dynamic DomainsNiklas Mausberg 20.12.2005
A Qualitative Worldmodel for Autonomous Soccer Agents in the ReadyLog FrameworkStefan Schiffer schiffercsrwth-aachende 10.08.2005
Robust Self-Localization for Mobile Robots in the RoboCup DomainAndreas Strack stracki5informatikrwth-aachende 15.06.2004
Fusing uncertain world information of cooperating robots into a global world modelLutz Hermanns 18.02.2004
Applying Decision Tree Learning to the Reactive Component of Robotic Soccer AgentsSavas Konur 21.01.2004
Integrating decision-theoretic planning and programming for robot control in highly dynamic domainsChristian Fritz fritzcsrwth-aachende 09.12.2003
Möglichkeiten der Vergleichbarkeit von Weltmodellen in der RoboCup-UmgebungBjörn Riedel briedelpoolinformatikrwth-aachende 20.05.2003
Entwurf eines Rahmenwerks zur Entwicklung von deliberativen Komponenten für unsichere hochgradig dynamische Umgebungen mit EchtzeitanforderungNorman Jansen NormanJansent-onlinede 13.02.2003

Tropos

Homepage http://www-i5.informatik.rwth-aachen.de/lehrstuhl/projects/tropos/
Description Agent-Oriented Requirements Engineering in Strategic Networks
Abstract Strategic Networks (e.g. in enterprises or research-groups) are the most ambitious models for cooperative perception and problemsolving at the moment. With these one tries to combine the advantages of the flexibility of market mechansims with the stability of hierarchical organizations. The Aachen TROPOS-projects' aim is the development of an agent oriented environment for the lifecycle-accompaniing requirements engineering in strategic networks. This analyzing environment should step by step be enlarged to a simulation- and supporting-tool. Every step concerning development and implementation will be evaluated by empirical analysis.
Team Members
Prof. Gerhard Lakemeyer, Ph.D.
Günter Gans
Dominik Schmitz
Publications
(Ordered by year (desc), then title)

G. Gans, M. Jarke, G. Lakemeyer, and D. Schmitz.
Deliberation in a Metadata Based Modeling and Simulation Environment for Inter Organizational Networks.
In Information Systems, Special Issue on Selected Papers From CAiSE03 Elsevier, 2005. BibTeX entry   Download

G. Gans, D. Schmitz, M. Jarke, and G. Lakemeyer.
SNet Reloaded: Roles, Monitoring, and Agent Evolution.
In Giorgini,P. and Winikoff,M., editors, Proceedings of the 6th Workshop on Agent-Oriented Information Systems, AOIS, pages 2-16, New York, USA, July 2004. BibTeX entry   Download

D. Schmitz, G. Lakemeyer, G. Gans, and M. Jarke.
Using BPEL Process Descriptions for Building up Strategic Models for Inter-Organizational Networks.
In International Workshop on Modeling Inter-Organizational Systems (MIOS), Springer, LNCS, Larnaca, Cyprus, October 2004. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, and Gerhard Lakemeyer.
Continuous Requirements Management for Organization Networks: A (Dis)Trust-Based Approach.
In Requirements Engineering Journal, Selected Papers from RE'01, Springer 8 (1): 4-22, Feb. 2003. BibTeX entry

Günter Gans, Matthias Jarke, Gerhard Lakemeyer, and Dominik Schmitz.
Deliberation in a Modeling and Simulation Environment for Inter-Organizational Networks.
In CAISE2003, 2003. BibTeX entry   Download

Dominik Schmitz.
Eine Erweiterung des Agentenmodells in SNet um eine Planungskomponente unter Verwendung von Nutzentheorie.
Master's thesis, RWTH Aachen, 2003. BibTeX entry

Günter Gans, Matthias Jarke, Stefanie Kethers, and Gerhard Lakemeyer.
Modeling the Impact of Trust and Distrust in Agent Networks.
In AOIS-01 at CAiSE-01, 2001. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, and Martin Meister.
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach.
In RE-01, 2001. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, and Martin Meister.
Towards (Dis)Trust-Based Simulations of Agent Networks.
In Workshop at Agents-01, 2001. BibTeX entry   Download

Diploma theses
(Ordered by year (desc), then title)
Eine Erweiterung des Agentenmodells in SNet um eine Planungskomponente unter Verwendung von NutzentheorieDominik Schmitz DominikSchmitzpostrwth-aachende 28.02.2003
Eine Modellierungs- und Simulationsumgebung für die Analyse sozialer NetzwerkeThomas Vits thomasthomas-vitsde 06.11.2001

Finished Projects

Quicklinks:     Platas   RoboCup   Tropos   Finished Projects  

Date: 08 Feb 2008 TN   |   Disclaimer   |   Home