A Knowledge-Based Approach to Planning with Incomplete Information and Sensing

Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems, AIPS 2002

Volumn , Issue , 2002, Pages 212-221

  Petrick, Ronald P A ^a   Bacchus, Fahiem ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION;

FIRST ORDER; HIGH LEVEL KNOWLEDGE; INCOMPLETE KNOWLEDGE; KNOWLEDGE BASED; KNOWLEDGE STATE; KNOWLEDGE-BASED APPROACH; MODAL LOGIC; NEW APPROACHES; PHYSICAL WORLD; PLANNING WITH INCOMPLETE INFORMATION;

PROBLEM SOLVING;

EID: 85093865817     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Anderson, C. R.; Weld, D. S.; and Smith, D. E. 1998. Extending graphplan to handle uncertainty & sensing actions. In Proceedings of the AAAI National Conference, 897-904.
2. Bacchus, F., and Ady, M. 1999. Precondition control. Available at http://www.cs.toronto.edu/-fbacchus/on-line.html.
3. Bacchus, F., and Petrick, R. 1998. Modeling and agent's incomplete knowledge during planning and execution. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 432-443.
4. 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.
5. Bonet, B., and Geffner, H. 2000. Planning with incomplete information as heuristic search in belief space. In Proceedings of the International Conference on Artificial Intelligence Planning, 52-61.
6. Bryant, R. E. 1992. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24(3):293-318.
7. Cimatti, A., and Roveri, M. 2000. Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research 13:305-338.
8. Etzioni, O.; Golden, K.; and Weld, D. 1997. Sound and efficient closed-world reasoning for planning. Artificial Intelligence 89(1-2):113-148.
9. Fagin, R.; Halpern, J. Y.; Moses, Y.; and Vardi, M. Y. 1995. Reasoning About Knowledge. MIT Press, Cambridge, Massachusetts.
10. Garson, J. W. 1977. Quantification in modal logic. In Gabbay, D., and Guenthner, F., eds., Handbook of Philosophical Logic, Vol. II. Dordrecht, Netherlands: Reidel. 249-307.
11. Levesque, H. J. 1990. All I Know: A study in autoepistemic logic. Artificial Intelligence 42:255-287.
12. Levesque, H. J. 1996. What is planning in the presence of sensing? In Proceedings of the AAAI National Conference, 1139-1146. AAAI Press/MIT Press.
13. Petrick, R. P. A., and Levesque, H. J. 2002. Knowledge equivalence in combined action theories. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 303-314. Morgan Kaufmann.
14. Pryor, L., and Collins, G. 1996. Planning for contingencies: A decision-based approach. Journal of Artificial Intelligence Research 4:287-339.
15. Scherl, R. B., and Levesque, H. J. 1993. The frame problem and knowledge-producing actions. In Proceedings of the AAAI National Conference, 689-695. AAAI Press/MIT Press.
16. Weld, D., and Etzioni, O. 1994. A softbot-based interface to the internet. Communications of the ACM July:72-76.