TITLE: How to get robots to reason about their actions

PRESENTER: Prof. Gerhard Lakemeyer, http://www-i5.informatik.rwth-aachen.de/gerhard, gerhard@informatik.rwth-aachen.de

AFFILIATION:Department of Computer Science V, Aachen University of Technology, Germany , http://www-i5.informatik.rwth-aachen.de/

DATE: Friday 3rd February 2006

TIME: 12:00:00

PLACE: CSE Seminar Room L1 K17

ABSTRACT:

One of the aims of cognitive robotics is to come up with
knowledge representation and reasoning techniques suitable for robots that
need to act in uncertain and constantly changing environments. The
logic-based action language Golog, which was originally developed at the
University of Toronto and which combines features from both imperative
programming and planning, is intended for just this purpose. In this talk I
will report on our efforts to adapt this language so that it can be used in
scenarios with tight real-time constraints. In particular, I will discuss a
form of decision-theoretic planning which is feasible even in highly
dynamic domains. The work has been applied to control robotic soccer agents
as well as agents in interactive computer games.

BIOGRAPHY OF SPEAKER:

Prof. Gerhard Lakemeyer is head of the knowledge-based systems group at
the Department of Computer Science V , Aachen University of Technology, Germany. He is also affiliated with the information systems group.

Host:

Maurice Pagnucco

Seminar Convenor:

Van Hai Ho