A Simple Distributed Conflict-Driven Answer Set Solver

Authors:
Enrico Ellguth;Martin Gebser;Markus Gusowski;Benjamin Kaufmann;Roland Kaminski;Stefan Liske;Torsten Schaub;Lars Schneidenbach;Bettina Schnor
Affiliations:
Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Dublin Software Lab, Mulhuddart, IBM Ireland, Dublin 15, Ireland;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482
Venue:
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
2009

Citing 8
Cited 6

PSATO: a distributed propositional prover and its application to quasigroup problems

Journal of Symbolic Computation - Special issue on parallel symbolic computation
Using MPI-2: Advanced Features of the Message Passing Interface

Using MPI-2: Advanced Features of the Message Passing Interface
Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing
On Probing and Multi-Threading in PLATYPUS

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-driven answer set enumeration

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
PLATYPUS: a platform for distributed answer set solving

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning

The Conflict-Driven Answer Set Solver clasp: Progress Report

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Cluster-based ASP solving with claspar

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Conflict-driven answer set solving: From theory to practice

Artificial Intelligence
Multi-threaded asp solving with clasp

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an approach to distributed Answer Set Solving based on Message Passing. Our approach aims at taking advantage of modern ASP solvers rather than proposing a genuine yet involved parallel ASP solver. To this end, we rely upon a simple master-worker architecture in which each worker amounts to an off-the-shelf ASP solver augmented with a separate communication module being only lightly connected to the actual solver. The overall communication is driven by the workers' communication modules, which asynchronously exchange messages with the master. We have implemented our approach and report upon an empirical study demonstrating its computational impact.