Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
Abstract
Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key requirement is the presence of an aggregator operator for combining preferences. Given a residuated monoid of preferences, the paper first shows how to build a new residuated monoid of (possibly infinite) tuples, which is based on the lexicographic order. Second, it introduces a variant of an approximation technique (known as Mini-bucket) that exploits the presence of the weak inverse.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.06741
- arXiv:
- arXiv:2103.06741
- Bibcode:
- 2021arXiv210306741G
- Keywords:
-
- Computer Science - Logic in Computer Science