Ron Petrick's Webpages

Workshop paper

An Extension of Knowledge-Level Planning to Interval-Valued Functions, R. Petrick, AAAI 2011 Workshop on Generalized Planning, 2011.

[ bib | pdf | slides ]


We investigate the problem of reasoning about numerical functions in the presence of incomplete information, sensing actions, and conditional plans. An interval-based representation is introduced into the PKS (Planning with Knowledge and Sensing) planner, as a means of compactly representing sets of possible values for numerical functions. We describe the enhancements we make to PKS, and demonstrate how such information can be used for modelling uncertain sensors and effectors. We also show how interval-valued functions can be used as a form of noisy run-time variable in plans. This paper presents a snapshot of work currently in progress.