lp2正常 swMATH ID: 25505 软件作者： 乔里·博曼森 描述： lp2normal–用于扩展逻辑程序的规范化工具。答案集编程（ASP）具有丰富的基于规则的建模语言，用于编码搜索问题。虽然普通规则是该语言中最简单的规则类型，但为了简化复杂条件和约束的建模，引入了各种形式的扩展规则。规范化意味着用功能相同的正常规则集替换这些扩展规则。在本系统描述中，我们介绍了lp2normal，它是一种最先进的标准化器，用于过滤grounders（如gringo）生成的地面逻辑程序。它提供了转换选择规则、基数规则和权重规则的选项，以及使用类似技术重写优化语句的选项。生成的逻辑程序是对缺乏扩展规则支持的工具的合适输入。我们概述了该工具当前支持的规范化技术，并总结了其功能。此外，我们还讨论了标准化的典型应用场景，例如使用后端解算器搜索答案集，而不直接支持基数约束或伪布尔约束。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_20 相关软件： 克林戈;WASP公司;亚萨特;扣环;PySAT公司;xclingo公司;斯莫德尔斯;埃林戈;出售;高温气冷堆;C模型;国内流离失所者3;ASP工具;罗索·克林戈;Clingcon公司;周六4j;DLV公司;Lparse（Lparse）;普韦布洛;古罗比 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 lp2正常–扩展逻辑程序的规范化工具。 Zbl 1491.68040号乔里·博曼森 2017 全部的 前5名16位作者引用 三 Tomi Janhunen 2 乔里·博曼森 1 乔瓦尼·阿蒙多拉 1 马塞洛·巴尔杜奇尼 1 巴特·博加特 1 沃尔夫·德·沃尔夫 1 卡明·多达罗 1 托马斯·艾特 1 沃尔夫冈·法伯 1 马丁·格布瑟 1 马库斯·赫彻 1 林方珍 1 弗朗西斯科·里卡 1 尤西·林塔南 1 王一松 1 张元林 4篇连载文章中引用 2 人工智能 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 在3个字段中引用 8 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文