Unifying Framework for Optimizations in non-boolean Formalisms

06/16/2022
by   Yuliya Lierler, et al.
0

Search-optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of search algorithms and declarative programming languages geared towards solving and modeling search-optimization problems. Automated reasoning and knowledge representation are the subfields of AI that are particularly vested in these developments. Many popular automated reasoning paradigms provide users with languages supporting optimization statements. Recall integer linear programming, MaxSAT, optimization satisfiability modulo theory, and (constraint) answer set programming. These paradigms vary significantly in their languages in ways they express quality conditions on computed solutions. Here we propose a unifying framework of so called extended weight systems that eliminates syntactic distinctions between paradigms. They allow us to see essential similarities and differences between optimization statements provided by distinct automated reasoning languages. We also study formal properties of the proposed systems that immediately translate into formal properties of paradigms that can be captured within our framework. Under consideration in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/13/2022

An Abstract View on Optimizations in Propositional Frameworks

Search-optimization problems are plentiful in scientific and engineering...
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
12/09/2018

Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018

This is the Proceedings of the elevent Workshop on Answer Set Programmin...
research
12/09/2018

Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018

This is the Proceedings of the elevent Workshop on Answer Set Programmin...
research
05/15/2019

Towards Comparing Programming Paradigms

Rapid technological progress in computer sciences finds solutions and at...
research
05/14/2019

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP

The growing complexity and diversity of models used in the engineering o...
research
12/20/2013

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

Recently, researchers in answer set programming and constraint programmi...

Please sign up or login with your details

Forgot password? Click here to reset