Neurosymbolic background knowledge and the expressivity required of its logic can break Machine Learning assumptions about data Independence and Identical Distribution. In this position paper we propose to analyze IID relaxation in a hierarchy of logics that fit different use case requirements. We discuss the benefits of exploiting known data dependencies and distribution constraints for Neurosymbolic use cases and argue that the expressivity required for this knowledge has implications for the design of underlying ML routines. This opens a new research agenda with general questions about Neurosymbolic background knowledge and the expressivity required of its logic.

翻译：神经符号背景知识及其逻辑所需的表达力可能打破机器学习关于数据独立同分布的假设。在这篇立场论文中，我们提出在适应不同用例需求的逻辑层次结构中分析IID（独立同分布）放松。我们讨论了利用已知数据依赖性和分布约束对神经符号用例的益处，并论证这种知识所需的表达力对底层机器学习例程的设计具有重要影响。这开启了一个新的研究议程，涉及关于神经符号背景知识及其逻辑所需表达力的普遍性问题。