Counting Answer Sets via Dynamic Programming

12/22/2016
by   Johannes Fichte, et al.
0

While the solution counting problem for propositional satisfiability (#SAT) has received renewed attention in recent years, this research trend has not affected other AI solving paradigms like answer set programming (ASP). Although ASP solvers are designed to enumerate all solutions, and counting can therefore be easily done, the involved materialization of all solutions is a clear bottleneck for the counting problem of ASP (#ASP). In this paper we propose dynamic programming-based #ASP algorithms that exploit the structure of the underlying (ground) ASP program. Experimental results for a prototype implementation show promise when compared to existing solvers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/28/2017

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

A vibrant theoretical research area are efficient exact parameterized al...
research
07/22/2019

Abstract Solvers for Computing Cautious Consequences of ASP programs

Abstract solvers are a method to formally analyze algorithms that have b...
research
05/14/2014

Bound Founded Answer Set Programming

Answer Set Programming (ASP) is a powerful modelling formalism that is v...
research
12/31/2018

Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization

We propose Differentiable Satisfiability and Differentiable Answer Set P...
research
04/28/2023

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

We present algorithms based on satisfiability problem (SAT) solving, as ...
research
10/21/2019

A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

Deductive formalisms have been strongly developed in recent years; among...
research
10/06/2012

D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

In this work, we propose Answer-Set Programming (ASP) as a tool for rapi...

Please sign up or login with your details

Forgot password? Click here to reset