×

PFLP公司

swMATH ID: 28855
软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen)
描述: 使用非标准非确定性实现概率编程库。本文介绍了函数逻辑编程语言Curry中的概率编程库PFLP。它演示了函数逻辑编程语言的概念如何支持概率编程库的实现。事实上,函数逻辑和概率规划的范式是紧密相连的。也就是说,一个地区的语言特征存在于另一个地区,反之亦然。例如,函数逻辑规划中的非确定性选择和调用时间选择的概念分别与概率规划中的随机记忆和概率选择相关并一致。我们将进一步看到,与基于列表的标准实现相比,基于函数逻辑编程概念的实现在性能方面具有优势,甚至可以与成熟的概率编程语言竞争,我们通过几个基准来说明这一点。《逻辑程序设计理论与实践》(TPLP)正在考虑中。
主页: https://arxiv.org/abs/1905.07212
关键词: 编程语言;arXiv_cs。损益;图书馆;概率规划;TPLP公司;咖喱;功能逻辑编程;非决定论;懒惰;呼叫时间选择
相关软件: 教堂;轻松检查;CHR.js公司;工厂;PAKCS公司;扁平咖喱;KiCS2系列;哈斯克尔;玩具;ProbLog(问题日志);咖喱;水银;夏普;哈卡鲁;PITA公司;迷你凯恩人;数据娱乐;小支票
引用于: 3文件

标准条款

2出版物描述软件,包括1出版物以zbMATH为单位 年份
使用非严格非确定性实现概率编程库。 Zbl 1434.68062号
桑德拉·戴卢斯;简·克里斯蒂安森;芬兰人蒂根
2020
使用非标准非确定性实现概率规划库arXiv公司
桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen)
2019

在1个字段中引用

计算机科学(68-XX)

按年份列出的引文