Louise Hay Logic Seminar
Gregoire Fournier
UIC
Finite model theory and logics for AI
Abstract: Recent advances in AI have raised concerns about its black-box nature and
lack of explainability. We follow a line of research that aims at characterizing AI through a finite model theoretic point of view. In particular, we study the graph neural network architecture (GNN), its proximity with the Weisfeiler-Lehman (WL) class of algorithms, and graded modal logic.
Monday March 13, 2023 at 4:00 PM in 612 SEO