Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration

12/20/2013
by   Marcello Balduccini, et al.
0

Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP). CASP languages and systems proved to be largely successful at providing efficient solutions to problems involving hybrid reasoning tasks, such as scheduling problems with elements of planning. Yet, the development of CASP systems is difficult, requiring non-trivial expertise in multiple areas. This suggests a need for a study identifying general development principles of hybrid systems. Once these principles and their implications are well understood, the development of hybrid languages and systems may become a well-established and well-understood routine process. As a step in this direction, in this paper we conduct a case study aimed at evaluating various integration schemas of CASP methods.

READ FULL TEXT
research
02/14/2017

Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter

Researchers in answer set programming and constraint programming have sp...
research
07/17/2021

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Constraint answer set programming or CASP, for short, is a hybrid approa...
research
01/08/2013

Planning and Scheduling in Hybrid Domains Using Answer Set Programming

In this paper we present an Action Language-Answer Set Programming based...
research
08/31/2016

PDDL+ Planning via Constraint Answer Set Programming

PDDL+ is an extension of PDDL that enables modelling planning domains wi...
research
09/22/2020

Automated Aggregator – Rewriting with the Counting Aggregate

Answer set programming is a leading declarative constraint programming p...
research
06/16/2022

Unifying Framework for Optimizations in non-boolean Formalisms

Search-optimization problems are plentiful in scientific and engineering...
research
03/24/2020

Hybrid Classification and Reasoning for Image-based Constraint Solving

There is an increased interest in solving complex constrained problems w...

Please sign up or login with your details

Forgot password? Click here to reset