Automated Aggregator – Rewriting with the Counting Aggregate

09/22/2020
by   Michael Dingess, et al.
0

Answer set programming is a leading declarative constraint programming paradigm with wide use for complex knowledge-intensive applications. Modern answer set programming languages support many equivalent ways to model constraints and specifications in a program. However, so far answer set programming has failed to develop systematic methodologies for building representations that would uniformly lend well to automated processing. This suggests that encoding selection, in the same way as algorithm selection and portfolio solving, may be a viable direction for improving performance of answer-set solving. The necessary precondition is automating the process of generating possible alternative encodings. Here we present an automated rewriting system, the Automated Aggregator or AAgg, that given a non-ground logic program, produces a family of equivalent programs with complementary performance when run under modern answer set programming solvers. We demonstrate this behavior through experimental analysis and propose the system's use in automated answer set programming solver selection tools.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/08/2019

SMT-based Constraint Answer Set Solver EZSMT+

Constraint answer set programming integrates answer set programming with...
04/23/2018

Shared aggregate sets in answer set programming

Aggregates are among the most frequently used linguistic extensions of a...
07/17/2021

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Constraint answer set programming or CASP, for short, is a hybrid approa...
09/21/2018

onlineSPARC: a Programming Environment for Answer Set Programming

Recent progress in logic programming (e.g., the development of the Answe...
01/08/2013

Planning and Scheduling in Hybrid Domains Using Answer Set Programming

In this paper we present an Action Language-Answer Set Programming based...
12/20/2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration

Recently, researchers in answer set programming and constraint programmi...
12/05/2011

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Many applications require complexly structured data objects. Developing ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.