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

Dienstag, 14.03.2023, 14.00 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

Vortragender: 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.