LP2正常

lp2normal——扩展逻辑程序的规范化工具。答案集编程(ASP)具有一种丰富的基于规则的建模语言,用于编码搜索问题。虽然常规规则是语言中最简单的规则类型,但是为了简化复杂条件和约束的建模,已经引入了各种形式的扩展规则。规范化意味着用功能相同的正常规则集替换这种扩展规则。在这个系统描述中,我们介绍了lp2normal,这是一个最先进的规范化器,它作为grounders(如gringo)生成的基本逻辑程序的过滤器。它提供了转换选择规则、基数规则和权重规则的选项,并使用类似的技术重写优化语句。生成的逻辑程序是对缺乏扩展规则支持的工具的适当输入,特别是。我们概述了该工具当前支持的规范化技术,并总结了其特性。此外,我们还讨论了标准化的典型应用场景,例如在没有直接支持基数约束或伪布尔约束的情况下,使用后端解算器实现对答案集的搜索。