摘要
我们提出了Plingo,一个用多种概率推理模式扩展ASP系统Clingo的工具。Plingo的核心是LP^MLN,一个基于马尔可夫逻辑权重方案的ASP概率扩展。这种选择是基于这样一个事实:核心概率推理模式可以映射到优化问题上,并且LP^MLN可以作为一个连接其他概率方法的中间形式化方法。因此,Plingo提供了三个替代前端,用于LP^MLN、P-log和ProbLog。相应的输入语言和推理模式是通过Clingo的多轮求解和理论求解能力实现的。Plingo的核心在于使用现代ASP技术重新实现了LP^MLN,并通过基于一种新的按最优性顺序枚举答案集的方法的近似技术进行了扩展。我们通过将其与其他概率系统进行比较,对Plingo的性能进行了实证评估。