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

 

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.