混合ASP中聚合和约束的统一处理

Mar, 2020

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

TL;DR该研究提出了一种基于抽象概念的混合ASP求解语义框架，采用一些基本特性规定术语，提供遵循不同语义原则的理论变量的聚合函数并说明它们是ASP现有聚合语义的广义，以及如何依赖混合求解器进行实现。

Abstract

Characterizing hybrid asp solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy smt solving, this is usually addressed by treating theory atoms as opaque. Unli