http://www.cnr.it/ontology/cnr/individuo/prodotto/ID83583

Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno)

Type

Label

Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno) (literal)

Anno

Alternative label

[1] Bistarelli S., [2] Gadducci F (2006)
Enhancing constraints manipulation in semiring-based formalisms
in 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 Aug - 1 Sept 2006
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

[1] CNR-IIT, Pisa, Italy; [2] Dipartimento di Informatica, Universita' di Pisa, Italy (literal)

Titolo

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Abstract

Many \"semiring-like\" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing with soft constraints, highlighting the differences between alternative proposals in the literature. We then extend the semiring structure by adding the notion of division as a weak inverse operation of product. In particular, division is needed to apply constraint relaxation when the product operation of the semiring is not idempotent. The division operator is introduced via residuation and it is also able to deal with partial orders, generalizing the approach given for Valued CSPs. (literal)

Editore