Contents
The foundations of Artificial Intelligence, and the scope of the discipline has benefited from significant insights for the last 50 years: from symbolic representation and reasoning to theoretical assertiveness for learning programs. In this seminar, we cover a few ideas on the foundations of the aforementioned approaches, such as the situation calculus and the Frame Problem in logical formalisms for action and effects, non-monotonic reasoning, and graphical representations for decision-making and learning. Recently, Artificial Intelligence has also benefited from the use of important results in the field of game theory. To this extent, we also include topics in non-cooperative game theory and the impact of game theory on Artificial Intelligence.
Participation
Places for seminars and laboratories are centrally allocated. Registration will be open from 05.01.2009 until 18.01.2009 at the following URL:
https://web-info8.informatik.rwth-aachen.de/apse/ Please, clearly indicate why you want to join our seminar within the above mentioned registration process. We won’t be able to consider your application otherwise.
Requirements
- basic study period completed (Vordiplom)
- An understanding of logic in AI and computer science
- Knowledge in graph theory and probability theory is necessary for the game theory and graphical representation topics
- It is extremely helpful if the participants have taken both the Artificial Intelligence and the Knowledge Representation course
Topics
The 14 topics to be discussed in the seminar and the associated literature is here. The list is subject to change and the final list will be presented at the preliminary meeting.
| Participant | Topic | Advisor | |
|---|---|---|---|
| Christian Kalla | Multi-agent Reinforcement Learning | DB | |
| Faezeh Afroozi | Symbolic Dynamic Programming | DB | |
| Andreas Braun | Default Reasoning | DB | |
| Hussein Baagil | Knowledge, Action and the Frame Problem | VB | |
| Niklas Hoppe | Non-Markovian Control | VB | |
| Xi Chen | Beliefs and Game Theory | VB | |
| Martin Mrozek | Reasoning about Uncertainty | VB | |
| Esch Hans-Georg | Solution Concepts | VB | |
| Hew Kar chin | Progress a database | JC | |
| Christoph Schulze | Knowledge-Based Programming | JC | |
| Wied Pakusa | State Constraints | JC | |
| Mohammed Reza Yazdandoost | Frame Problem | STF | |
| Andreas Toennis | Concurrent Actions | STF | |
| Bernd Heyer | Logic Programming | STF |
\
Additional Information
General Info
- Please read and understand our general information and suggestions on seminars!
Seminar Procedure
Participation in all meetings is bindingly for achieving the credit. The literature given for the talk should be discussed with the instructor. The instructors of the different topics are to be announced.
Library Tour
Renate Eschenbach from our library offers guided tours on how to find literature in the library and how to prepare a seminar. Interested students should enlist for a tour in the preliminary discussion.