×

答案集编程中聚合的构造性语义特征。 (英语) Zbl 1111.68072号

摘要:本技术说明描述了一个单调连续不动点算子,用于计算具有聚合的程序的答案集。定点运算符依赖于聚合解决方案的概念。在某些条件下,该算子的行为与聚合程序的三值直接后果算子(Phi^{mathrm{aggr}}{P})相同,该算子由北佩洛夫【具有聚合的逻辑程序的语义。博士论文,Katholieke Universiteit Leuven(2004)】和N.Pelov和M.DeneckerM.Bruynooghe先生【理论实践日志程序.7301-353(2007;Zbl 1111.68070号)]. 这个操作符允许我们将答案集检查和答案集存在问题的计算复杂性与检查程序中聚合的解决方案的成本紧密联系在一起。最后,我们将操作符描述的语义与使用聚合进行逻辑编程的其他建议联系起来。

MSC公司:

第68季度55 计算理论中的语义学
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部