Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University
Alan Turing Institute via YouTube
Overview
Syllabus
Intro
Outline
Declarative ML
Idea of Model-Theoretic Framework
Example 1 (cont d)
Example 2
Formal Framework For simplicity, we only consider Boolean classification problems
Learning as Minimisation
Remarks on VC-Dimension and PAC-Learning
Computation Model
Complexity Considerations
Proof
Strings as Background Structures
Learning with Local Access
Monadic Second-Order Logic
Building an Index
Factorisation Trees as Index Data Structures
Learning MSO
Pre-Processing
Learning Phase 1
Open Problems
Taught by
Alan Turing Institute