Vicious circle principle and formation of sets in ASP based languages

Michael Gelfond; Yuanlin Zhang

doi:10.1007/978-3-319-61660-5_14

Vicious circle principle and formation of sets in ASP based languages

Michael Gelfond, Yuanlin Zhang

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings
Editors	Marcello Balduccini, Tomi Janhunen
Publisher	Springer-Verlag
Pages	146-159
Number of pages	14
ISBN (Print)	9783319616599
DOIs	https://doi.org/10.1007/978-3-319-61660-5_14
State	Published - 2017
Event	14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland Duration: Jul 3 2017 → Jul 6 2017

Publication series

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

Conference

Conference	14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
Country	Finland
City	Espoo
Period	07/3/17 → 07/6/17

Access to Document

10.1007/978-3-319-61660-5_14

Link to publication in Scopus

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

Gelfond, Michael ; Zhang, Yuanlin. / Vicious circle principle and formation of sets in ASP based languages. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. editor / Marcello Balduccini ; Tomi Janhunen. Springer-Verlag, 2017. pp. 146-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7ffb7fd4a6a84074aca7ea001c17c2ac,

title = "Vicious circle principle and formation of sets in ASP based languages",

abstract = "The paper continues the investigation of Poincare and Russel{\textquoteright}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+.",

author = "Michael Gelfond and Yuanlin Zhang",

year = "2017",

doi = "10.1007/978-3-319-61660-5_14",

language = "English",

isbn = "9783319616599",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "146--159",

editor = "Marcello Balduccini and Tomi Janhunen",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings",

note = "null ; Conference date: 03-07-2017 Through 06-07-2017",

}

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10377 LNAI, Springer-Verlag, pp. 146-159, 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, Espoo, Finland, 07/3/17. https://doi.org/10.1007/978-3-319-61660-5_14

Vicious circle principle and formation of sets in ASP based languages. / Gelfond, Michael; Zhang, Yuanlin.

Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. ed. / Marcello Balduccini; Tomi Janhunen. Springer-Verlag, 2017. p. 146-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Vicious circle principle and formation of sets in ASP based languages

AU - Gelfond, Michael

AU - Zhang, Yuanlin

PY - 2017

Y1 - 2017

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

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

UR - http://www.scopus.com/inward/record.url?scp=85025157809&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-61660-5_14

DO - 10.1007/978-3-319-61660-5_14

M3 - Conference contribution

AN - SCOPUS:85025157809

SN - 9783319616599

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 146

EP - 159

BT - Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings

A2 - Balduccini, Marcello

A2 - Janhunen, Tomi

PB - Springer-Verlag

Y2 - 3 July 2017 through 6 July 2017

ER -

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