Knowledge-based Specification of Robot Motions

In many cases, the success of a manipulation action performed by a robot is determined by how it is executed and by how the robot moves during the action. Examples are tasks such as unscrewing a bolt, pouring liquids and flipping a pancake. This aspect is often abstracted away in AI planning and action languages that assume that an action is successful as long as all preconditions are fulfilled. In this paper we investigate how constraint-based motion representations used in robot control can be combined with a semantic knowledge base in order to let a robot reason about movements and to automatically generate executable motion descriptions that can be adapted to different robots, objects and tools.

[1]  Joris De Schutter,et al.  Rapid application development of constrained-based task modelling and execution using domain specific languages , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Michael Thielscher,et al.  A unifying action calculus , 2011, Artif. Intell..

[3]  Carme Torras.  Robot control , 1998 .

[4]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[5]  Moritz Tenorth,et al.  KnowRob: A knowledge processing infrastructure for cognition-enabled robots , 2013, Int. J. Robotics Res..

[6]  Joris De Schutter,et al.  Constraint-based Task Specification and Estimation for Sensor-Based Robot Systems in the Presence of Geometric Uncertainty , 2007, Int. J. Robotics Res..

[7]  Bernhard Rumpe,et al.  A new skill based robot programming language using UML/P Statecharts , 2013, 2013 IEEE International Conference on Robotics and Automation.

[8]  Moritz Tenorth,et al.  CRAM — A Cognitive Robot Abstract Machine for everyday manipulation in human environments , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[9]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[10]  Daniel Leidner,et al.  Things are made for what they are: Solving manipulation tasks by using functional object classes , 2012, 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012).

[11]  Moritz Tenorth,et al.  Representation and Exchange of Knowledge About Actions, Objects, and Environments in the RoboEarth Framework , 2013, IEEE Transactions on Automation Science and Engineering.

[12]  Michael Beetz,et al.  Constraint-based movement representation grounded in geometric features , 2013, 2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids).

[13]  M. Beetz,et al.  Movement-aware action control — Integrating symbolic and control-theoretic action execution , 2012, 2012 IEEE International Conference on Robotics and Automation.

[14]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[15]  Stuart J. Russell,et al.  Combined Task and Motion Planning for Mobile Manipulation , 2010, ICAPS.

[16]  Leslie Pack Kaelbling,et al.  Hierarchical task and motion planning in the now , 2011, 2011 IEEE International Conference on Robotics and Automation.

[17]  Michael Beetz,et al.  Towards semantic robot description languages , 2011, 2011 IEEE International Conference on Robotics and Automation.

[18]  Moritz Tenorth,et al.  Decomposing CAD models of objects of daily use and reasoning about their functional parts , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[19]  Claude Samson,et al.  Robot Control: The Task Function Approach , 1991 .

[20]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[21]  Bernhard Nebel,et al.  Planning with Semantic Attachments: An Object-Oriented View , 2012, ECAI.

[22]  Leora Morgenstern,et al.  Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking , 2001, Stud Logica.