Prolog 中的自动微分
摘要：用Prolog从简单的可执行规范（符号导数的计算）系统地推导出基于梯度的前向和反向模式的自动微分变体。在这个过程中，我们展示了几个Prolog特性（DCGs，协程）对算法的简明组织形式的贡献。我们还讨论了我们的Prolog算法所支持的两个概率编程应用。第一个应用是Sum-Product Loop Language的参数学习，第二个应用涉及概率逻辑规划的参数学习和变分推断。
作者：Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
论文ID：2305.07878
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-16