Survey Lecture: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action

Thursday, June 22, 2023, 12:30pm

Location: Computer Science Center, Building E2, ground floor, B-IT room 5053.2.

Speaker: Gerhard Lakemeyer


The Situation Calculus is almost as old as the field of Artificial Intelligence, and thanks to the groundbreaking work by the late Ray Reiter it is still one of the most used and best understood logical formalisms for reasoning about action and change. In this lecture I will introduce the modern form of the situation calculus due to Ray Reiter and go over extensions such as probabilistic actions and the action programming language Golog built on top of the situation calculus.