Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem

Tenda Okimoto, Tony Ribeiro, Maxime Clement, Katsumi Inoue

Abstract

A Constraint Satisfaction Problem (CSP) is a fundamental problem that can formalize various applications related to Artificial Intelligence problems. A Weighted Constraint Satisfaction Problem (WCSP) is a CSP where constraints can be violated, and the aim of this problem is to find an assignment that minimizes the sum of weights of the violated constraints. Most researches have focused on developing algorithms for solving static mono-objective problems. However, many real world satisfaction/optimization problems involve multiple criteria that should be considered separately and satisfied/optimized simultaneously. Additionally, they are often dynamic, i.e., the problem hanges at runtime. In this paper, we introduce a Multi-Objective WCSP (MO-WCSP) and develop a novel MO-WCSP algorithm called Multi-Objective Branch and Bound (MO-BnB), which is based on a new solution criterion called (l, s)-Pareto solution. Furthermore, we first formalize a DynamicMO-WCSP (DMO-WCSP). As an initial step towards developing an algorithm for solving a DMO-WCSP, we focus on the change of weights of constraints and develop the first algorithm called Dynamic Multi-Objective Branch and Bound (DMO-BnB) for solving a DMO-WCSPs, which is based on MO-BnB. Finally, we provide the complexity of our algorithms and evaluate DMO-BnB with different problem settings.

References

  1. Backofen, R. and Gilbert, D. (2001). Bioinformatics and constraints. Constraints, 6(2/3):141-156.
  2. Bringmann, K., Friedrich, T., Neumann, F., and Wagner, M. (2011). Approximation-guided evolutionary multiobjective optimization. In IJCAI, pages 1198-1203.
  3. Cabon, B., de Givry, S., Lobjois, L., Schiex, T., and Warners, J. P. (1999). Radio link frequency assignment. Constraints, 4(1):79-89.
  4. Deb, K., Agrawal, S., Pratap, A., and Meyarivan, T. (2002). A fast and elitist multiobjective genetic algorithm: NSGAII. IEEE Trans. Evolutionary Computation, 6(2):182- 197.
  5. Dechter, R. (2003). Constraint Processing. Morgan Kaufmann Publishers.
  6. Dechter, R. and Dechter, A. (1988). Belief maintenance in dynamic constraint networks. In AAAI, pages 37-42.
  7. Ehrgott, M. (2005). Multicriteria Optimization. Springer.
  8. Faltings, B. and Macho-Gonzalez, S. (2002). Open constraint satisfaction. In CP, pages 356-370.
  9. Larrosa, J. and Schiex, T. (2004). Solving weighted csp by maintaining arc consistency. Artificial Intelligence, 159(1-2):1-26.
  10. Mackworth, A. (1992). Constraint Satisfaction. In Encyclopedia of Artificial Intelligence, pages 285-293.
  11. Marinescu, R. (2009). Exploiting problem decomposition in multi-objective constraint optimization. In CP, pages 592-607.
  12. Marinescu, R. (2010). Best-first vs. depth-first and/or search for multi-objective constraint optimization. In ICTAI, pages 439-446.
  13. Marler, R. and Arora, J. (2004). Survey of multi-objective optimization methods for engineering. Structural and Multidisciplinary Optimization, 26(6):369-395.
  14. Miettinen, K. (1999). Nonlinear Multiobjective Optimization. Kluwer Academic Publishers, Boston.
  15. Perny, P. and Spanjaard, O. (2008). Near admissible algorithms for multiobjective search. In ECAI, pages 490- 494.
  16. Rollon, E. and Larrosa, J. (2006). Bucket elimination for multiobjective optimization problems. Journal of Heuristics, 12(4-5):307-328.
  17. Rollon, E. and Larrosa, J. (2007). Multi-objective Russian doll search. In AAAI, pages 249-254.
  18. Sandholm, T. (1999). An algorithm for optimal winner determination in combinatorial auctions. In IJCAI, pages 542-547.
  19. Schiex, T., Fargier, H., and Verfaillie, G. (1995). Valued constraint satisfaction problems: Hard and easy problems. In IJCAI, pages 631-639.
  20. Verfaillie, G., Lema╦ćitre, M., and Schiex, T. (1996). Russian doll search for solving constraint optimization problems. In AAAI/IAAI, Vol. 1, pages 181-187.
Download


Paper Citation


in Harvard Style

Okimoto T., Ribeiro T., Clement M. and Inoue K. (2014). Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem . In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-015-4, pages 420-427. DOI: 10.5220/0004816704200427


in Bibtex Style

@conference{icaart14,
author={Tenda Okimoto and Tony Ribeiro and Maxime Clement and Katsumi Inoue},
title={Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem},
booktitle={Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2014},
pages={420-427},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004816704200427},
isbn={978-989-758-015-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem
SN - 978-989-758-015-4
AU - Okimoto T.
AU - Ribeiro T.
AU - Clement M.
AU - Inoue K.
PY - 2014
SP - 420
EP - 427
DO - 10.5220/0004816704200427