Parallel execution of the ASP computation - An investigation on GPUs

CEUR Workshop Proceedings

Volumn 1433, Issue , 2015, Pages

  Dovier, Agostino ^a   Formisano, Andrea ^b   Pontelli, Enrico ^c   Vella, Flavio ^d  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF PERUGIA   (Italy)

^c NEW MEXICO STATE UNIVERSITY   (United States)

^d SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

ASP computation; ASP solvers; GPU computing; SIMT parallelism

Indexed keywords

COSTS; LOGIC PROGRAMMING; PROGRAM PROCESSORS;

ASP SOLVERS; COMPLEX ARCHITECTURES; DESIGN AND IMPLEMENTATIONS; GPU COMPUTING; GRAPHICAL PROCESSING UNIT (GPUS); MULTI-CORE PLATFORMS; PARALLEL EXECUTIONS; SIMT PARALLELISM;

COMPUTATION THEORY;

EID: 84944241841     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. ALVIANO, M., CALIMERI, F., CHARWAT, G., DAO-TRAN, M., DODARO, C., IANNI, G., KRENNWALLNER, T., KRONEGGER, M., OETSCH, J., PFANDLER, A., PÜHRER, J., REDL, C., RICCA, F., SCHNEIDER, P., SCHWENGERER, M., SPENDIER, L. K., WALLNER, J. P., AND XIAO, G. 2013. The fourth answer set programming competition: Preliminary report. In Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Proceedings, P. Cabalar and T. C. Son, Eds. Lecture Notes in Computer Science, vol. 8148. Springer, 42-53.
2. BALDUCCINI, M., PONTELLI., E., EL-KHATIB, O., AND LE, H. 2005. Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31, 6, 608-647.
3. BARAL, C. 2010. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
4. BIERE, A., HEULE, M., VAN MAAREN, H., AND WALSH, T. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press.
5. CAMPEOTTO, F., DAL PALÙ, A., DOVIER, A., FIORETTO, F., AND PONTELLI, E. 2014. Exploring the Use of GPUs in Constraint Solving. In Proceedings of Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, M. Flatt and H. Guo, Eds. Lecture Notes in Computer Science, vol. 8324. Springer, San Diego, CA, USA, 152-167.
6. CAMPEOTTO, F., DOVIER, A., FIORETTO, F., AND PONTELLI, E. 2014. A GPU implementation of large neighborhood search for solving constraint optimization problems. In ECAI 2014-21st European Conference on Artificial Intelligence - Including Prestigious Applications of Intelligent Systems (PAIS) 2014, T. Schaub, G. Friedrich, and B. O'Sullivan, Eds. Frontiers in Artificial Intelligence and Applications, vol. 263. IOS Press, Prague, Czech Republic, 189-194.
7. CAMPEOTTO, F., DOVIER, A., AND PONTELLI, E. 2015. A Declarative Concurrent System for Protein Structure Prediction on GPU. J. of Experimental & Theoretical Artificial Intelligence (JETAI). In press, on line from February, 24, 2015.
8. DAL PALÙ, A., DOVIER, A., FORMISANO, A., AND PONTELLI, E. 2012. Exploiting unexploited computing resources for computational logics. In Proc. of the 9th Italian Convention on Computational Logic, F. A. Lisi, Ed. CEUR Workshop Proceedings, vol. 857. CEUR-WS.org, 74-88.
9. DAL PALÙ, A., DOVIER, A., FORMISANO, A., AND PONTELLI, E. 2015. CUD@SAT: SAT Solving on GPUs. J. of Experimental & Theoretical Artificial Intelligence (JETAI) 3, 27, 293-316.
10. DAL PALÙ, A., DOVIER, A., PONTELLI, E., AND ROSSI, G. 2009. GASP: answer set programming with lazy grounding. Fundamenta Informaticae 96, 3, 297-322.
11. DECHTER, R. 2003. Constraint processing. Elsevier Morgan Kaufmann.
12. FAGES, F. 1994. Consistency of clark's completion and existence of stable models. Methods of Logic in Computer Science 1, 1, 51-60.
13. FINKEL, R. A., MAREK, V. W., MOORE, N., AND TRUSZCZYNSKI, M. 2001. Computing stable models in parallel. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, 2001.
14. FORMISANO, A. AND VELLA, F. 2014. On multiple learning schemata in conflict driven solvers. In Proceedings of ICTCS 2014., S. Bistarelli and A. Formisano, Eds. CEUR Workshop Proceedings, vol. 1231. CEUR-WS.org, 133-146.
15. GEBSER, M., KAMINSKI, R., KAUFMANN, B., AND SCHAUB, T. 2012. Answer Set Solving in Practice. Morgan & Claypool Publishers.
16. GEBSER, M., KAUFMANN, B., AND SCHAUB, T. 2012a. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187, 52-89.
17. GEBSER, M., KAUFMANN, B., AND SCHAUB, T. 2012b. Multi-threaded ASP solving with clasp. TPLP 12, 4-5, 525-545.
18. GELFOND, M. 2007. Answer sets. In Handbook of Knowledge Representation, F. van Harmelen, V. Lifschitz, and B. Porter, Eds. Elsevier Science.
19. GOLDBERG, E. AND NOVIKOV, Y. 2007. BerkMin: A fast and robust SAT-solver. Discrete Applied Mathematics 155, 12, 1549-1561.
20. KAO, M. AND KLEIN, P. N. 1993. Towards overcoming the transitive-closure bottleneck: Efficient parallel algorithms for planar digraphs. J. Computer and System Sciences 47, 3, 459-500.
21. KHRONOS GROUP INC. 2015. Open CL: The open standard for parallel programming of heterogeneous systems. http://www.khronos.org.
22. KHULLER, S. AND VISHKIN, U. 1994. On the parallel complexity of digraph reachability. Inf. Process. Lett. 52, 5, 239-241.
23. LIN, F. AND ZHAO, Y. 2004. ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Artificial Intelligence 157, 1, 115-137.
24. LIU, L., PONTELLI, E., SON, T. C., AND TRUSZCZYNSKI, M. 2010. Logic programs with abstract constraint atoms: The role of computations. Artificial Intelligence 174, 3-4, 295-315.
25. MANOLIOS, P. AND ZHANG, Y. 2006. Implementing survey propagation on graphics processing units. In Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, 2006, Proceedings, A. Biere and C. P. Gomes, Eds. LNCS, vol. 4121. Springer, 311-324.
26. MAREK, V. W. AND TRUSZCZYNSKI, M. 1998. Stable models and an alternative logic programming paradigm. CoRR cs. LO/9809032.
27. MARQUES SILVA, J. P. AND SAKALLAH, K. A. 1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48, 5, 506-521.
28. NICKOLLS, J. AND DALLY, W. 2010. The GPU computing era. IEEE Micro 30, 2, 56-69.
29. NIEMELÄ, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25, 3-4, 241-273.
30. NVIDIA CORPORATION. 2015. NVIDIA CUDA Zone. https://developer.nvidia.com/cuda-zone.
31. PERRI, S., RICCA, F., AND SIRIANNI, M. 2013. Parallel instantiation of ASP programs: techniques and experiments. TPLP 13, 2, 253-278.
32. PONTELLI, E. AND EL-KHATIB, O. 2001. Exploiting vertical parallelism from answer set programs. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, 2001.
33. PONTELLI, E., LE, H. V., AND SON, T. C. 2010. An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. Computer Languages, Systems & Structures 36, 2, 158-202.
34. ROSSI, F., VAN BEEK, P., AND WALSH, T. 2006. Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science Inc. New York, NY, USA.
35. RUSSELL, S. J. AND NORVIG, P. 2010. Artificial Intelligence - A Modern Approach (3. internat. ed.). Pearson Education.
36. SIMONS, P., NIEMELÄ, I., AND SOININEN, T. 2002. Extending and implementing the stable model semantics. Artificial Intelliigence 138, 1-2, 181-234.
37. SYRJÄNEN, T. AND NIEMELÄ, I. 2001. The smodels system. In Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, Proceedings, T. Eiter, W. Faber, and M. Truszczynski, Eds. Lecture Notes in Computer Science, vol. 2173. Springer, 434-438.
38. VELLA, F., DAL PALÙ, A., DOVIER, A., FORMISANO, A., AND PONTELLI, E. 2013. CUD@ASP: Experimenting with GPGPUs in ASP solving. In Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy., D. Cantone and M. Nicolosi Asmundo, Eds. CEUR Workshop Proceedings, vol. 1068. CEUR-WS.org, 163-177.