Speaker:
Ron Petrick
 
Title:
From Knowledge-Level Planning to Knowledge-Based Programming
 
Abstract:
PKS (Planning with Knowledge and Sensing) is an automated planner that builds plans based on what the planner knows: actions are modelled in terms of the changes they make to the planner's knowledge state, and plans sequence actions together to achieve knowledge-level goals. As a result, PKS includes a set of primitive operators for representing and reasoning about knowledge and action.  One of the lesser-known features of PKS is that it also includes certain imperative programming constructs (e.g., variables, arithmetic operators, control structures) as part of its representation language. In this talk, I describe preliminary work aimed at adapting PKS into a high-level programming framework in the spirit of Golog or YAGI, using PKS's knowledge-level operators as primitive features of the resulting language.