Parallel instantiation of ASP programs: techniques and experiments
From MaRDI portal
Publication:5299587
Abstract: Answer Set Programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry. The evaluation of ASP programs is traditionally carried out in two steps. At the first step an input program P undergoes the so-called instantiation (or grounding) process, which produces a program P' semantically equivalent to P, but not containing any variable; in turn, P' is evaluated by using a backtracking search algorithm in the second step. It is well-known that instantiation is important for the efficiency of the whole evaluation, might become a bottleneck in common situations, is crucial in several realworld applications, and is particularly relevant when huge input data has to be dealt with. At the time of this writing, the available instantiator modules are not able to exploit satisfactorily the latest hardware, featuring multi-core/multi-processor SMP (Symmetric MultiProcessing) technologies. This paper presents some parallel instantiation techniques, including load-balancing and granularity control heuristics, which allow for the effective exploitation of the processing power offered by modern SMP machines. This is confirmed by an extensive experimental analysis herein reported. To appear in Theory and Practice of Logic Programming (TPLP). KEYWORDS: Answer Set Programming, Instantiation, Parallelism, Heuristics
Recommendations
- Experimenting with parallelism for the instantiation of ASP programs
- Efficient parallel ASP instantiation via dynamic rewriting
- scientific article; zbMATH DE number 1884396
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
- On demand indexing for the DLV instantiator
Cites work
- scientific article; zbMATH DE number 704893 (Why is no real title available?)
- ASSAT: computing answer sets of a logic program by SAT solvers
- Extending and implementing the stable model semantics
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and knowledge representation---The A-Prolog perspective
- Mixed integer programming methods for computing nonmonotonic deductive databases
- The DLV system for knowledge representation and reasoning
- Unfolding partiality and disjunctions in stable model semantics
- Verifying security protocols as planning in logic programming
Cited in
(12)- Efficient computation of the well-founded semantics over big data
- scientific article; zbMATH DE number 1954102 (Why is no real title available?)
- Multi-threaded ASP solving with clasp
- Experimenting with parallelism for the instantiation of ASP programs
- scientific article; zbMATH DE number 1884396 (Why is no real title available?)
- Parallel Logic Programming: A Sequel
- scientific article; zbMATH DE number 7455702 (Why is no real title available?)
- Optimizing answer set computation via heuristic-based decomposition
- On demand indexing for the DLV instantiator
- The intelligent grounder of DLV
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
- Efficient parallel ASP instantiation via dynamic rewriting
This page was built for publication: Parallel instantiation of ASP programs: techniques and experiments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5299587)
