Name
Title | ||
|---|---|---|
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling |
Abstract | ||
|---|---|---|
Answer Set Programming (ASP) is a novel logic programming paradigm, that has already had a profound impact in several application domains, especially in the areas of knowledge representation and reasoning. In spite of the development of excellent inference engines for ASP, efficiency and scalability remain challenging aspects that prevent the use of ASP in various real-world domains. Parallelism has been identified as a natural avenue to address these problems. This paper describes the design of a complete ASP parallel engine, derived from the basic design of the Smodels architecture. The paper places emphasis on addressing the problem of the irregular structure of the search trees generated by typical ASP computations (in a Smodels-like computation), which requires the use of dynamic load balancing mechanisms. The paper provides a systematic investigation of alternative strategies for dynamic scheduling and task sharing. These are the two components that more directly affect the efficiency of a parallel engine. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1016/j.cl.2009.09.001 | Computer Languages, Systems & Structures |
Keywords | Field | DocType |
typical asp computation,dynamic scheduling,task sharing,smodels-like computation,smodels architecture,answer set programming,answer set program,dynamic load,parallel engine,parallel execution,memory platform,complete asp parallel engine,basic design,excellent inference engine,scheduling,knowledge representation and reasoning,distributed memory,logic programming | Knowledge representation and reasoning,Programming language,Computer science,Scheduling (computing),Distributed memory,Theoretical computer science,Inference engine,Logic programming,Dynamic priority scheduling,Answer set programming,Scalability,Distributed computing | Journal |
Volume | Issue | ISSN |
36 | 2 | Computer Languages, Systems & Structures |
Citations | PageRank | References |
2 | 0.36 | 57 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Enrico Pontelli | 1 | 1901 | 181.26 |
| Hung Viet Le | 2 | 28 | 2.98 |
| Tran Cao Son | 3 | 1795 | 169.42 |