预ASP swMATH ID: 18512 软件作者： 马蒂亚斯·尼克尔斯 描述： 一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。本系统描述文件描述了软件框架PrASP（“概率答案集编程”）。PrASP既是一种不确定性推理和机器学习软件，也是一种基于答案集编程（ASP）的概率逻辑编程语言。除了作为非单调（归纳）概率逻辑编程的研究软件平台之外，我们的框架主要针对不确定性流推理领域的应用。PrASP程序可以由ASP（AnsProlog）和一阶逻辑公式（具有稳定的模型语义）组成，并用条件或无条件概率或概率区间进行注释。许多替代推理算法允许将系统调整到不同的任务特征（例如，是否可以进行独立性假设）。 主页： http://link.springer.com/chapter/10.1007%2F978-3-319-48758-8_24 关键词： 人工智能;答案集编程;概率逻辑程序设计;统计-关系学习;坐 相关软件： ProbLog（问题日志）;棱镜;克林戈;PASOCS公司;SMProb日志;面团;DeepProbLog（深度探测日志）;cplint（cplint）;SCIFF公司;XSB公司;CP逻辑;太阳能;数据日志;f2低压 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 Zbl 1483.68408号马蒂亚斯·尼克尔斯 2016 全部的 前5名8位作者引用 2 达米亚诺·阿佐利尼 2 埃琳娜·贝洛迪 2 法布里西奥·里古齐 1 斯特凡诺·费里利 1 法比奥·加利亚迪·科兹曼 1 Denis Deratani毛阿 1 马蒂亚斯·尼克尔斯 1 里卡多·泽斯 连载1篇 2 国际近似推理杂志 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文