Vicious Circle Principle and Logic Programs with Aggregates

TL;DR

This paper introduces $log$, a logic programming language extending ASP with aggregates, emphasizing simplicity, clear semantics, and providing an answer set computation algorithm and comparisons.

Contribution

It presents a new knowledge representation language with aggregates, offering simple syntax, intuitive semantics, and an answer set computation method.

Findings

Properties of $log$ are established

An algorithm for computing answer sets is provided

Comparison with other approaches is included

Abstract

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.