过去几十年见证了机器学习（ML）的显著进步，主要由深度学习（DL）驱动。然而，尽管机器学习在许多领域取得了显著成功，但其无法提供一致性保证以及系统脆弱性（面对分布偏移、对抗攻击等）的问题，阻碍了可信人工智能系统的设计。为了缓解这种脆弱性并提供关于机器学习系统行为的某些保证，已经探索了几种研究路径，其中包括神经符号人工智能和一致性预测。神经符号人工智能是一个新兴的研究领域，旨在将神经网络的学习能力与符号系统的推理能力相结合。这种混合化的目标之一是提供理论保证，确保系统的输出符合某些先验知识。一致性预测是一组技术，通过将单一预测转换为一组预测（称为置信集），来考虑机器学习系统的不确定性。有趣的是，这带来了关于真实标签存在于置信集内的统计保证。这两种方法都是无分布的且模型不可知的。在本文中，我们探讨了这两种方法如何相互补充。我们介绍了多种神经符号一致性预测技术，并探讨了它们的不同特性（置信集大小、计算复杂度等）。