A Logic for Planning under Partial Observability

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 768-773

  Herzig, A ^a   Lang, J ^a   Longin, D ^a   Polacsek, T ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS;

ACTION PLAN; CONDITION; CONDITIONAL PLANS; DYNAMIC LOGIC; INCOMPLETE KNOWLEDGE; KEYPOINTS; LOGICAL EXPRESSIONS; PARTIAL OBSERVABILITY; PLAN VERIFICATIONS; UNOBSERVABILITY;

OBSERVABILITY;

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

References (16)

1. Bacchus, F., and Petrick, R. 1998. Modeling an agent's incomplete knowledge during planning and execution. In Proc. KR'98, 423-443.
2. Baral, C.; Kreinovich, V.; and Trejo, R. 1999. Computational complexity of planning and approximate planning in the presence of incompleteness. In Proc. of IJCAI'99, 948-953.
3. Boutilier, C., and Poole, D. 1996. Computing optimal policies for partially observable decision processes using compact representations. In Proceedings of AAAI'96, 1168-1175.
4. Castilho, M. A.; Gasquet, O.; and Herzig, A. 1999. Formalizing action and change in modal logic I: the frame problem. J. of Logic and Computation 9(5).
5. Del Val, A.; Maynard-Reid II, P.; and Shoham, Y. 1997. Qualitative reasoning about perception and belief. In Proc. IJCAI'97, 508-513.
6. Fagin, R.; Halpern, J.; Moses, Y.; and Vardi, M. 1995. Reasoning about knowledge. MIT Press.
7. Geffner, H., and Wainer, J. 1998. Modeling action, knowledge and control. In Proc. ECAI'98, 532-536.
8. Kautz, H., and Selman, B. 1996. Planning as satisfiability. In Proc. AAAI'96, 1139-1146.
9. Lakemeyer, G., and Levesque, H. 1998. AOL: a logic of acting, sensing, knowing, and only knowing. In Proc. KR'98, 316-327.
10. Levesque, H. J. 1996. What is planning in the presence of sensing? In Proc. AAAI'96, 1139-1146.
11. Littman, M. 1997. Probabilistic planning: representation and complexity. In Proc. of AAAI'97, 748-754.
12. Lobo, J.; Mendez, G.; and Taylor, S. R. 1997. Adding knowledge to the action description language a. In Proc. AAAI'97, 454-459.
13. Meyer, J.-J.; van der Hoek, W.; and van der Linder, B. 1994. Test as epistemic updates. In Proc. ECAI'94.
14. Moore, R. 1985. A formal theory of knowledge and action. In Formal Theories of the Commensense World. Norwood. 319-358.
15. Rintanen, J. 1999. Constructing plans by a theorem prover. JAIR 10:323-352.
16. Scherl, R., and Levesque, H. 1993. The frame problem and knowledge-producing actions. In Proc. AAAI'93, 689-695.