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

Download:

Current browse context:

cs.AI

Change to browse by:

cs

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: On the Foundations of Grounding in Answer Set Programming

Abstract: We provide a comprehensive elaboration of the theoretical foundations of variable instantiation, or grounding, in Answer Set Programming (ASP). Building on the semantics of ASP's modeling language, we introduce a formal characterization of grounding algorithms in terms of (fixed point) operators. A major role is played by dedicated well-founded operators whose associated models provide semantic guidance for delineating the result of grounding along with on-the-fly simplifications. We address an expressive class of logic programs that incorporates recursive aggregates and thus amounts to the scope of existing ASP modeling languages. This is accompanied with a plain algorithmic framework detailing the grounding of recursive aggregates. The given algorithms correspond essentially to the ones used in the ASP grounder gringo.
Comments: unpublished draft
Subjects: Artificial Intelligence (cs.AI)
ACM classes: I.2.4
Cite as: arXiv:2108.04769 [cs.AI]
  (or arXiv:2108.04769v2 [cs.AI] for this version)

Submission history

From: Roland Kaminski [view email]
[v1] Tue, 10 Aug 2021 16:23:49 GMT (372kb,D)
[v2] Tue, 11 Jan 2022 09:22:11 GMT (385kb,D)

Link back to: arXiv, form interface, contact.