TY - GEN
T1 - Vicious circle principle and formation of sets in ASP based languages
AU - Gelfond, Michael
AU - Zhang, Yuanlin
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
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 -