We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: ASP(AC): Answer Set Programming with Algebraic Constraints

Abstract: 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.
Comments: 32 pages, 16 pages are appendix
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Cite as: arXiv:2008.04008 [cs.AI]
  (or arXiv:2008.04008v1 [cs.AI] for this version)

Submission history

From: Rafael Kiesel [view email]
[v1] Mon, 10 Aug 2020 10:20:49 GMT (271kb,D)

Link back to: arXiv, form interface, contact.