Several real-world applications (e.g., scheduling, configuration, …) can be formulated as Constraint Satisfaction Problems (CSP). In these cases, a set of variables have to be settled to a value with the requirement that they satisfy a set of constraints. Classical CSPs are defined only by means of crisp (Boolean) constraints. However, as sometimes Boolean constraints are too strict in relation to human reasoning, fuzzy constraints were introduced. When fuzzy constraints are considered, human reasoning usually performs some compensation between alternatives. Thus other operators than t-norms are advisable. Besides of that, not all constraints can be considered with equal importance. In this paper we show that the WOWA operator can consider both aspects: compensation between constraints and constraints of different importance.
Stable Analysis of Solution Set for System of Quasivariational Relations with Applications
