DocumentCode :
1905668
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
Volume :
1
fYear :
2012
fDate :
7-9 Nov. 2012
Firstpage :
874
Lastpage :
879
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on
Conference_Location :
Athens
ISSN :
1082-3409
Print_ISBN :
978-1-4799-0227-9
Type :
conf
DOI :
10.1109/ICTAI.2012.122
Filename :
6495135
Link To Document :
بازگشت