scallop

让神经网络学会逻辑推理，构建可解释的 AI 系统

Scallop 是一个面向神经符号编程（Neurosymbolic Programming）的开源框架与语言，基于 Rust 实现。它旨在弥合深度学习与符号推理之间的鸿沟，让开发者能够构建同时具备神经网络学习能力和符号逻辑推理能力的智能系统。Scallop 提供了一种声明式编程语言，支持定义知识库、逻辑规则和约束，并能与 PyTorch 等深度学习框架无缝集成，实现端到端的可微推理。其核心能力包括可微分的逻辑推理引擎、高效的证据张量传播机制，以及支持多种推理任务（如视觉问答、知识图谱推理、程序合成等）。Scallop 解决了传统神经模型缺乏可解释性和结构化推理能力的问题，使得模型在复杂推理任务上表现更准确、更可解释。该项目处于早期阶段，但已展现出在 AI 领域融合符号与连接主义的巨大潜力。