We propose a formalism for manipulating soft constraints based on polyadic algebras. The choice of such algebras in place of classical cylindric ones simplifies the structure of the partial order of preference values by removing diagonals, a family of constants used for modelling parameter passing and variable substitution, whose presence require completeness. Removing diagonals also allows for an easy representation of preference/cost functions in terms of polynomials, thus streamlining their manipulation on languages based on (stores of) constraints. Besides presenting the main features of the new formalism, the paper investigates how the operators of polyadic algebras interact with the residuated monoid structure that is used for representing the set of preference values.

Polyadic Soft Constraints

Santini F.
2019

Abstract

We propose a formalism for manipulating soft constraints based on polyadic algebras. The choice of such algebras in place of classical cylindric ones simplifies the structure of the partial order of preference values by removing diagonals, a family of constants used for modelling parameter passing and variable substitution, whose presence require completeness. Removing diagonals also allows for an easy representation of preference/cost functions in terms of polynomials, thus streamlining their manipulation on languages based on (stores of) constraints. Besides presenting the main features of the new formalism, the paper investigates how the operators of polyadic algebras interact with the residuated monoid structure that is used for representing the set of preference values.
2019
978-3-030-31174-2
978-3-030-31175-9
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11391/1456102
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact