ASP(AC): Answer Set Programming with Algebraic Constraints

08/10/2020
by   Thomas Eiter, et al.
0

Weighted Logic is a powerful tool for the specification of calculations over semirings that depend on qualitative information. Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on intuitionistic grounds, we introduce Answer Set Programming with Algebraic Constraints (ASP(AC)), where rules may contain constraints that compare semiring values to weighted formula evaluations. Such constraints provide streamlined access to a manifold of constructs available in ASP, like aggregates, choice constraints, and arithmetic operators. They extend some of them and provide a generic framework for defining programs with algebraic computation, which can be fruitfully used e.g. for provenance semantics of datalog programs. While undecidable in general, expressive fragments of ASP(AC) can be exploited for effective problem-solving in a rich framework. This work is under consideration for acceptance in Theory and Practice of Logic Programming.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/15/2012

Possibilistic Answer Set Programming Revisited

Possibilistic answer set programming (PASP) extends answer set programmi...
05/10/2017

Solving Distributed Constraint Optimization Problems Using Logic Programming

This paper explores the use of Answer Set Programming (ASP) in solving D...
08/06/2021

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Dealing with context dependent knowledge has led to different formalizat...
11/11/2021

Answer Set Programming Made Easy

We take up an idea from the folklore of Answer Set Programming, namely t...
09/22/2021

Reactive Answer Set Programming

Logic Production System (LPS) is a logic-based framework for modelling r...
07/13/2017

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...
05/04/2014

Probabilistic Inductive Logic Programming Based on Answer Set Programming

We propose a new formal language for the expressive representation of pr...
This week in AI

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