Qualitative physics for robot task planning. I. Grammatical reasoning and commonsense augmentations

Presents a qualitative reasoning approach to synthesizing robot motion plans from task-level specifications. This method relies on representing the knowledge about robot manipulation as a task grammar augmented with a domain-dependent task analyzer. The task analyzer tests constraints for deriving suboperations pertaining to a higher-level operation and performs commonsense reasoning about the manipulator-level motion strategies. Through several examples, the authors show how syntactical knowledge about robot operations can be formulated for real-world manipulation tasks and how commonsense knowledge can be augmented to constrain the syntactical reasoning