Compiling plan operators from domains expressed in qualitative process theory

摘要: The study of Qualitative Physics has concentrated on expressing qualitatively how the physical world behaves. systems accept partial descriptions and output possible changes that can occur. These currently assume is left untouched by human or robot agents, limiting them to certain types problem solving. For instance, a stateof-the-art qualitative physics system diagnose faulty electrical circuits but not construct plans rewire change their behavior. This paper describes an approach planning in domains working implementation which integrates Forbus' Process Engine (QPE) with temporal interval-based planner. involves compiling QPE expressions describing domain into set operators rules planner then involving processes, existence individuals, quantities. We describe compilation performed, derivable plans, current limitations our approach.