Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.

GPU-Based Parallelism for ASP-Solving / Dovier, A.; Formisano, A.; Vella, F.. - ELETTRONICO. - 12057:(2020), pp. 3-23. (Intervento presentato al convegno 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 tenutosi a Cottbus, Germany nel 9-12 September, 2019) [10.1007/978-3-030-46714-2_1].

GPU-Based Parallelism for ASP-Solving

Vella F.
2020-01-01

Abstract

Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.
2020
Declarative Programming and Knowledge Management
Cham, Svizzera
Springer
978-3-030-46713-5
978-3-030-46714-2
Dovier, A.; Formisano, A.; Vella, F.
GPU-Based Parallelism for ASP-Solving / Dovier, A.; Formisano, A.; Vella, F.. - ELETTRONICO. - 12057:(2020), pp. 3-23. (Intervento presentato al convegno 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 tenutosi a Cottbus, Germany nel 9-12 September, 2019) [10.1007/978-3-030-46714-2_1].
File in questo prodotto:
File Dimensione Formato  
Dovier2020_Chapter_GPU-BasedParallelismForASP-Sol.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.89 MB
Formato Adobe PDF
1.89 MB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/332714
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact