On the completeness of approximation based reasoning and planning in action theories with incomplete information

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 481-491

  Son, Tran Cao ^a   Tu, Phan Huy ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; POLYNOMIAL APPROXIMATION; SEMANTICS;

ACTION THEORY; BASED REASONINGS; FLUENTS; INCOMPLETE INFORMATION; POLYNOMIAL-TIME ALGORITHMS; POSSIBLE WORLD SEMANTICS; SOUND AND COMPLETE; STATE OF THE ART;

FORMAL LOGIC;

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

References (27)

1. Baral, C.; Kreinovich, V.; and Trejo, R. 2000. Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence 122:241-267.
2. Brafman, R., and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. In Koenig, S.; Zilberstein, S.; and Koehler, J., eds., Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04), 355-364. Whistler, Canada: Morgan Kaufmann.
3. Cimatti, A.; Roveri, M.; and Bertoli, P. 2004. Conformant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal 159:127-206.
4. Cushing, W., and Bryce, D. 2005. State Agnostic Planning Graphs and the application to belief-space planning. In Proceedings of the the Twentieth National Conference on Artificial Intelligence.
5. Etzioni, O.; Hanks, S.; Weld, D.; Draper, D.; Lesh, N.; and Williamson, M. 1992. An approach to planning with incomplete information. In KR 92, 115-125.
6. Gelfond, M., and Lifschitz, V. 1992. Representing actions in extended logic programs. In Joint International Conference and Symposium on Logic Programming., 559-573.
7. Golden, K., and Weld, D. 1996. Representing sensing actions: the middle ground revisited. In KR 96, 174-185.
8. Golden, K.; Etzioni, O.; and Weld, D. 1996. Planning with execution and incomplete informations. Technical report, Dept of Computer Science, University ofWashington, TR96-01-09.
9. Goldman, R., and Boddy, M. 1994. Representing uncertainty in simple planners. In KR 94, 238-245.
10. Goldman, R., and Boddy, M. 1996. Expressive planning and explicit knowledge. In AIPS 96, 110-117.
11. Haslum, P., and Jonsson, P. 2000. Planning with reduced operator sets. In AIPS, 150-158.
12. Levesque, H. 1996. What is planning in the presence of sensing? In Proceedings of the 14th Conference on Artificial Intelligence, 1139-1146. AAAI Press.
13. Lifschitz, V., and Ren, W. 2004. Irrelevant actions in plan generation (extended abstract). In IX Ibero-American Workshops on Artificial Intelligence, 71-78.
14. Moore, R. 1985. A formal theory of knowledge and action. In Hobbs, J., and Moore, R., eds., Formal theories of the commonsense world. Ablex, Norwood, NJ.
15. Nebel, B.; Dimopoulos, Y.; and Koehler, J. 1997. Ignoring irrelevant facts and operators in plan generation. In Steel, S., and Alami, R., eds., Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, volume 1348 of Lecture Notes in Computer Science, 338- 350. Springer.
16. Peot, M., and Smith, D. 1992. Conditional non-linear planning. In First Conference of AI Planning Systems, 189- 197.
17. Petrick, R. P. A., and Bacchus, F. 2002. A knowledgebased approach to planning with incomplete information and sensing. In Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France, 212-222. AAAI.
18. Petrick, R. P. A., and Bacchus, F. 2004. Extending the knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the Sixth International Conference on Automated Planning and Scheduling, 2004, 2-11.
19. Pryor, L., and Collins, G. 1996. Planning for contingencies: A decision-based approach. Journal of Artificial Intelligence Research 4:287-339.
20. Smith, D., and Weld, D. 1998. Conformant graphplan. In Proceedings of AAAI 98.
21. Son, T., and Baral, C. 2001. Formalizing sensing actions - a transition function based approach. Artificial Intelligence 125(1-2):19-91.
22. Son, T. C.; Tu, P. H.; Gelfond, M.; and Morales, R. 2005a. An Approximation of Action Theories of AL and its Application to Conformant Planning. In Proceedings of the the 7th International Conference on Logic Programming and NonMonotonic Reasoning, 172-184.
23. Son, T. C.; Tu, P. H.; Gelfond, M.; and Morales, R. 2005b. Conformant Planning for Domains with Constraints - A New Approach. In Proceedings of the the Twentieth National Conference on Artificial Intelligence, 1211-1216.
24. Son, T.; Tu, P.; and Baral, C. 2004. Planning with Sensing Actions and Incomplete Information using Logic Programming. In Lifschitz, V., and Niemel̈a, I., eds., Proceedings of the 7th International Conference on Logic Programming and NonMonotonic Reasoning Conference (LPNMR'04), volume 2923, 261-274. Springer Verlag, LNCS 2923.
25. Thielscher, M. 2002. Reasoning about actions with CHRs and finite domain constraints. In Stuckey, P., ed., Proceedings of the International Conference on Logic Programming (ICLP), volume 2401 of LNCS, 70-84.
26. Tuan, L.; Baral, C.; Zhang, X.; and Son, T. 2004. Regression With Respect to Sensing Actions and Partial States. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI'04), 556-561. AAAI Press.
27. Weld, D.; Anderson, C.; and Smith, D. 1998. Extending graphplan to handle uncertainty and sensing actions. In Proceedings of the Fifteenth National Conference on Artificial Intelligence. AAAI Press.