神经符号人工智能领域旨在结合神经网络和符号系统以获得益处。该领域的一个基石是将符号知识翻译或编码到神经网络中。尽管已经提出了许多神经符号方法和途径，并且近年来数量大幅增加，但并不存在能够对神经符号方法进行精确理论比较的通用编码定义。本文通过引入神经符号人工智能的语义框架来解决这个问题。我们首先给出语义编码的正式定义，指定知识库能够被神经网络正确编码的组件和条件。然后，我们证明许多神经符号方法都符合此定义。我们提供了一些示例和对应证明，将提出的框架应用于各种知识表示形式的神经编码。许多乍一看差异很大的神经符号方法都被证明符合所提出的形式化方法。这有望通过将未来的神经符号编码置于现有神经符号系统整个家族的语义编码的更广泛背景中，从而为其提供指导。本文希望能帮助启动围绕神经符号人工智能理论和深度学习语义的讨论。