Planning with sensing actions and incomplete information using logic programming

Tran Cao Son, Phan Huy Tu, Chitta Baral

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

Abstract

We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0-approximation of sensing actions and the class of conditional plans considered in this paper. Finally, we present preliminary experimental results and discuss further enhancements to the program.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning
EditorsIlkka Niemela, Vladimir Lifschitz
PublisherSpringer Verlag
Pages261-274
Number of pages14
ISBN (Electronic)354020721X, 9783540207214
StatePublished - Jan 1 2004
Event7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 - Fort Lauderdale, United States
Duration: Jan 6 2004Jan 8 2004

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2923
ISSN (Print)0302-9743

Conference

Conference7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004
CountryUnited States
CityFort Lauderdale
Period1/6/041/8/04

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Planning with sensing actions and incomplete information using logic programming'. Together they form a unique fingerprint.

  • Cite this

    Son, T. C., Tu, P. H., & Baral, C. (2004). Planning with sensing actions and incomplete information using logic programming. In I. Niemela, & V. Lifschitz (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 261-274). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 2923). Springer Verlag.