LIRa Session: Gregor Behnke

Speaker: Gregor Behnke (ILLC, University of Amsterdam)

Date and Time: Thursday, June 2nd 2022, 16:30-18:00, Amsterdam time.

Venue: online. – recording available, click here

Title: Planning with Temporally extended Goals

Abstract. Planning asks to find a sequence of actions that will lead to achieving a given objective. Traditionally, this means that we are given an initial state (in terms of facts over some function-free first-order logic), (first-order) actions that can modify the state, and a goal state. This goal state is described in terms of a set of facts that we want to achieve simultaneously in the last state after executing the whole plan. In some scenarios this simple definition of the objective as a single goal state does not suffice. For example, we might want to describe that we shall first achieve objective A and only afterwards B, or that we want to achieve A without ever achieving B in the mean time. Further one might also want to describe infinite behaviour, i.e., a plan for running a factory machine indefinitely. For this purpose, the description of the objective can be formulated using Temporal Logic — and are then called “Temporally Extended Goals”.
In the talk, I will give a brief introduction into planning. I will then turn to the way that temporally extended goals are usually described in planning and discuss the connection of this description language with Linear Temporal Logic. Lastly, I will give a brief overview of the possible ways to integrate Temporally Extended Goals into the planning process.