Modular design patterns for neural-symbolic integration: refinement and combination

06/09/2022
by   Till Mossakowski, et al.
0

We formalise some aspects of the neural-symbol design patterns of van Bekkum et al., such that we can formally define notions of refinement of patterns, as well as modular combination of larger patterns from smaller building blocks. These formal notions are being implemented in the heterogeneous tool set (Hets), such that patterns and refinements can be checked for well-formedness, and combinations can be computed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/23/2021

Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases

The unification of statistical (data-driven) and symbolic (knowledge-dri...
research
09/20/2021

Modular Design Patterns for Hybrid Actors

Recently, a boxology (graphical language) with design patterns for hybri...
research
12/13/2018

On Privacy Notions in Anonymous Communication

Many anonymous communication networks (ACNs) with different privacy goal...
research
07/06/2018

Catalog of Formalized Application Integration Patterns

Enterprise application integration (EAI) solutions are the centrepiece o...
research
12/13/2018

On Privacy Notion in Anonymous Communication

Many anonymous communication networks (ACNs) with different privacy goal...
research
01/04/2019

Catalog of Optimization Strategies and Realizations for Composed Integration Patterns

The discipline of Enterprise Application Integration (EAI) is the centre...
research
01/08/2020

LiftTiles: Constructive Building Blocks for Prototyping Room-scale Shape-changing Interfaces

Large-scale shape-changing interfaces have great potential, but creating...

Please sign up or login with your details

Forgot password? Click here to reset