普拉斯

基于逻辑规划和一阶理论的稳定模型语义下的概率推理工具。本系统描述文件描述了软件框架PrASP(“概率答案集编程”)。PrASP既是一个不确定性推理和机器学习软件,又是一种基于答案集编程(ASP)的概率逻辑编程语言。除了作为非单调(归纳)概率逻辑程序设计的研究软件平台,我们的框架主要面向不确定性流推理领域的应用。PrASP程序可以由ASP(AnsProlog)和一阶逻辑公式(具有稳定的模型语义)组成,并用条件或无条件概率或概率区间进行注释。许多可供选择的推理算法允许使系统适应不同的任务特征(例如,是否可以做出独立性假设)。