An example of robot programming at the knowledge level

The authors show how knowledge can be made operational by a robot that works at the knowledge level. A qualitative model for object pushing is used within a high level robot programming system, Ropro. An example of how the planning process makes use of that knowledge at different levels of abstraction is shown. It is suggested that knowledge representation in both qualitative-symbolic and quantitative-numeric form is necessary for robotic systems