让线性约束具备ASP的灵活语义，支持默认值与非确定性赋值。
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
- 在数值约束中引入谓词化表达，保留ASP的默认值与选择规则语义。
- 支持属性未定义、非确定性赋值及聚合值，突破传统约束表达局限。
- 适用于需混合逻辑与数值推理的复杂系统建模，如规划与配置问题。
约束答案集编程（CASP）是将答案集编程（ASP）与数值约束处理相结合的混合范式，对许多实际应用至关重要。然而，现有大多数CASP求解器中的约束定义更贴近数值后端的表达能力，而非ASP范式的语义。在ASP中，数值属性以谓词形式表示，可声明默认值、允许属性未定义、通过选择规则进行非确定性赋值或使用聚合值。而在传统CASP中，一旦采用基于约束的表示方式，这些特性便大多丢失。本文提出flingo语言（及工具），将上述表达能力融入数值约束，并通过多个实例展示其应用。基于前期建立的语义基础，我们还给出了从flingo语法到标准clingcon格式CASP程序的转换方法。
原文摘要 · Abstract (English)
Constraint Answer Set Programming (CASP) is a hybrid paradigm that enriches Answer Set Programming (ASP) with numerical constraint processing, a crucial requirement for many real-world applications. However, the specification of constraints in most CASP solvers aligns more closely with the expressiveness and semantics of the numerical back-end than the ASP paradigm. In the latter, numerical attributes are represented as predicates, which allows declaring default values, leaving the attribute undefined, making non-deterministic assignments with choice rules, or using aggregated values. In CASP, most (if not all) of these features are lost once we switch to a constraint-based representation of those same attributes. In this paper, we present the flingo language (and tool) that incorporates the aforementioned expressiveness within numerical constraints, and we illustrate its use with several examples. Based on previous work that established its semantic foundations, we also present a translation from the newly introduced flingo syntax to regular CASP programs following the clingcon input format.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。