Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques

05/22/2009
by   Carmel Domshlak, et al.
0

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework, based on both CP-nets and soft constraints, that handles both hard and soft constraints as well as conditional preferences efficiently and uniformly. We study the complexity of testing the consistency of preference statements, and show how soft constraints can faithfully approximate the semantics of conditional preference statements whilst improving the computational complexity

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/28/2011

On Graphical Modeling of Preference and Importance

In recent years, CP-nets have emerged as a useful tool for supporting pr...
research
02/08/2021

A Knowledge Compilation Map for Conditional Preference Statements-based Languages

Conditional preference statements have been used to compactly represent ...
research
06/20/2017

The Complexity of Campaigning

In "The Logic of Campaigning", Dean and Parikh consider a candidate maki...
research
01/23/2013

Reasoning With Conditional Ceteris Paribus Preference Statem

In many domains it is desirable to assess the preferences of users in a ...
research
03/11/2021

Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques

Residuation theory concerns the study of partially ordered algebraic str...
research
04/24/2015

Logical Conditional Preference Theories

CP-nets represent the dominant existing framework for expressing qualita...
research
10/10/2011

Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case

In real-life temporal scenarios, uncertainty and preferences are often e...

Please sign up or login with your details

Forgot password? Click here to reset