Vicious Circle Principle and Logic Programs with Aggregates
This work addresses the problem of enhancing knowledge representation for AI researchers and practitioners by integrating aggregates into ASP, though it appears incremental as it builds on existing ASP frameworks.
The paper introduces a knowledge representation language called ALog that extends Answer Set Programming (ASP) with aggregates, aiming for simple syntax and clear semantics. It presents properties of ALog, an algorithm for computing its answer sets, and comparisons with other approaches.
The paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.