回答集编程中 GZ 聚合的复杂性与编译
人工智能
2020-02-19 v1
摘要
Gelfond 和 Zhang 最近提出了一种基于恶性循环原理的新稳定模型语义，以改进对带聚合逻辑程序的解释。本文重点关注这一提议，并分析了新语义下一致性测试和谨慎推理的复杂性。一些令人惊讶的结果突出了与主流聚合稳定模型语义的相似之处和不同之处。此外，本文报告了在现有 ASP 求解器之上实现新语义的编译技术设计，最终实现了一个原型系统，允许对 Gelfond-Zhang 聚合进行实验。将发表于 Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015。
引用
@article{arxiv.1507.03922,
title = {Complexity and Compilation of GZ-Aggregates in Answer Set Programming},
author = {Mario Alviano and Nicola Leone},
journal= {arXiv preprint arXiv:1507.03922},
year = {2020}
}