Integer optimization models of AI planning problems

Knowledge Engineering Review

Volumn 15, Issue 1, 2000, Pages 101-117

  Kautz, Henry ^a   Walser, Joachim P ^b  

^a AT AND T LABS RESEARCH   (United States)

^b i2 Technologies   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; INTEGER PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; STRATEGIC PLANNING;

BRANCH-AND-BOUND INTEGER PROGRAMMING METHODS; INTEGER LOCAL SEARCH ALGORITHMS;

KNOWLEDGE ENGINEERING;

EID: 0034155759     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888900001053     Document Type: Article

References (39)

1. Andersen, C, Smith, D and Weld, D, 1998. "Conditional effects in Graphplan" Proceedings Fourth International Conference on AI Planning Systems (AIPS-98) Pittsburgh, PA.
2. Blum, A and Furst, M, 1995. "Fast planning through graph analysis" Proceedings Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95) Montreal, Canada.
3. Bockmayr, A and Dimopoulos, D, 1998. "Mixed integer programming models for planning problems" Working Notes of the CP-98 Constraint Problem Reformulation Workshop Pisa, Italy.
4. Bonet, B, Loerincs, G and Geffner, H, 1997. "A robust and fast action selection mechanism for planning" Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI-97) Providence, RI, 714-719.
5. Bylander, T, 1991. "Complexity results for planning" Proceedings Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91) Sydney, Australia, 274-279.
6. El-Kholy, A and Richards, B, 1996. "Temporal and resource reasoning in planning: the parcPLAN approach" Proceedings Third International Conference on AI Planning Systems (AIPS-96) Edinburgh.
7. Ernst, M, Millstein, T and Weld, D, 1997. "Automatic SAT-compilation of planning problems" Proceedings Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-95) Nagoya, Japan.
8. Fikes, R and Nilsson, N, 1971. "Strips: A new approach to the application of theorem proving to problem solving" Artificial Intelligence 2(3/4).
9. Fourer, R and Gay, DM, 1994. "Large scale optimization: State of the art" in Hager, W, Hearn, D and Pardalos, P (eds.), Experience with a Primal Presolve Algorithm Kluwer, 135-154.
10. Fourer, R, Gay, DM and Kernighan, BW, 1993. AMPL, A Modeling Language for Mathematical Programming Boyd & Fraser.
11. Gazen, B and Knoblock, C, 1994. "Combining the expressivity of UCPOP with the efficiency of Graphplan" in Steel S (ed.), Proceedings Fourth European Conference on Planning Springer-Verlag, LNAI, 1248.
12. Giunchiglia, E, Massarotto, A and Sebastiani, R, 1998, "Act, and the rest will follow: Exploiting determinism in planning as satisfiability" Proceedings Fifteenth National Conference on Artificial Intelligence (AAAI-98).
13. Green, C, 1969. "Application of theorem proving to problem solving" in Bajcsy, R (ed.), Proceedings International Joint Conference on Artificial Intelligence (IJCAI-69) Washington, DC.
14. Hass, A, 1987. "The case for domain-specific frame axioms" in Brown, F and Lawrence, K (eds.), The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop Morgan Kaufmann, Los Altos, CA.
15. Hooker, J and Osorio, M, 1999. "Mixed logical/linear programming" Discrete Applied Mathematics 96-97 395-442.
16. Hooker, J, 1988. "A quantitative approach to logical inference" Decision Support Systems 4 45-69.
17. Kambhampati, S, Lambrecht, E and Parker, E, 1997. "Understanding and extending Graphplan" in Steel, S (ed.), Proceedings Fourth European Conference on Planning Springer-Verlag, 1248.
18. Kautz, H and Selman, B, 1992. "Planning as satisfiability" Proceedings Tenth European Conference on Artificial Intelligence (ECAI'92) Vienna, Austria.
19. Kautz, H and Selman, B, 1996. "Pushing the envelope: Planning, propositional logic, and stochastic search" Proceedings Thirteenth National Conference on Artificial Intelligence (AAAI-96) Portland, OR, 1194-1201.
20. Kautz, H and Selman, B, 1998. "The role of domain-specific knowledge in the planning as satisfiability framework" Proceedings Fourth International Conference on AI Planning Systems (AIPS-98) Pittsburgh, PA.
21. Kautz, H, McAllester, D and Selman, B, 1996. "Encoding plans in propositional logic" Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96) Cambridge, MA.
22. Koehler, J, Nebel, B, Hoffmann, J and Dimopoulos, Y, 1997. "Extending planning graphs to an ADL subset" in Steel, S (ed.), Proceedings Fourth European Conference on Planning Springer-Verlag, LNAI, 1248.
23. Koehler, J. 1998. "Planning under resource constraints" Proceedings Thirteen European Conference on Artificial Intelligence (ECAI-98) Brighton, England.
24. Laborie, P and Ghallab, M, 1995. "Planning with sharable resource constraints" Proceedings Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95) Montreal, Canada.
25. Mali, A and Kambhampati, S, 1998. "Encoding htn planning in propositional logic" Proceedings Fourth International Conference on AI Planning Systems (AIPS-98) Pittsburg, PA.
26. Muscettola, N, Nayak, PR, Pell, B and Williams, BC, 1988. "Remote agent: To boldly go where no AI system has gone before" Artificial Intelligence 103 (1/2).
27. Pednault, E, 1989. "ADL: Exploring the middle ground between strips and the situation calculus" Proceedings First International Conference on Principles of Knowledge Representation and Reasoning (KR'89) Toronto, Canada, 324-332.
28. Penberthy, J and Weld, D, 1992. "UCPOP: A sound, complete partial order planner for ADL" Proceedings of the Third International Conference on Knowledge Representation and Reasoning (KR'92) Boston, MA, 108-114.
29. Penberthy, J and Weld, D, 1994. "Temporal planning with continuous change" Proceedings Twelfth National Conference on Artificial Intelligence (AAAI-94) Seattle, WA, 1010-1015.
30. Schubert, L, 1989. "Monotonie solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions" in Kyburg, H, Loui, R and Carlson, G (eds.), Knowledge Representation and Defeasible Reasoning Kluwer, Boston.
31. Selman, B and Kautz, H, 1993. "Domain-independent extensions to GSAT: Solving large structured satisfiability problems" Proceedings Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93) Chambery, France.
32. Selman, B, Kautz, H and Cohen, B, 1994. "Noise strategies for improving local search" Proceedings Twelfth National Conference on Artificial Intelligence (AAAI-94) Seattle, WA, 337-343.
33. Tate, A, 1996. "Representing plans as a set of constraints - the I-N-OVA model" Proceedings Third International Conference on AI Planning Systems (AIPS-96) Edinburgh.
34. Veloso, M, 1992. "Learning by analogical reasoning in general problem solving" PhD Dissertation, CMU.
35. Vossen, T, Ball, M, Lotem, A and Nau, D, 1999. "On the use of integer programming models in AI planning" Proceedings Sixteenth National Conference on Artificial Intelligence (AAAI-99) Orlando, FL.
36. Walser, J, 1997. "Solving linear pseudo-boolean constraint problems with local search" Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI-97) Providence, RI.
37. Walser, JP, 1999. Integer Optimization by Local Search, A Domain-Independent Approach. Springer-Verlag, Lecture Notes in Artificial Intelligence.
38. Weld, D, 1999. "Recent advances in AI planning" AI Magazine 20(2).
39. Wolfman, SA and Weld, DS, 2000. "Combining linear programming and satisfiability solving for resource planning" The Knowledge Engineering Review (this issue).