Constraint answer set programming without grounding
From MaRDI portal
Publication:4559798
Abstract: Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets. s(CASP) inherits and generalizes the execution model of s(ASP) and is parametric w.r.t. the constraint solver. We describe this novel execution model and show through several examples the enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other CASP systems. We also report improved performance w.r.t. other very mature, highly optimized ASP systems in some benchmarks. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).
Recommendations
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- A decidable subclass of finitary programs
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- An overview of Ciao and its design philosophy
- Clingo goes linear constraints over reals and integers
- Constraint answer set solver EZCSP and why integration schemas matter
- External sources of knowledge and value invention in logic programming
- GASP: Answer set programming with lazy grounding
- Logic Programming
- Magic sets for disjunctive Datalog programs
- On finitely recursive programs
- \textit{clingcon}: the next generation
Cited in
(23)- GK: implementing full first order default logic for commonsense reasoning (system description)
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- The power of non-ground rules in Answer Set Programming
- Abstraction for non-ground answer set programs
- Answer Set Programming without Unstratified Negation
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Synthesizing Imperative Code from Answer Set Programming Specifications
- Enhancing ASP Systems for Planning with Temporal Constraints
- CASP solutions for planning in hybrid domains
- An ASP-based Approach to Answering Natural Language Questions for Texts
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Proof-theoretic foundations of normal logic programs
- scientific article; zbMATH DE number 7453143 (Why is no real title available?)
- scientific article; zbMATH DE number 7453145 (Why is no real title available?)
- scientific article; zbMATH DE number 7455707 (Why is no real title available?)
- Model-based diagnosis with ASP for non-groundable domains
- Fifty Years of Prolog and Beyond
- Building Information Modeling Using Constraint Logic Programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- Modeling and reasoning in event calculus using goal-directed constraint answer set programming
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
This page was built for publication: Constraint answer set programming without grounding
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559798)
