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.