Quantitative and Stream Extensions of Answer Set Programming

TL;DR

This paper introduces a comprehensive framework that integrates constraints, streaming capabilities, and quantitative reasoning into Answer Set Programming using Here-and-There Logic and Weighted Logic.

Contribution

It presents a novel unified framework combining three major extensions of Answer Set Programming, leveraging logical foundations for enhanced reasoning capabilities.

Findings

Unified framework successfully integrates multiple extensions.

Framework demonstrates theoretical soundness and potential for practical applications.

Provides a basis for future research in advanced Answer Set Programming techniques.

Abstract

Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis of a general framework that incorporates all three directions of extension by exploiting the strengths of Here-and-There Logic and Weighted Logic.