Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

09/18/2019
by   Marco De Bortoli, et al.
0

Answer Set Programming (ASP) is a famous logic language for knowledge representation, which has been really successful in the last years, as witnessed by the great interest into the development of efficient solvers for ASP. Yet, the great request of resources for certain types of problems, as the planning ones, still constitutes a big limitation for problem solving. Particularly, in the case the program is grounded before the resolving phase, an exponential blow up of the grounding can generate a huge ground file, infeasible for single machines with limited resources, thus preventing even the discovering of a single non-optimal solution. To address this problem, in this paper we present a distributed approach to ASP solving, exploiting distributed computation benefits in order to overcome the just explained limitations. The here presented tool, which is called Distributed Answer Set Coloring (DASC), is a pure solver based on the well-known Graph Coloring algorithm. DASC is part of a bigger project aiming to bring logic programming into a distributed system, started in 2017 by Federico Igne with mASPreduce and continued in 2018 by Pietro Totis with a distributed grounder. In this paper we present a low level implementation of the Graph Coloring algorithm, via the Boost and MPI libraries for C++. Finally, we provide a few results of the very first working version of our tool, at the moment without any strong optimization or heuristic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/26/2015

ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing

The natural way to use Answer Set Programming (ASP) to represent knowled...
research
08/08/2020

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

Answer-Set Programming (ASP) is a powerful and expressive knowledge repr...
research
02/18/2018

Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems

Significant research has been conducted in recent years to extend Induct...
research
09/17/2021

Graph Based Answer Set Programming Solver Systems

Answer set programming (ASP) is a popular nonmonotonic-logic based parad...
research
09/22/2020

An application of Answer Set Programming in Distributed Architectures: ASP Microservices

We propose an approach to the definition of microservices with an Answer...
research
05/19/2023

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

In Answer Set Programming (ASP), the user can define declaratively a pro...
research
06/12/2023

Towards end-to-end ASP computation

We propose an end-to-end approach for answer set programming (ASP) and l...

Please sign up or login with your details

Forgot password? Click here to reset