ASP(AC): Answer Set Programming with Algebraic Constraints

by   Thomas Eiter, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


Possibilistic Answer Set Programming Revisited

Possibilistic answer set programming (PASP) extends answer set programmi...

Solving Distributed Constraint Optimization Problems Using Logic Programming

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

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

Dealing with context dependent knowledge has led to different formalizat...

Answer Set Programming Made Easy

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

Reactive Answer Set Programming

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

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...

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.