Temporal Reasoning in AI: an introduction

Nicola Gigante

Temporal reasoning, in its most general sense, is a fundamental skill for any kind of autonomous agent, since acting in the world requires to reason about how known facts about the environment change over time. Indeed, temporal reasoning is a cornerstone field of AI which has been studied in different ways for decades. The course aims at introducing the most important concepts, methodologies, and results of the field, including temporal logics, automated planning, reactive synthesis, etc. Students attending the course will obtain a general picture of the field and of its interactions with other fields of AI.