Planning in reactive environments

Computational Intelligence

Volumn 23, Issue 4, 2007, Pages 439-463

  Milani, A ^a,b   Poggioni, V ^b  

^a HONG KONG BAPTIST UNIVERSITY   (Hong Kong)

^b UNIVERSITY OF PERUGIA   (Italy)

Author keywords

ambient intelligence; automated reasoning; planning; reactive environment

Indexed keywords

DYNAMIC MODELS; LINEAR PROGRAMMING; PATTERN RECOGNITION; PLANNING;

AMBIENT INTELLIGENCE; AUTOMATED REASONING; AVOIDANCE TECHNIQUES; REACTIVE ENVIRONMENT;

MULTI AGENT SYSTEMS;

EID: 37249003940     PISSN: 08247935     EISSN: 14678640     Source Type: Journal    
DOI: 10.1111/j.1467-8640.2007.00315.x     Document Type: Article

References (40)

1. Amigoni, F., N. Gatti, C. Pinciroli, and M. Roveri. 2005. What planner for ambient intelligence applications IEEE Transaction on System, Man and Cybernatics, 35 (1 7 21.
2. Astrom, K., and B. Wittenmark. 1994. Adaptive Control. Addison Wesley, Boston.
3. Baioletti, M., A. Milani, V. Poggioni, and S. Suriani. 2006. A multivalued logic model of planning. In Proceedings of ECAI 2006, 17th European Conference on Artificial Intelligence, August 29-September 1, 2006, Riva del Garda, Italy.
4. Blum, A., and M. Furst. 1997. Fast planning through planning graph analysis. Artificial Intelligence, 90 (1-2 279 298.
5. Bockmayr, A., and Y. Dimopoulos. 1998. Mixed integer programming models for planning problems. In Working Notes of the CP'98 Workshop on Constraint Problem Reformulation, Pisa, Italy.
6. Bockmayr, A., and Y. Dimopoulos. 1999. Integer programs and valid inequalities for planning problems. In Proceedings of the 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, pp. 239-251.
7. Bresina, J., P. Morris, and K. Rajan. 2005. Mixed-initiative activity planning for Mars rovers. In IJCAI 2005 Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, pp. 1709 1710.
8. Bylander, T. 1991. Complexity results for planning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 274 279.
9. Castellini, C., E. Giunchiglia, and A. Tacchella. 2003. Sat-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence, 147 : 85 118.
10. Chien, S., A. Govindjee, T. Estlin, X. Wang, and W. Randall. 1997. Automated generation of tracking plans for a network of communications antennas. In AAAI/IAAI Proceedings of the 1997 Conference on Innovative Application of Artificial Intelligence, Providence, RI, July, pp. 963 970.
11. Davis, M., G. Logemann, and D. Loveland. 1962. A machine program for theorem proving. CACM, 5 : 394 397.
12. Do, M., and S. Kambhampati. 2001. Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. Artificial Intelligence, 132 : 151 182.
13. Ernst, M., T. Milstein, and D. Weld. 1997. Automatic SAT-Compilation of planning problems. In Proceedings of IJCAI 1997, the Fifteenth International Joint Conference on Artificial Intelligence, IJACI 97, Nagoya, Japan, August 23-29, 1997.
14. Fikes, R., P. Hart, and N. Nilsson. 1972. Learning and executing generalized robot plans. Artificial Intelligence, 3 : 251 288.
15. Fox, M., and D. Long. 2003. The 3rd international planning competition: Results and analysis. JAIR, 20 : 1 59.
16. Fox, M., and D. Long. 2003. PDDL2.1: An extension to PDDL for expressing temporal planning domains. JAIR, 20 : 61 124.
17. Fox, M., D. Long, and J. Gough. 2004. Plan execution under resource consumption uncertainty. In Proceedings of the Workshop on Connecting Planning Theory with Practice at ICAPS'04, June 3-7 2004, Whistler, British Columbia, Canada, pp. 24 29.
18. Ghallab, M., D. Nau, and P. Traverso. 2004. Automated Planning, theory and practice. Morgan Kaufmann- Elsevier Publisher.
19. Hoffmann, J. 2002. Extending FF to numerical state variables. In Proceedings of ECAI 2002.
20. Hoffmann, J., and B. Nebel. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research, 14 : 253 302.
21. Kabanza, F., M. Barbeau, and R. St-Denis. 1997. Planning control rules for reactive agents. Artificial Intelligence, Elsevier Science B.V. 67 113.
22. Kautz, H., and B. Selman. 1992. Planning as satisfiability. In 10th European Conference on Artificial Intelligence (ECAI). Edited by B. Neumann. Wiley & Sons, pp. 360 363.
23. Kautz, H., and B. Selman. 1998. BLACKBOX: A new approach to the application of theorem proving to problem solving. In Working notes of the AIPS-98 Workshop on Planning as Combinatorial Search, Pittsburgh, PA, pp. 58 60.
24. Kautz, H., and B. Selman. 1999. Unifying SAT-based and graph-based planning. In Proceedings of IJCAI-99, Stockholm, Sweden, July 31-August 6.
25. Kautz, H., and J. Walser. 1999. State-space planning by integer optimization. In AAAI/IAAI Proceedings, Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, Orlando, FL, pp. 526 533.
26. Koehler, J. 1998. Planning under resource constraints. In Proceedings of ECAI-98, the 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28.
27. McDermott, D., and al. 1998. The planning domain definition language manual. Yale Computer Science Report 1165 (CVC Report 98-003), Yale University.
28. Milani, A., and S. Marcugini. 2000. A planning model for concurrent asyncronus automata. In Proceedings of the 19th Workshop of the UK Planning and Scheduling Special Interest Group PLANSIG2000 Milton Keynes, UK, pp. 121 129.
29. Nemhauser, G., and L. Wolsey. 1989. Integer Programming chapter 6 in vol. 1 Optimization of Handbooks in Operations Research and Management Science, pp. 447 557.
30. Penberthy, J., and D. Weld. 1992. UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, October 25-29.
31. Refanidis, I., and I. Vlahavas. 2000. Heuristic planning with resources. In Proceedings of the 14th European Conference on Artificial Intelligence, ECAI 2000, Berlin, Germany, August 20-25.
32. Remagnino, P., G. Foresti, and T. Ellis. 2005. Ambient Intelligence. Springer, New York.
33. Russel, S., and P. Norvig. 2003. Artificial Intelligence - A Modern Approach (2nd edition). Prentice Hall.
34. Sontag, E. 1998. Mathematical Control Theory. Springer, New York.
35. Suriani, S. 2007. Numerical Parameters in Automated Planning. PhD Thesis, Math & Computer Science Department. University of Perugia.
36. van den Briel, M., and S. Kambhampati. 2005. Optiplan: A planner based on integer programming. Journal of Artificial Intelligence Research, 24 : 919 931.
37. Vossen, T., M. Ball, A. Lotem, and D. Nau. 1998. Integer programming models in ai planning: Preliminary experimental results. In Proceedings of AIPS'98 - Workshop on Planning as Combinatorial Search, Pittsburgh, PA.
38. Vossen, T., M. Ball, A. Lotem, and D. Nau. 2001. Applying integer programming to ai planning. Knowledge Engineering Review, 16 : 85 100.
39. Weber, W., J. Rabaey, and E. Aarts. 2005. Ambient Intelligence. Springer, Netherlands.
40. Wilkins, D., K. Myers, J. Lowrance, and L. Wesley. 1995. Planning and reacting in uncertain and dynamic environments. Journal of Experimental and Theoretical AI, 7 (1 197 227.