The Computer Science Department reports on its activities on an annual basis. In the following, we provide the KBSG's contributions to those annual reports
Together with Bonding, the IMA/ZLW & IFU Institute Cluster, RWTH Aachen University and the Department for Electrical Engineering and Information Technology, Robotics Group, FH Aachen we will host the Robotino Bonding Hackathon. Students will compete in small teams to develop the behavior of a robot operating in a simplified desaster scenario to develop effective behavior strategies to recover and prioritize items from the arena.
The event is organized by the Carologistics RoboCup Team.
Die Veranstaltung "Einführung in die Informatik" ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:
- Programmierung (Java) (WS)
- Einführung in die Informatik (WS)
- Algorithmen und Datenstrukturen (SS)
- Software-Entwicklung (SS)
- To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
- To take the exam, you need to do the modular registration process which closes 22 November.
Based on the framework provided for the Angry Birds AI Competition the task is to develop and implement an agent that is capable to successfully play the game of Angry Birds.
Claßen and Lakemeyer recently introduced algorithms for the verification of temporal properties of non-terminating Golog programs, based on the first-order modal Situation Calculus variant ES, and regression-based reasoning. However, while Golog’s high expressiveness is a desirable feature, it also means that their verification procedures cannot be guaranteed to terminate in general. In this thesis, we address this problem by showing that, for a relevant subset, the verification of non-terminating Golog programs is indeed decidable, which is achieved by means of three restrictions. First, we use the ES variant of a decidable two-variable fragment of the Situation Calculus that was introduced by Gu and Soutchanski. Second, we have to restrict the Golog program to contain ground action only. Finally, we consider special classes of successor state axioms, namely the context-free ones and those that only admit local effects.
In this seminar we will study several different approaches to and aspects of plan and activity recognition. Recognizing what other agents are doing is an important aspect of intelligent systems. For example, a domestic service robot needs to understand what the human is doing in order to interact with him in a reasonable way. And a self-driving car should know what the other traffic participants are doing right now and infer what they are going to do in the next moments. Different domains bring along different problems and needs for levels of expressiveness like partial observability, incomplete knowledge, non-deterministic actions, adversarial agents, potentially hazardous situations. We will study some of the latest research on these problems and work out the particular strengths and weaknesses.
The topics include recent papers on plan and activity recognition.
The SS 2013 proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".