Course Description

Lecturers:

Prof. Michael Thielscher, Mr. Sebastian Voigt

Prerequisites:

Basic Knowledge in Logic Programming

Artificial systems that think and behave intelligently are one of the most exciting and challenging goals of Artificial Intelligence. Action Programming is the art and science of devising high-level control strategies for autonomous systems which employ a mental model of their environment and which reason about their actions as a means to achieve their goals. Applications of this programming paradigm include autonomous software agents, mobile robots with high-level reasoning capabilities, and General Game Playing. This lecture gives an in-depth introduction to the current state-of-the-art in action programming. The main topics are

• knowledge representation for actions,
• procedural action programming,
• planning,
• agent logic programs, and
• reactive, behavior-based agents.

The only prerequisite for understanding the material in this lecture is some general programming experience and basic knowledge of classical first-order logic.

Time Table

• Lecture
  • Mondays 4.DS (E 005) - starting on April 6th
  • Wednesdays 4.DS (E 005) - every fortnight, fixed dates: 15 April, 29 April, 27 May, 17 June, 1 July
• Tutorial
  • Thursdays 1.DS (E 005) - starting on April 23th
• Computer Lab
  • Fridays 4.DS (E 040) - every fortnight, fixed dates: 8 May, 22 May, 12 June, 26 June, 10 July

Consultations

During the Open House or by appointment.

Slides

• Introduction
• Procedural Action Programs (I)
• Procedural Action Programs (II)
• Procedural Action Programs (III)
• Planning (I)
• Planning (II)
• Declarative Action Programs (I)
• Declarative Action Programs (II)
• Commonsense Reasoning for Agents
• Reactive Action Programs (I)
• Reactive Action Programs (II)
• Robotics

Exercises

• Exercise 01 (Thu, 23 Apr 2009)
• Exercise 02 (Thu, 30 Apr 2009)
• Exercise 03 (Thu, 7 May 2009)
• Exercise 04 (Thu, 14 May 2009)
• Exercise 05 (Thu, 28 May 2009)
• Exercise 06 (Thu, 11 June 2009)
• • Wumpus Excerpt
  • FLUX
  • CHRs for FLUX
  • Towers of Hanoi
  • Solution to Towers of Hanoi
• Exercise 07 (Thu, 18 June 2009)
• Exercise 08 (Thu, 25 June 2009)
• • Jason Download Page
  • Files for Exercise 8.1
• Exercise 09 (Thu, 2 July 2009)
• Exercise 10 (Thu, 9 July 2009)
• • Clingo
  • File for Exercise 10.2
  • Solution to Exercise 10.2

Labs

• Lab 1 (Fri, 8 May 2009)
• • GOLOG interpreter
  • Blocks World
  • Solution to Assignment 1.1
  • Solution to Assignment 1.2
• Lab2 (Fri, 22 May 2009)
• • Clingo
  • Lightsout
  • Solution to Assignment 2.1
• Lab 3 (Fri, 12 June 2009)
• • Knights Tour
  • Knights Tour - Solution
• Lab 4 (Fri, 26 June 2009)
• • Wumpus
  • Wumpus Simulator
  • ALP interpreter using FLUX
  • CHRs for FLUX
  • Solution
• Lab 5 (Fri, 10 July 2009)
• • Jason Download Page
  • Vacuum Cleaner project files
  • Jason Documentation
  • Solution to the Agent

References

• Michael Thielscher: "Action Programming Languages"
• Michael Thielscher: "Reasoning Robots: The Art and Science of Programming Robotic Agents"
• SPARK Reference Manual