本文探讨了增强人工智能推理能力的挑战，重点关注抽象与推理语料库 (ARC) 中的逻辑性。人类解决此类视觉推理任务是基于观察和假设，并能给出合理的解释。然而，许多先前的方法只关注网格转换，这不足以使人工智能提供合理且类似人类的解决方案。通过考虑人类解决视觉推理任务的过程，我们得出结论：思维过程很可能是溯因推理过程。因此，我们提出了一种新颖的框架，该框架将观察到的数据符号化地表示为知识图谱，并提取可用于生成解决方案的核心知识。此信息限制了解决方案的搜索空间，并有助于提供合理的中间过程。我们的方法有望通过有效缩小解决方案空间并提供基于核心知识提取的逻辑解决方案来提高 AI 在 ARC 任务上的性能。