递归聚合的实例化：初步报告

答案集编程中的问题求解包括两个步骤：第一步实例化阶段，系统地将所有变量替换为项；第二步求解阶段，计算所得基程序的稳定模型。这两个步骤中一个复杂的部分是对聚合的处理，聚合是一种流行的语言构造，允许表达集合上的性质。在本文中，我们详细阐述了 Gringo 4 系列中实例化期间对聚合的处理。因此，我们的方法适用于基于半朴素数据库评估技术的实例化。特别地，我们提供了一系列详述递归聚合处理的算法，并通过一个运行示例加以说明。