论文标题
神经符号整合的模块化设计模式：改进和组合
Modular design patterns for neural-symbolic integration: refinement and combination
论文作者
论文摘要
我们正式化了Van Bekkum等人的神经符号设计模式的某些方面，以便我们可以正式定义模式细化的概念，以及来自较小构件的较大模式的模块化组合。这些正式的概念正在异质工具集（HET）中实现，以便可以检查模式和改进是否形成良好，并且可以计算组合。
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.
