混合 ASP 中聚合与约束的统一处理
计算机科学中的逻辑
2020-03-16 v2 人工智能
摘要
以通用方式刻画混合 ASP 求解是困难的，因为需要抽象于具体理论。受惰性 SMT 求解启发，这通常通过将理论原子视为不透明来处理。与此不同，我们提出一种稍显透明的方法，其包含项的抽象概念。我们不对项强加语法，而是通过仅规定一些基本性质来保持其抽象性。基于此，我们进一步开发了混合 ASP 求解的语义框架，并为理论变量提供遵循不同语义原则的聚合函数，证明它们推广了 ASP 中已有的聚合语义，以及我们如何能够依赖现成的混合求解器来实现。
引用
@article{arxiv.2003.04176,
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid ASP},
author = {Pedro Cabalar and Jorge Fandinno and Torsten Schaub and Philipp Wanko},
journal= {arXiv preprint arXiv:2003.04176},
year = {2020}
}