Guest Talk: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs

Tuesday, March 14, 2023, 2:00pm

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: Fortunat Rajaona

 

Abstract: 

In this talk, we will explore how Dijkstra's weakest precondition predicate transformers can be lifted to programs that transform agents' states of knowledge. This new semantics constitutes the basis for a model checking technique via SMT-solvers for reasoning about knowledge changes in AI systems.