Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 具有析取的抽象约束程序的FLP式应答集语义。 （英语） Zbl 1281.68150号 Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，222-234，仅电子版（2012年）。 摘要：我们以Faber、Leone和Pfeifer（FLP）的风格，为规则头中具有析取的抽象约束程序引入了一种答案集语义。为此，我们使用通常的FLP-reduction扩展了规则体中聚集逻辑程序的答案集定义。此外，我们还提供了关于无根据集合的语义特征，同样也概括了无依据集合的标准概念。我们的工作是出于对答案集编程（ASP）语言的语义进行简单且基于规则的定义的愿望，该语言与最著名的ASP解算器所实现的语言相近。新的定义旨在作为一种理论手段，允许ASP的开发方法和方法，例如调试或测试技术，这些方法和方法足够通用，可以适用于不同类型的求解器。我们使用抽象约束作为文字的抽象，文字的真值取决于解释的子集。这包括重量约束、聚集和外部原子，这些在真实世界的应答程序中经常使用。我们将抽象约束程序的新语义与以前的语义进行了比较，并表明当抽象约束程序被视为理论时，它们等价于FLP语义到命题和一阶理论的最新扩展。关于整个系列，请参见[Zbl 1253.68010号]. 引用于2文件 MSC公司： 68问题55 计算理论中的语义学 68T27型 人工智能中的逻辑 关键词：答案集编程;抽象约束;骨料;分离 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，LIPIcs——莱布尼茨国际程序。通知。17、222--234（2012；Zbl 1281.68150） 全文： DOI程序