Parallel instantiation of ASP programs: techniques and experiments
From MaRDI portal
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
- ASSAT: computing answer sets of a logic program by SAT solvers
- Extending and implementing the stable model semantics
- scientific article; zbMATH DE number 704893 (Why is no real title available?)
- 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
(13)- The intelligent grounder of DLV
- Efficient computation of the well-founded semantics over big data
- Efficient parallel ASP instantiation via dynamic rewriting
- On demand indexing for the DLV instantiator
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
- Experimenting with parallelism for the instantiation of ASP programs
- scientific article; zbMATH DE number 1954102 (Why is no real title available?)
- scientific article; zbMATH DE number 1884396 (Why is no real title available?)
- Multi-threaded ASP solving with clasp
- Optimizing answer set computation via heuristic-based decomposition
- scientific article; zbMATH DE number 7455702 (Why is no real title available?)
- Parallel Logic Programming: A Sequel
- DIRT: a literature-based benchmark suite for grounders
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)
