BriefGPT.xyz
Jun, 2022
神经符号一体化的模块化设计模式：细化与组合
Modular design patterns for neural-symbolic integration: refinement and combination
HTML
PDF
Till Mossakowski
TL;DR
本文正式化van Bekkum等人的神经符号设计模式，并形式定义了模式细化和从较小的构建块组合更大模式的概念。这些形式化概念正在Hets工具集中实现，以便可以检查模式和细化的正确性，并计算组合。
Abstract
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
→