A Characterization of the Semantics of Logic Programs with Aggregates
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1338-1343.
Abstract
The aggregates have greatly extended the representation power, in both theory and practice, of Answer Set Programming. Significant understanding of programs with aggregates has been gained in the last decade. However, there is still a substantial difficulty in understanding the semantics due to the nonmonotonic behavior of aggregates, which is demonstrated by several distinct semantics for aggregates in the existing work. In this paper, we aim to understand these distinct semantics in a more uniform way. Particularly, by satisfiability, rationality and consistency principles, we are able to give a uniform and simple characterizations of the three major distinct types of answer set semantics.
@inproceedings{ijcai2016p193,
title = {A Characterization of the Semantics of Logic Programs with Aggregates},
author = {Zhang, Yuanlin and Rayatidamavandi, Maede},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1338--1343},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/193},
}
TY - CPAPER TI - A Characterization of the Semantics of Logic Programs with Aggregates AU - Zhang, Yuanlin AU - Rayatidamavandi, Maede T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1338 EP - 1343 UR - https://ijcai.org/proceedings/2016/193 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
