The original denition of a stable model has been generalized to logic programs with aggregates. On the other hand, it was extended to first-order formulas using a syntactic transformation SM, similar to circumscription. In a recent paper, Lee and Meng combined these two ideas in a single framework by dening the operator SM for generalized formulas that may include, besides the usual syntactic features of first-order logic, symbols used in dlv-style aggregate expressions. In this note, we make the syntax proposed by Lee and Meng more uniform by allowing aggregate symbols to be used at any stage of the recursive process of building a formula from atoms, along with propositional connectives and quantiers. We also generalize several useful properties of SM to formulas with aggregates, and investigate the relationship between the Lee-Meng semantics of aggregates and the semantics of counting adopted in the language RASPL-1.

PDF

In Proceedings of the 2010 Workshop on Nonmonotonic Reasoning 2010.

@inproceedings{ferraris:nmr10ws, title={On the Stable Model Semantics of First-Order Formulas with Aggregates}, author={Paolo Ferraris and Vladimir Lifschitz}, booktitle={Proceedings of the 2010 Workshop on Nonmonotonic Reasoning}, url="http://www.cs.utexas.edu/users/ai-lab?ferraris:nmr10ws", year={2010} }