Vicious circle principle and formation of sets in ASP based languages
From MaRDI portal
Publication:2401931
DOI10.1007/978-3-319-61660-5_14zbMATH Open1491.68043arXiv1608.08262OpenAlexW2962822920MaRDI QIDQ2401931FDOQ2401931
Authors: Michael Gelfond, Yuanlin Zhang 
Publication date: 5 September 2017
Abstract: The paper continues the investigation of Poincare and Russel's Vicious Circle Principle (VCP) in the context of the design of logic programming languages with sets. We expand previously introduced language Alog with aggregates by allowing infinite sets and several additional set related constructs useful for knowledge representation and teaching. In addition, we propose an alternative formalization of the original VCP and incorporate it into the semantics of new language, Slog+, which allows more liberal construction of sets and their use in programming rules. We show that, for programs without disjunction and infinite sets, the formal semantics of aggregates in Slog+ coincides with that of several other known languages. Their intuitive and formal semantics, however, are based on quite different ideas and seem to be more involved than that of Slog+.
Full work available at URL: https://arxiv.org/abs/1608.08262
Recommendations
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Vicious circle principle and logic programs with aggregates
- {log}: A language for programming in logic with finite sets
- Effectively reasoning about infinite sets in answer set programming
- Complexity and compilation of GZ-aggregates in answer set programming
Cited In (5)
- P-log: refinement and a new coherency condition
- Recursive rules with aggregation: a simple unified semantics
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Determining inference semantics for disjunctive logic programs
- Vicious circle principle and logic programs with aggregates
This page was built for publication: Vicious circle principle and formation of sets in ASP based languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401931)
