A logic of soft constraints based on partially ordered preferences

dc.contributor.authorWilson, Nic
dc.contributor.funderScience Foundation Irelanden
dc.contributor.funderEuropean Commissionen
dc.date.accessioned2013-05-13T14:20:59Z
dc.date.available2013-05-13T14:20:59Z
dc.date.copyright2006
dc.date.issued2006-06
dc.date.updated2012-12-20T17:43:46Z
dc.description.abstractRepresenting and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One class of soft constraints formalisms, semiring-based CSPs, allows a partially ordered set of preference degrees, but this set must form a distributive lattice; whilst this is convenient computationally, it considerably restricts the representational power. This paper constructs a logic of soft constraints where it is only assumed that the set of preference degrees is a partially ordered set, with a maximum element 1 and a minimum element 0. When the partially ordered set is a distributive lattice, this reduces to the idempotent semiring-based CSP approach, and the lattice operations can be used to define a sound and complete proof theory. A generalised possibilistic logic, based on partially ordered values of possibility, is also constructed, and shown to be formally very strongly related to the logic of soft constraints. It is shown how the machinery that exists for the distributive lattice case can be used to perform sound and complete deduction, using a compact embedding of the partially ordered set in a distributive lattice.en
dc.description.sponsorshipScience Foundation Ireland (00/PI.1/C075); European Commission (REVIGIS project, FP5 IST-1999-14189)en
dc.description.statusPeer revieweden
dc.description.versionAccepted Versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.citationWilson, N; (2006) 'A logic of soft constraints based on partially ordered preferences'. Journal of Heuristics, 12 (4/5): 241-262. doi: 10.1007/s10732-006-6347-5en
dc.identifier.doi10.1007/s10732-006-6347-5
dc.identifier.endpage262en
dc.identifier.issued4/5en
dc.identifier.journaltitleJournal of Heuristicsen
dc.identifier.startpage241en
dc.identifier.urihttps://hdl.handle.net/10468/1120
dc.identifier.volume12en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.urihttp://link.springer.com/article/10.1007%2Fs10732-006-6347-5
dc.rights© Springer Science + Business Media, LLC 2006. The final publication is available at http://link.springer.com/article/10.1007%2Fs10732-006-6347-5en
dc.subjectPreferencesen
dc.subjectSoft constraintsen
dc.subjectSemiring-based CSPsen
dc.subjectPossibilistic logicen
dc.subject.lcshComputer science.en
dc.titleA logic of soft constraints based on partially ordered preferencesen
dc.typeArticle (peer-reviewed)en
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
HEUR230R1NicWilson.pdf
Size:
280.39 KB
Format:
Adobe Portable Document Format
Description:
Accepted Version
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
2.71 KB
Format:
Item-specific license agreed upon to submission
Description: