Bi-Weekly Talk: Provenance Analysis for Guarded Logics

Mittwoch, 20.02.2019, 10.30 Uhr

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

 

Vortragende: Katrin Dannert

 

Abstract:

Provenance analysis is an approach to the evaluation of formulae originally developed in database theory. In a provenance setting, formulae are not just evaluated as 'true' or 'false', as in the usual Boolean interpretation. Instead they are given values in a commutative semiring, which yield additional information. In this talk, the concept of provenance analysis is applied to guarded logics. Guarded logics restrict the use of certain types of subformulae, for example quantified subformae. These subformulae may only occur if they are accompanied by an atomic condition, the guard. Guarded logics, which include for instance modal logic, have very desirable computational properties and are useful in many applications, like program analysis and verification.