Gregoire Fournier : Finite model theory and logics for AI

Posted by Kevin Zhou , part of the Louise Hay Logic Seminar.

At

March 13, 2023, 4 p.m.

In

612 SEO

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.