Course Description
- Lecturers:
- Prof. Michael Thielscher, Mr. Sebastian Voigt
- Prerequisites:
- Basic Knowledge in Logic Programming
The creation of artifacts that act autonomously and sensibly is the most exciting goal of Artificial Intelligence research. This lecture is concerned with the reasoning side of intelligent agents. The lecture has two main components:
- A formalism for setting up models of dynamic worlds along with a formal theory for reasoning about actions on the basis of these models.
- A programming method and system for creating agents which control their behavior on the basis of an explicit representation of their environment.
As theory and system unfold, our agents will become capable of dealing with incomplete world models, which require them to act cautiously under uncertainty; they will be able to explore unknown environments by logically reasoning about sensor inputs; they will plan ahead some of their actions and react sensibly to action failure. The programming system allows to build efficient agent programs that are easy to write, understand, and maintain.
The only prerequisite for this course is some basic prior knowledge of discrete mathematics and in particular first-order logic. Some experience with programming in Prolog might also be helpful.
Time Table
- Last Lecture: 09.07.2008
- Last Exercise: 18.07.2008 - Consultation (there will be no further exercise sheet)
- Mondays:
- Wednesdays - 07.05., 11.06., 25.06., 09.07.:
- Thursdays - 08.05., 29.05., 12.06., 26.06., 10.07.:
- 7.DS Computer Lab (E 040)
- Fridays:
Consultations
During the Open House or by appointment.
Handouts and Slides
Exercises
Labs
| Date of lab |
Handed out |
Lab sheet |
| 17.04.2008 |
11.04.2008 |
Lab 1 |
| 08.05.2008 |
05.05.2008 |
Lab 2 |
| 29.05.2008 |
26.05.2008 |
Lab 3 |
| 12.06.2008 |
09.06.2008 |
Lab 4 |
| 26.06.2008 |
23.06.2008 |
Lab 5 |
| 10.07.2008 |
07.07.2008 |
Lab 6 |
Programs
References
