Vicious circle principle, aggregates, and formation of sets in ASP based languages

Michael Gelfond, Yuanlin Zhang

Research output: Contribution to journalArticle

1 Scopus citations

Abstract

The paper introduces an extension of the original Answer Set Prolog (ASP) by several set constructs including aggregates, defined as functions on sets. The new language, called Alog allows creating sets based on the Vicious Circle Principle by Poincaré and Russell which eliminates a number of problems found in existing extensions of ASP by aggregates. We argue that, despite the fact that Alog is not as expressive as other extensions of ASP by aggregates, clarity of its syntax and semantics, addition of several new set-based constructs, and simplicity and the ease of use make it a viable competitor to these languages. We also study a number of important properties of the language and show how ideas used in its design can be utilized to generalize and simplify the definition of another important extension of ASP by aggregates.

Original languageEnglish
Pages (from-to)28-77
Number of pages50
JournalArtificial Intelligence
Volume275
DOIs
StatePublished - Oct 2019

Keywords

  • Aggregates
  • Answer set programming
  • Knowledge representation
  • Language design
  • Logic programming

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

  • Cite this