Reverse Engineering and Learning of Temporal Logic Queries
- Speaker: Dr. Vladislav Ryzhikov
- He joined Birkbeck in September 2017 in his current role of lecturer. From 2011 to 2017 he was an assistant professor (fixed term) at the KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. He received his PhD in 2010 with a thesis on temporal description logics and conceptual modelling.
- Date: Thursday, 20 April 2023 from 12:00 to 13:00
- Location: MAL 151 (Seminar room)
- Join URL: click here
- Video URL: click here
In reverse engineering of database queries, one aims to learn a query from given sets of examples where answers are suposed to be positive and negative. The query can then be used to find explanation of the answers and non-answers, and also as a classifier for new data instances. We start by formulating a general separation problem in the setting where the queries are temporal logic formulas, and the data instances are finite sets of temporal facts. We present a number of examples to motivate the problem for such logics as LTL, metric temporal logic, and interval temporal logic. For LTL, we present our recently obtained results related to the computational complexity of computing separating queries.