by Luca Iocchi, Daniele Nardi, Riccardo Rosati
http://www.dis.uniroma1.it/~iocchi/publications/iocchi-aiiaws04.pdf
Add To MetaCart
Abstract:
Abstract. Incomplete information and sensing are needed in order to design agents that operate in domains where their information acquisition capabilities are restricted and the environment may evolve in unpredictable ways. These representation issues, that have been studied by the work on reasoning about actions, are also being addressed from a planning perspective. The aim of this paper is to present a language KL for expressing planning domains with incomplete knowledge and sensing and by providing a new technique for generating cyclic plans under partial observability in such a framework. 1
Citations
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
156
|
What is planning in the presence of sensing
– Levesque
- 1996
|
|
145
|
Planning with Incomplete Information as Heuristic Se arch
– Bonet, Geffner
|
|
133
|
Extending graphplan to handle uncertainty and sensing actions
– Weld, Anderson, et al.
- 1998
|
|
128
|
Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems
– Reiter
- 2001
|
|
91
|
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
– Bertoli, Cimatti, et al.
- 2001
|
|
90
|
The Frame Problem and Knowledge Producing Actions
– Scherl, Levesque
- 1993
|
|
61
|
Planning as model checking
– Giunchiglia, Traverso
- 1999
|
|
53
|
A knowledge-based approach to planning with incomplete information and sensing
– Petrick, Bacchus
- 2002
|
|
47
|
Plan synthesis: A logical perspective
– Rosenschein
- 1981
|
|
47
|
Adding knowledge to the action description language
– Lobo, Taylor, et al.
- 1997
|
|
38
|
Representing the knowledge of a robot
– Thielscher
- 2000
|
|
30
|
Planning with sensing for a mobile robot
– Giaccomo, Iocchi, et al.
- 1997
|
|
22
|
Planning with sensing, concurrency, and exogenous events: Logical framework and implementation
– Iocchi, Nardi, et al.
- 2000
|
|
15
|
Heuristic search in cyclic AND/OR graphs
– Hansen, Zilberstein
- 1998
|
|
3
|
Strong cyclic planning with incomplete information and sensing
– Iocchi, Nardi, et al.
- 2003
|
