排名损益 swMATH ID: 42928 软件作者： 蒂兹·里恩斯特拉 描述： RankPL：一种定性概率编程语言。本文介绍了RankPL，这是一种建模语言，可以看作是概率编程语言的一种定性变体，其语义基于斯波恩的排序理论。广义而言，RankPL可用于表示和推理通过区分“正常”和“意外”事件而表现出不确定性的过程。RankPL允许（迭代）修改备选程序状态的排名，并支持各种类型的推理，包括推理和因果推理。我们介绍了该语言、其指称语义和一些实际例子。我们还讨论了可供下载的RankPL实现。 主页： https://arxiv.org/abs/1705.07226 相关软件： 风险投资;菲加罗;教堂 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 RankPL：一种定性概率编程语言。 Zbl 1491.68039号蒂兹·里恩斯特拉 2017 1位作者引用 1 蒂兹·里恩斯特拉 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文