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



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.