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.
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.
- 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 with the department
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.
|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|
DatesSession numbers with dates and topics are below.
|Session 1: 27th April||Frame Problem, Progress a Database|
|Session 2: 4th May||Default Reasoning, Reasoning about Uncertainty|
|Session 3: 11th May||Knowledge and Action, Concurrent Actions|
|Session 4: 18th May||Beliefs and Game theory, Solution Concepts|
|Session 5: 25th May||State Constrains, Non-Markovian Control|
|Session 6: 8th June||Reinforcement Learning, Symbolic Dynamic Programming|
|Session 7: 15th June||Knowledge-Based Programming, Logic Programming.|
Please read and understand our general information and suggestions on seminars!
Participation in all weekly 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.
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.