Planning with sensing actions and incomplete information using logic programming

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 261-274

  Son, Tran Cao ^a   Tu, Phan Huy ^a   Baral, Chitta ^b  

^a New Mexico State University   (United States)

^b Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS; ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONFORMAL MAPPING; ENCODING (SYMBOLS); FORMAL LOGIC; INFORMATION ANALYSIS; PROBLEM SOLVING; SET THEORY;

CONDITIONAL PLANS; INCOMPLETE INFORMATION;

LOGIC PROGRAMMING;

CONFORMANT PLANS; SENSING ACTIONS; SET SOLVERS; SMODELS;

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

References (27)

1. C. Baral, V. Kreinovich, and R. Trejo. Planning and approximate planning in presence of incompleteness. In IJCAI, pages 948-953, 1999.
2. B. Bonet and H. Geffner. Planning with incomplete information as heuristic search in belief space. In AIPS, 1998.
3. A. Cimatti and M. Roveri. Conformant planning via model checking. In ECP, 21-34, 1999.
4. Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in non-monotonic logic programs. In Proceedings of European conference on Planning, pages 169-181, 1997.
5. T. Eiter et al. The KR System dlv: Progress Report, Comparisons and Benchmarks. KR'98.
6. T. Eiter et al. Planning under incomplete information. In CL'2000.
7. T. Eiter et al. A Logic Programming Approach to Knowledge State Planning, II: The DLVK System. Technical Report, TU Wien, 2003.
8. M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301-323, 1993.
9. K. Golden. Leap BeforeYou Look: Information Gathering in the PUCCINI planner. In Proc. of the 4th Int. Conf. on Artificial Intelligence Planning and Scheduling Systems, 1998.
10. K. Golden, O. Etzioni, and D. Weld. Planning with execution and incomplete informations. Technical report, University of Washington, TR96-01-09, February 1996.
11. K. Golden and D. Weld. Representing sensing actions: the middle ground revisited. In KR 96, pages 174-185, 1996.
12. H. Levesque. What is planning in the presence of sensing? In AAAI, 1139-1146, 1996.
13. V. Lifschitz. Answer set planning. In ICLP, 23-37, 1999.
14. J. Lobo. COPLAS: a COnditional PLAnner with Sensing actions. FS-98-02, AAAI, 1998.
15. J. Lobo, S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In AAAI 97, pages 454-459, 1997.
16. R. Moore. A formal theory of knowledge and action. In J. Hobbs and R. Moore, editors, Formal theories of the commonsense world. Ablex, Norwood, NJ, 1985.
17. I. Niemelä and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In Proc. ICLP & LPNMR, pages 420-429, 1997.
18. I. Niemelä, P. Simons, and T. Soininen. Stable model semantics for weight constraint rules. In LPNMR, pages 315-332, 1999.
19. M.A. Peot and D.E. Smith. Conditional Nonlinear Planning. In AIPS, pages 189-197, 1992.
20. L. Pryor and G. Collins. Planning for contingencies: A decision-based approach, JAIR, 1996.
21. J. Rintanen. Constructing conditional plans by a theorem prover. JAIR, 10:323-352, 2000.
22. R. Scherl and H. Levesque. The frame problem and knowledge producing actions. AAAI'96.
23. D.E. Smith and D.S. Weld. Conformant Graphplan. In AAAI, pages 889-896, 1998.
24. T.C. Son and C. Baral. Formalizing sensing actions - a transition function based approach. Artificial Intelligence, 125(1-2):19-91, January 2001.
25. M. Thielscher. Programming of Reasoning and Planning Agents with FLUX. KR'02, 2002.
26. M. Thielscher. Representing the knowledge of a robot. In KR'00, 109-120, 2000.
27. D. Weld, C. Anderson, and D. Smith. Extending Graphplan to handle uncertainty and sensing actions. In Proceedings of AAAI 98, 1998.