Proceedings of the 1st Workshop on Robotics Challenges and Vision (RCV2013)

The main paradigm for practical motion planning in the last two decades is Probabilistic Road Map (PRM). We propose an alternative paradigm called Soft Subdivision Search (SSS). The SSS approach is based on two ingredients: the standard subdivision of space, coupled with soft predicates. Such predicates are conservative and convergent relative to exact predicates. This leads to a new class of resolution-exact planners. We view PRM and SSS as frameworks for broad classes of planners. There are many parallels between SSS and PRM: both frameworks are versatile, practical, easy to implement, with adaptive local complexity. The critical difference is that SSS avoids the Halting Problem of PRM. We address three issues: (1) We axiomatize some basic properties that allow resolutionexact planners to be constructed in the SSS framework. (2) We show how soft predicates can be effectively and correctly implemented using numerical approximations. (3) We recover exact planners by extending our framework. The SSS framework is a theoretically sound basis for new classes of algorithms in motion planning and beyond. We discuss the prospects of SSS planners being able to solve currently challenging problems and their relation to PRM.

[1]  Josechu J. Guerrero,et al.  Hypercatadioptric line images for 3D orientation and image rectification , 2012, Robotics Auton. Syst..

[2]  Peter Robinson,et al.  Cooperative gestures: Effective signaling for humanoid robots , 2010, 2010 5th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[3]  D. Wolpert,et al.  Why can't you tickle yourself? , 2000, Neuroreport.

[4]  Sasa Bodiroza,et al.  Evaluating the Effect of Saliency Detection and Attention Manipulation in Human-Robot Interaction , 2013, Int. J. Soc. Robotics.

[5]  Gordon Wyeth,et al.  SeqSLAM: Visual route-based navigation for sunny summer days and stormy winter nights , 2012, 2012 IEEE International Conference on Robotics and Automation.

[6]  Michael Kerber,et al.  ROBUST GEOMETRIC COMPUTATION , 2012 .

[7]  Baris Akgün,et al.  Action Recognition Through an Action Generation Mechanism , 2010, EpiRob.

[8]  J. Streeck.  Gesture as communication I: Its coordination with gaze and speech , 1993 .

[9]  Jean-Claude Latombe,et al.  On the Probabilistic Foundations of Probabilistic Roadmap Planning , 2006, Int. J. Robotics Res..

[10]  Seth Hutchinson,et al.  Toward an exact incremental geometric robot motion planner , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[11]  Nikolaos G. Bourbakis,et al.  Wearable Obstacle Avoidance Electronic Travel Aids for Blind: A Survey , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[12]  Guillaume Doisy,et al.  Spatially unconstrained, gesture-based human-robot interaction , 2013, 2013 8th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[13]  Peter Reynolds,et al.  I’m Sorry Dave, I’m Afraid I Can’t do That , 2002 .

[14]  Niko Sünderhauf,et al.  BRIEF-Gist - closing the loop by simple means , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[15]  Bruno Lara,et al.  Internal Simulations for Behaviour Selection and Recognition , 2012, HBU.

[16]  Guillaume Doisy,et al.  Position-invariant, real-time gesture recognition based on dynamic time warping , 2013, 2013 8th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[17]  D M Wolpert,et al.  Multiple paired forward and inverse models for motor control , 1998, Neural Networks.

[18]  Lillian Lee,et al.  "I'm sorry Dave, I'm afraid I can't do that": Linguistics, Statistics and Natural Language Processing circa 2001 , 2003, ArXiv.

[19]  Sebastian Thrun,et al.  Lifelong robot learning , 1993, Robotics Auton. Syst..

[20]  Sebastian Thrun,et al.  Self-supervised Monocular Road Detection in Desert Terrain , 2006, Robotics: Science and Systems.

[21]  E. Vesterinen,et al.  Affective Computing , 2009, Encyclopedia of Biometrics.

[22]  Nancy M. Amato,et al.  Toggle PRM: A Coordinated Mapping of C-Free and C-Obstacle in Arbitrary Dimension , 2012, WAFR.

[23]  Estevam R. Hruschka,et al.  Toward an Architecture for Never-Ending Language Learning , 2010, AAAI.

[24]  Jesus Bermudez-Cameo,et al.  Hypercatadioptric Line Images for 3D Orientation and Image Rectification , 1970 .

[25]  Jean-Claude Latombe,et al.  New heuristic algorithms for efficient hierarchical path planning , 1991, IEEE Trans. Robotics Autom..

[26]  Michael A. Goodrich,et al.  Human-Robot Interaction: A Survey , 2008, Found. Trends Hum. Comput. Interact..

[27]  Michel Dhome,et al.  An efficient method to compute the inverse Jacobian matrix in visual servoing , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[28]  S. Chernova.  RobotsFor . Me and Robots For You , 2013 .

[29]  Peter Robinson,et al.  Challenges and Opportunities in Building Socially Intelligent Machines , 2011 .

[30]  H. Simon,et al.  Rational choice and the structure of the environment. , 1956, Psychological review.

[31]  Juliet A Conlin,et al.  Getting around: making fast and frugal navigation decisions. , 2009, Progress in brain research.

[32]  Lee McCauley,et al.  Countering the Frankenstein Complex , 2007, AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics.

[33]  Michael I. Jordan,et al.  Advances in Neural Information Processing Systems 30 , 1995 .

[34]  Chee-Keng Yap,et al.  Towards exact numerical Voronoi diagrams , 2012, 2012 Ninth International Symposium on Voronoi Diagrams in Science and Engineering.

[35]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[36]  Maja Pantic,et al.  Social signal processing: Survey of an emerging domain , 2009, Image Vis. Comput..

[37]  Manja Lohse,et al.  Investigating the influence of situations and expectations in user behavior - empirical analysis in human-robot interaction , 2010 .

[38]  Lyle N. Long,et al.  Deep Blue Cannot Play Checkers: The Need for Generalized Intelligence for Mobile Robots , 2010, J. Robotics.

[39]  Pascal Fua,et al.  SLIC Superpixels Compared to State-of-the-Art Superpixel Methods , 2012, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[40]  William Squires.  Creative Computers: Premises and Promises , 1983 .

[41]  Cong Wang,et al.  On soft predicates in subdivision motion planning , 2013, SoCG '13.

[42]  Paul Newman,et al.  Practice makes perfect? Managing and leveraging visual experiences for lifelong navigation , 2012, 2012 IEEE International Conference on Robotics and Automation.

[43]  Bruno Lara,et al.  Coupled inverse-forward models for action execution leading to tool-use in a humanoid robot , 2012, 2012 7th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[44]  Yiannis Demiris,et al.  Learning Forward Models for Robots , 2005, IJCAI.

[45]  Toshio Inui,et al.  A Developmental Model of Infant Reaching Movement: Acquisition of Internal Visuomotor Transformations , 2011 .

[46]  Michael A. Goodrich,et al.  Satisficing anytime action search for behavior-based voting , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[47]  Stanley T. Birchfield,et al.  Image-based segmentation of indoor corridor floors for a mobile robot , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[48]  Kerstin Dautenhahn,et al.  Methodology & Themes of Human-Robot Interaction: A Growing Research Field , 2007 .

[49]  Gert Vegter,et al.  Isotopic approximation of implicit curves and surfaces , 2004, SGP '04.

[50]  Dafna Shahaf,et al.  Towards a Theory of AI Completeness , 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[51]  Stefan Schaal,et al.  Learning inverse kinematics , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[52]  Olivier Koch.  Body-relative navigation guidance using uncalibrated cameras , 2009, 2009 IEEE 12th International Conference on Computer Vision.

[53]  Rodney A. Brooks,et al.  A subdivision algorithm in configuration space for findpath with rotation , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[54]  Zoubin Ghahramani,et al.  Perspectives and problems in motor learning , 2001, Trends in Cognitive Sciences.

[55]  Éric Schost,et al.  A Baby Steps/Giant Steps Probabilistic Algorithm for Computing Roadmaps in Smooth Bounded Real Hypersurface , 2011, Discret. Comput. Geom..

[56]  F. L. Girardeau.  What is intelligence? , 1969, Mental retardation.

[57]  Dinesh Manocha,et al.  Efficient Cell Labelling and Path Non-existence Computation using C-obstacle Query , 2008, Int. J. Robotics Res..

[58]  Josechu J. Guerrero,et al.  Omnidirectional Vision for Indoor Spatial Layout Recovery , 2012, IAS.

[59]  Raja Parasuraman,et al.  Humans and Automation: Use, Misuse, Disuse, Abuse , 1997, Hum. Factors.

[60]  Wolfram Burgard,et al.  The dynamic window approach to collision avoidance , 1997, IEEE Robotics Autom. Mag..

[61]  Niko Sünderhauf,et al.  Are We There Yet? Challenging SeqSLAM on a 3000 km Journey Across All Four Seasons , 2013 .

[62]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[63]  Bharti Bansal,et al.  Gesture Recognition: A Survey , 2016 .

[64]  B. Faverjon,et al.  Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .

[65]  J. Bavelas,et al.  Listeners as co-narrators. , 2000, Journal of personality and social psychology.

[66]  Steven M. LaValle,et al.  On the Relationship between Classical Grid Search and Probabilistic Roadmaps , 2004, Int. J. Robotics Res..

[67]  Damiano Verda,et al.  Human navigation and mapping with a 6DOF IMU and a laser scanner , 2011, Robotics Auton. Syst..

[68]  Mark C. Torrance,et al.  Communicating with Martians ( and Robots ) , 1997 .

[69]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[70]  C. Yap.  Theory of Soft Subdivision Search and Motion Planning , 2012 .

[71]  R. Oktem,et al.  An indoor navigation aid designed for visually impaired people , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

[72]  Juan Manuel Saez Martinez,et al.  Stereo-based Aerial Obstacle Detection for the Visually Impaired , 2008 .

[73]  Chee-Keng Yap,et al.  A simple but exact and efficient algorithm for complex root isolation , 2011, ISSAC '11.

[74]  Laurel D. Riek,et al.  Wizard of Oz studies in HRI , 2012, HRI 2012.

[75]  T. Kanade,et al.  Geometric reasoning for single image structure recovery , 2009, 2009 IEEE Conference on Computer Vision and Pattern Recognition.

[76]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..