IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Modular design patterns for neural-symbolic integration"

by Till Mossakowski

Tue, 18 January 2022 at 01:00 pm in Salzburg, Austria

Abstract: We recall design patterns for neural-symbolic systems from the literature, and go first steps towards a formalisation of these patterns. We introduce formal notions of neural-symbolic pattern, pattern refinement, and pattern combination.

Slides