On the limits of planning over belief states under strict uncertainty

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 463-471

  Sardina, Sebastian ^a   De Giacomo, Giuseppe ^b   Lespérance, Yves ^c   Levesque, Hector J ^d  

^a RMIT UNIVERSITY   (Australia)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c YORK UNIVERSITY   (Canada)

^d UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

PLANNING PROBLEM; PLANNING WITH INCOMPLETE INFORMATION; RECENT TRENDS; UPPER BOUND;

KNOWLEDGE REPRESENTATION;

EID: 74449090673     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Aström, K. J. 1965. Optimal control of markov decision processes with incomplete state estimation. Journal of Mathematical Analysis and Applications 10:174-205.
2. Bacchus, F., and Petrick, R. 1998. Modeling an agent's incomplete knowledge during planning and execution. In Principles of Knowledge Representation and Reasoning (KR), 432-443.
3. Bertoli, P.; Cimatti, A.; Roveri, M.; and Traverso, P. 2001. Planning in nondeterministic domains under partial observability via symbolic model checking. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 473-478.
4. Bonet, B., and Geffner, H. 2000. Planning with incomplete information as heuristic search in belief space. In Chien, S.; Kambhampati, S.; and Knoblock, C., eds., Proceedings of the International Conference on AI Planning & Scheduling (AIPS), 52-61. Breckenridge, CO: AAAI Press.
5. Boutilier, C.; Dean, T.; and Hanks, S. 1999. Decisiontheoretic planning: Structural assumptions and compuattional leverage. Journal of Artificial Intelligence Research 11:1-94.
6. Bryce, D., and Kambhampati, S. 2004. Heuristic guidance measures for conformant planning. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 365-375.
7. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, strong, and strong cyclic planning via sym- bolic model checking. Artificial Intelligence Journal 1- 2(147).
8. De Giacomo, G.; Iocchi, L.; Nardi, D.; and Rosati, R. 1997. Planning with sensing for a mobile robot. In Proceedings of 1997 European Conference on Planning (ECP- 97), 156-168.
9. De Giacomo, G.; Lesṕerance, Y.; Levesque, H.; and Sardina, S. 2003. On deliberation under incomplete information and the inadequacy of entailment and consistencybased formalizations. In Proceedings of the 1st Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS-03).
10. Draper, D.; Hanks, S.; and Weld, D. S. 1994. Probabilistic planning with information gathering and contingent execution. In Proceedings of the International Conference on AI Planning & Scheduling (AIPS), 31-36.
11. Kaelbling, L. P.; Littman, M. L.; and Cassandra, A. R. 1998. Planning and acting in partially observable stochastic domains. Artificial Intelligence Journal 101:99-134.
12. Lesṕerance, Y. 2003. On the epistemic feasibility of plans in multiagent systems specifications. Logic Journal of the IGPL 11(2):161-178.
13. Levesque, H. J. 2005. Planning with loops. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 509-515.
14. Lin, S.-H., and Dean, T. 1996. Generating optimal policies for high-level plan. In Ghallab, M., and Milani, A., eds., New Directions in AI Planning. Amsterdam: IOS Press. 187-200.
15. Moore, R. C. 1985. A formal theory of knowledge and action. In Hobbs, J. R., and Moore, R. C., eds., Formal Theories of the Common Sense World. 319-358.
16. Petrick, R., and Bacchus, F. 2002. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the International Conference on AI Planning & Scheduling (AIPS), 212-221.
17. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
18. Sardina, S.; De Giacomo, G.; Lesṕerance, Y.; and Levesque, H. 2004. On the semantics of deliberation in IndiGolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence 41(2-4):259-299. (Previous version appeared in Proc. of KR-2002).
19. Scherl, R., and Levesque, H. J. 2003. Knowledge, action, and the frame problem. Artificial Intelligence Journal 144(1-2):1-39.
20. Son, T.; Baral, C.; and McIlraith, S. 2001. Extending answer set planning with sequence, conditional, loop, nondeterministic choice, and procedure constructs. In Proceedings of the AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, 202-209.