论文标题
涉及条件骨料的约束的ASP语义
An ASP semantics for Constraints involving Conditional Aggregates
论文作者
论文摘要
我们详细阐述了混合答案集编程（ASP）的形式基础，并扩展其基本逻辑框架，其汇总函数超过了约束值和变量。这是通过引入条件表达式的构造来实现的，该构造可以在评估约束时考虑两种选择。考虑哪种替代方案是根据相关条件进行解释依赖性和选择的。我们将重点放在具有线性约束的逻辑程序上，并展示如何将共同的ASP聚集物视为所谓条件线性约束的特定情况。最后，我们将多项式大小，模块化和忠实的翻译从我们的框架转换为常规（无条件）约束ASP，概述了现有混合ASP求解器之上的条件聚合物的实现。
We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables. This is achieved by introducing the construct of conditional expressions, which allow for considering two alternatives while evaluating constraints. Which alternative is considered is interpretation-dependent and chosen according to an associated condition. We put some emphasis on logic programs with linear constraints and show how common ASP aggregates can be regarded as particular cases of so-called conditional linear constraints. Finally, we introduce a polynomial-size, modular and faithful translation from our framework into regular (condition-free) Constraint ASP, outlining an implementation of conditional aggregates on top of existing hybrid ASP solvers.
