Vicious circle principle and formation of sets in ASP based languages

Michael Gelfond, Yuanlin Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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+.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings
EditorsMarcello Balduccini, Tomi Janhunen
PublisherSpringer-Verlag
Pages146-159
Number of pages14
ISBN (Print)9783319616599
DOIs
StatePublished - 2017
Event14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland
Duration: Jul 3 2017Jul 6 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10377 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
CountryFinland
CityEspoo
Period07/3/1707/6/17

Fingerprint Dive into the research topics of 'Vicious circle principle and formation of sets in ASP based languages'. Together they form a unique fingerprint.

  • Cite this

    Gelfond, M., & Zhang, Y. (2017). Vicious circle principle and formation of sets in ASP based languages. In M. Balduccini, & T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings (pp. 146-159). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 LNAI). Springer-Verlag. https://doi.org/10.1007/978-3-319-61660-5_14