Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 613-622

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

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATE APPROACHES; INCOMPLETE KNOWLEDGE; IT SUPPORTS; KNOWLEDGE LEVEL; KNOWLEDGE-BASED APPROACH; PLANNING SYSTEMS; PLANNING WITH INCOMPLETE INFORMATION; POSSIBLE WORLDS; POWER; SENSING PLANNING;

KNOWLEDGE REPRESENTATION;

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

References (18)

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 Petrick, R. 1998. Modeling an agent's incomplete knowledge during planning and execution. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), 432-443.
3. Bacchus, F.; Halpern, J. Y.; and Levesque, H. J. 1999. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111:171-208.
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. Blum, A., and Furst, M. 1997. Fast planning through planning graph analysis. Artificial Intelligence 90:281-300.
6. Brafman, R., and Hoffmann, J. 2003. Conformant planning via heuristic forward search. In Workshop on Planning Under Uncertainty and Incomplete Information.
7. Bryant, R. E. 1992. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24(3):293-318.
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. Golden, K., and Weld, D. 1996. Representing sensing actions: The middle ground revisited. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), 174-185.
10. 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.
11. McCarthy, J. 1963. Situations, actions, and causal laws. Technical Report Memo 2, Stanford University. Reprinted in Marvin Minsky, ed., 1968, Semantic Information Processing. MIT Press.
12. Moore, R. C. 1985. A formal theory of knowledge and action. In Hobbs, J., and Moore, R. C., eds., Formal Theories of the Commonsense World. Norwood, NJ: Ablex Publishing Corp. 319-358.
13. Petrick, R., and Bacchus, F. 2002. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the International Conference on Artificial Intelligence Planning and Scheduling (AIPS), 212-222.
14. Petrick, R., and Levesque, H. J. 2002. Knowledge equivalence in combined action theories. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR).
15. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
16. Sandewall, E. 1994. Features and Fluents, volume 1. Oxford University Press.
17. Scherl, R. B., and Levesque, H. J. 2003. Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1-2):1-39.
18. Weld, D., and Etzioni, O. 1994. The first law of robotics (a call to arms). In Proc. of the AAAI National Conference, 1042-1047.