×

lp2正常–扩展逻辑程序的规范化工具。 (英语) 兹比尔1491.68040

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 222-228 (2017).
摘要:答案集编程(ASP)具有丰富的基于规则的建模语言,用于编码搜索问题。虽然普通规则是该语言中最简单的规则类型,但为了简化复杂条件和约束的建模,引入了各种形式的扩展规则。规范化意味着用功能相同的正常规则集替换这些扩展规则。在本系统描述中,我们介绍lp2正常,这是一种最先进的标准化器,用作地面逻辑程序的过滤器,例如外国佬它提供了转换选择规则、基数规则和权重规则以及使用类似技术重写优化语句的选项。生成的逻辑程序特别适合于不支持扩展规则的工具的输入。我们概述了该工具当前支持的规范化技术,并总结了其功能。此外,我们还讨论了标准化的典型应用场景,例如使用后端解算器搜索答案集,而不直接支持基数约束或伪布尔约束。
关于整个系列,请参见[兹比尔1367.68005].

MSC公司:

68N17号 逻辑编程
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

lp2正常
PDF格式BibTeX公司 XML格式引用
全文: 内政部