Discovering implied constraints in precedence graphs with alternatives
During automated problem solving it may happen that some knowledge that is known at the user level is lost in the formal model. As this knowledge might be important for efficient problem solving, it seems useful to re-discover it in order to improve the efficiency of the solving procedure. This paper compares three methods for discovering certain implied constraints in the constraint models describing manufacturing (and other) processes with serial, parallel, and alternative operations. In particular, we focus on identifying equivalent nodes in the precedence graph with parallel and alternative branches. Equivalent nodes correspond to operations that either must be all simultaneously present or none of them can be present in the schedule. Such information is frequently known at the user level, but it is lost in the formal model. The paper shows that identifying equivalent nodes is an NP-hard problem in general, but it is tractable if the graph has a nested structure. As the nested structure is typical for real-life processes and workflows, we use the nested graphs to experimentally compare the proposed methods.
KeywordsConstraint satisfaction Modelling Implied constraints Temporal networks
Unable to display preview. Download preview PDF.
- Barták, R., & Čepek, O. (2007). Nested temporal networks with alternatives. In Technical Report WS-07-12. Papers from the 2007 AAAI workshop on spatial and temporal reasoning (pp. 1–8). Menlo Park: AAAI Press. Google Scholar
- Bessiere, C., Coletta, R., & Petit, T. (2007) Learning implied global constraints, In Proceedings of twentieth international conference on artificial intelligence (IJCAI 07) (pp. 44–49). Google Scholar
- Charnley, J., Colton, S., & Miguel, I. (2006) Automatic generation of implied constraints, In Proceedings of 17th European conference on artificial intelligence (ECAI 06) (pp. 73–77). Google Scholar
- Dechter, R. (2003). Constraint processing. Los Altos: Kaufmann. Google Scholar
- Erol, K., Nau, D., & Hendler, J. (1994). HTN planning: Complexity and expressivity. In Proceedings of AAAI-94 (pp. 1123–1128). Menlo Park: AAAI Press. Google Scholar
- Focacci, F., Laborie, P., & Nuijten, W. (2000) Solving scheduling problems with setup times and alternative resources, In Proceedings of AIPS 2000. Google Scholar
- Frisch, A. M., Miguel, I., & Walsh, T. (2001) Generating implied constraints via proof planning, In Proceedings of the IJCAR-01 workshop on future directions in automated reasoning (pp. 48–55). Google Scholar
- Garey, M. R., & Johnson, D. S. (1979). Computers and intractability: A guide to the theory of NP-completeness. San Francisco: Freeman. Google Scholar
- Horling, B., Leader, V., Vincent, R., Wagner, T., Raja, A., Zhang, S., Decker, K., & Harvey, A. (1999) The taems white paper. University of Massachusetts, http://mas.cs.umass.edu/research/taems/white/taemswhite.pdf.
- Kim, P., Williams, B., & Abrahmson, M. (2001) Executing reactive, model-based programs through graph-based temporal planning, In Proceedings of IJCAI-2001 (pp. 487–493). Google Scholar
- Kuster, J., Jannach, D., & Friedrich, G. (2007) Handling alternative activities in resource-constrained project scheduling problems, In Proceedings of twentieth international joint conference on artificial intelligence (IJCAI-07) (pp. 1960–1965). Google Scholar
- Nuijten, W., Bousonville, T., Focacci, F., Godard, D., & Le Pape, C. (2003) MaScLib: Problem description and test bed design. http://www2.ilog.com/masclib.
- Van Beek, P., & Dechter, R. (1994) Constraint tightness versus global consistency, In Proceedings of knowledge representation (KR-94) (pp. 572–582). Google Scholar