探索 Scallop：一种融合不同iable逻辑推理的DataLog语言

最新推荐文章于 2024-09-11 07:43:16 发布

贾雁冰

最新推荐文章于 2024-09-11 07:43:16 发布

阅读量324

点赞数 4

本文链接：https://blog.csdn.net/gitblog_00052/article/details/139434522

版权

探索 Scallop：一种融合不同iable逻辑推理的DataLog语言

scallopFramework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229项目地址:https://gitcode.com/gh_mirrors/sca/scallop

Scallop 是一个基于 DataLog 的创新性编程语言，它支持可微分的逻辑和关系推理。这个强大的工具可以无缝集成到Python环境中，并与PyTorch模块协同工作，成为DataLog求解器的一个有效补充。内部实现上，Scallop 基于广义的Provenance Semiring框架，允许配置任意的半环，从而执行离散逻辑推理、概率推理以及可微分推理。

简介

通过 Scallop 编程，你可以编写像这样的简单概率性DataLog程序：

rel is_a("giraffe", "mammal")
rel is_a("tiger", "mammal")
rel is_a("mammal", "animal")

rel name = {
  0.3::(1, "giraffe"),
  0.7::(1, "tiger"),
  0.9::(2, "giraffe"),
  0.1::(2, "tiger"),
}

rel num_animals(n) :- n = count(o: name(o, "animal"))

这个例子展示了如何识别图像中的动物并计算动物种类的数量。

技术分析

Scallop 提供了一个交互式解释器（scli）、编译器（sclc）和REPL环境（sclrepl）。其核心亮点在于类型系统和规则表达，前者确保了静态类型检查和类型推导，后者则提供了类似逻辑编程的语法，使得规则声明既简洁又直观。此外，Scallop 还支持概率规则和聚合操作，如计数、最小值、最大值、求和与乘积。