A Constructive semantic characterization of aggregates in answer set programming

  • Authors:

  • Tran Cao Son;Enrico Pontelli

  • Affiliations:

  • Department of Computer Science, New Mexico State University, NM, USA (e-mail: tson@cs.nmsu.edu, epontell@cs.nmsu.edu);Department of Computer Science, New Mexico State University, NM, USA (e-mail: tson@cs.nmsu.edu, epontell@cs.nmsu.edu)

  • Venue:
  • Theory and Practice of Logic Programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 &PHgr;aggrP for aggregate programs, independently proposed in Pelov (2004) and Pelov et al. (2004). 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.