BriefGPT.xyz
Dec, 2013
具有凸广义原子的答案集编程属性
Properties of Answer Set Programming with Convex Generalized Atoms
HTML
PDF
Mario Alviano, Wolfgang Faber
TL;DR
本文分析了规则体中拥有凸广义原子的程序类,发现对于大部分语义,这个类中提出的许多语义是一致的。这是一个有趣的结果,因为最近已经表明,这个类是FLP语义的确切复杂性边界。
Abstract
In recent years,
answer set programming
(ASP), logic programming under the stable model or answer set
semantics
, has seen several extensions by generalizing the notion of an atom in these programs: be it aggregat
→