2006/01/13 by Tran Cao Son, Enrico Pontelli, Son, Tran Cao +1
Computer Science · #Artificial Intelligence (cs.AI) #D.1.6 #D.3.1 #D.3.2 #D.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.AI #cs.LO #cs.PL #cs.SC
paper · pdf · doi:10.48550/arxiv.cs/0601051
21 pages
arxiv created 2006/02/08 · arxiv updated 2009/12/01
This technical note describes a monotone and continuous fixpoint operator to compute the answer sets of programs with aggregates. The fixpoint operator relies on the notion of aggregate solution. Under certain conditions, this operator behaves identically to the three-valued immediate consequence operator ΦaggrP for aggregate programs, independently proposed Pelov et al. This operator allows us to closely tie the computational complexity of the answer set checking and answer sets existence problems to the cost of checking a solution of the aggregates in the program. Finally, we relate the semantics described by the operator to other proposals for logic programming with aggregates. To appear in Theory and Practice of Logic Programming (TPLP).