Title :
An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains
Author :
Climent, Laura ; Wallace, R.J. ; Salido, M.A. ; Barber, F.
Author_Institution :
Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
Abstract :
Many real life problems come from uncertain and dynamic environments, which means that the original problem may change over time. Thus, the solution found for the original problem may become invalid. Dealing with such problems has become an important issue in the field of constraint programming. In some cases, there exists knowledge about the uncertain and dynamic environment. In other cases, this information is unknown or hard to obtain. In this paper, we extend the concept of robustness for Constraint Satisfaction Problems (CSPs) with discrete and ordered domains where the only assumptions made about changes are those inherent in the structure of these problems. We present a search algorithm that searches for both robust and stable solutions for such CSPs. Meeting both criteria simultaneously is a well-known desirable objective for constraint solving in uncertain and dynamic environments.
Keywords :
constraint handling; constraint satisfaction problems; search problems; CSP; constraint programming; constraint satisfaction problems; discrete domains; dynamic environments; ordered domains; search algorithm; uncertain environments; Equations; Heuristic algorithms; Inference algorithms; Robustness; Search problems; Stability criteria; CSPs; Robust; Uncertainty;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on
Conference_Location :
Athens
Print_ISBN :
978-1-4799-0227-9
DOI :
10.1109/ICTAI.2012.122