TUD Logo

TUD Startseite » ... » Lehre » SS 2008 » Reasoning Agents

Computational Logic

Reasoning Agents

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:
    • 5.DS Lecture (E 005)
  • Wednesdays - 07.05., 11.06., 25.06., 09.07.:
    • 4.DS Lecture (E 005)
  • Thursdays - 08.05., 29.05., 12.06., 26.06., 10.07.:
    • 7.DS Computer Lab (E 040)
  • Fridays:
    • 2.DS Exercise (E 005)

Consultations

During the Open House or by appointment.

Handouts and Slides

Exercises

Date of exercise Handed out Exercise sheet
11.04.2008 07.04.2008 Exercise 1
18.04.2008 14.04.2008 Exercise 2
25.04.2008 21.04.2008 Exercise 3
02.05.2008 28.04.2008 Exercise 4
09.05.2008 05.05.2008 Exercise 5
23.05.2008 19.05.2008 Exercise 6
30.05.2008 26.05.2008 Exercise 7
09.06.2008 02.06.2008 Exercise 8
13.06.2008 10.06.2008 Exercise 9
20.06.2008 16.06.2008 Exercise 10
27.06.2008 23.06.2008 Exercise 11
04.07.2008 30.06.2008 Exercise 12
11.07.2008 07.07.2008 Exercise 13
18.07.2008 - Consultation

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

Chapter Programs
2 Special FLUX
2 Special FLUX with exogenous actions
2 Simulator
2 Mailbot 1
2 file agent initial state
2 a solution for the file agent (Ass. 1.2)
2 a solution for the lego robot (Ex. 2.2)
4 General FLUX Kernel
4 General FLUX
5 General FLUX
5 Cleanbot Simulator
5 Cleanbot
5 solutions for Ass. 2.1 and 2.2
5 Wumpus World
5 Wumpus Simulator
5 solution for Ass. 2.3/3.1
5 Wumpus World solution
6 GOLOG interpreter
6 Towers of Hanoi
8 ALP interpreter
9 AgentSpeak interpreter
9 Gold Mining Domain
9 Gold Mining Domain 2D
9 Gold Mining Simulator
10 solution for Ex. 12.1(b)
11 Mailbot with Troubleshooting
11 FLUX with Troubleshooting
11 Mailbot with Troubleshooting - Constraints

References

Stand: 1.2.2010, 14:29 Uhr
Autor: Dipl.-Inf. Sebastian Haufe