×

预ASP

swMATH ID: 18512
软件作者: 马蒂亚斯·尼克尔斯
描述: 一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。本系统描述文件描述了软件框架PrASP(“概率答案集编程”)。PrASP既是一种不确定性推理和机器学习软件,也是一种基于答案集编程(ASP)的概率逻辑编程语言。除了作为非单调(归纳)概率逻辑编程的研究软件平台之外,我们的框架主要针对不确定性流推理领域的应用。PrASP程序可以由ASP(AnsProlog)和一阶逻辑公式(具有稳定的模型语义)组成,并用条件或无条件概率或概率区间进行注释。许多替代推理算法允许将系统调整到不同的任务特征(例如,是否可以进行独立性假设)。
主页: http://link.springer.com/chapter/10.1007%2F978-3-319-48758-8_24
关键词: 人工智能;答案集编程;概率逻辑程序设计;统计-关系学习;
相关软件: 棱镜;ProbLog(问题日志);DeepProbLog(深度探测日志);cplint(cplint);SCIFF公司;XSB公司;CP逻辑;太阳能;数据日志;f2低压
引用于: 3出版物

在1个字段中引用

计算机科学(68至XX)

按年份列出的引文