Towards a Semantics for Hybrid ASP systems

08/06/2021
by   Pedro Cabalar, et al.
0

Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make precise the semantic characterization of CLINGO's theory-reasoning framework and establish its correspondence to the logic of Here-and-there with constraints. This provides us with a formal framework in which we can elaborate formal properties of existing hybridizations of CLINGO such as CLINGCON, CLINGOM[DL], and CLINGO[LP].

READ FULL TEXT

page 1

page 2

page 3

page 4

03/09/2020

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

Characterizing hybrid ASP solving in a generic way is difficult since on...
08/10/2021

On the Foundations of Grounding in Answer Set Programming

We provide a comprehensive elaboration of the theoretical foundations of...
02/17/2020

An ASP semantics for Constraints involving Conditional Aggregates

We elaborate upon the formal foundations of hybrid Answer Set Programmin...
08/13/2018

Hybrid Metabolic Network Completion

Metabolic networks play a crucial role in biology since they capture all...
07/13/2017

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...
01/08/2013

Translating NP-SPEC into ASP

NP-SPEC is a language for specifying problems in NP in a declarative way...
05/06/2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Traditional AI reasoning techniques have been used successfully in many ...