On the Semantics of Hybrid ASP Systems Based on Clingo

Over the last decades, the development of Answer Set Programming (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 i...

Full description

Saved in:
Bibliographic Details
Published in:Algorithms Vol. 16; no. 4; p. 185
Main Authors: Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Wanko, Philipp
Format: Journal Article
Language:English
Published: Basel MDPI AG 01.04.2023
Subjects:
answer set programming
answer set programming modulo theories
Certification
Computer models
Computers
Declarative programming
hybrid reasoning
Hybrid systems
Linear equations
Mathematical programming
Programming languages
semantic foundations
Semantics
Services
Syntax
Variables
Germany
ISSN:1999-4893, 1999-4893
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Over the last decades, the development of Answer Set Programming (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 the semantic characterization of clingo’s theory-reasoning framework precise. This provides us with a formal framework in which we can elaborate upon the formal properties of existing hybridizations of clingo, such as clingcon, clingo[dl], and clingo[lp].
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1999-4893
1999-4893
DOI:10.3390/a16040185