A review of spatial reasoning and interaction for real-world robotics

Truly universal helper robots capable of coping with unknown, unstructured environments must be capable of spatial reasoning, i.e. establishing geometric relations between objects and locations, expressing those in terms understandable by humans. It is therefore desirable that spatial and semantic environment representations are tightly interlinked. 3D robotic mapping and the generation of consistent metric representations of space are highly useful for navigation and exploration, but they do not capture symbol-level information about the environment. This is, however, essential for reasoning, and enables interaction via natural language, which is arguably the most common and natural communication channel used and understood by humans. This article presents a review of research in three major fields relevant for this discussion of spatial reasoning and interaction. Firstly, dialogue systems are an integral part of modern approaches to situated human–robot interaction. Secondly, interactive robots must be equipped with environment representations and reasoning methods that are suitable for both navigation and task fulfillment, as well as for interaction with human partners. Thirdly, at the interface between these domains are systems that ground language in systemic environment representation and which allow the integration of information from natural language descriptions into robotic maps. For each of these areas, important approaches are outlined and relations between the fields are highlighted, and challenging applications as well as open problems are discussed.

[1]  Yoav Artzi,et al.  Learning Compact Lexicons for CCG Semantic Parsing , 2014, EMNLP.

[2]  Wolfram Burgard,et al.  Improved Techniques for Grid Mapping With Rao-Blackwellized Particle Filters , 2007, IEEE Transactions on Robotics.

[3]  Matthew R. Walter,et al.  Learning models for following natural language directions in unknown environments , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[4]  Jerry R. Hobbs,et al.  Spatial Representation and Reasoning , 2006 .

[5]  Roland Siegwart,et al.  A Markov semi-supervised clustering approach and its application in topological map extraction , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[6]  Moritz Tenorth,et al.  RoboEarth Semantic Mapping: A Cloud Enabled Knowledge-Based Approach , 2015, IEEE Transactions on Automation Science and Engineering.

[7]  Wolfram Burgard,et al.  Conceptual spatial representations for indoor mobile robots , 2008, Robotics Auton. Syst..

[8]  Frank Dellaert,et al.  Online probabilistic topological mapping , 2011, Int. J. Robotics Res..

[9]  Wolfram Burgard,et al.  Supervised semantic labeling of places using information extracted from sensor data , 2007, Robotics Auton. Syst..

[10]  Javier Ruiz-del-Solar,et al.  Semantic Mapping of Large-Scale Outdoor Scenes for Autonomous Off-Road Driving , 2015, 2015 IEEE International Conference on Computer Vision Workshop (ICCVW).

[11]  Oliver Lemon,et al.  Reinforcement Learning for Adaptive Dialogue Systems - A Data-driven Methodology for Dialogue Management and Natural Language Generation , 2011, Theory and Applications of Natural Language Processing.

[12]  John D. Kelleher,et al.  Robot perception errors and human resolution strategies in situated human–robot dialogue , 2017, Adv. Robotics.

[13]  Till Mossakowski,et al.  Qualitative Reasoning about Convex Relations , 2008, Spatial Cognition.

[14]  Barbara Tversky,et al.  Cognitive Maps, Cognitive Collages, and Spatial Mental Models , 1993, COSIT.

[15]  Raymond J. Mooney,et al.  Unsupervised PCFG Induction for Grounded Language Learning with Highly Ambiguous Supervision , 2012, EMNLP.

[16]  Bernd Krieg-Brückner,et al.  Modelling Navigational Knowledge by Route Graphs , 2000, Spatial Cognition.

[17]  Luke Fletcher,et al.  A Situationally Aware Voice‐commandable Robotic Forklift Working Alongside People in Unstructured Outdoor Environments , 2015, J. Field Robotics.

[18]  Gordon Wyeth,et al.  Place categorization and semantic mapping on a mobile robot , 2015, 2016 IEEE International Conference on Robotics and Automation (ICRA).

[19]  Eric Horvitz,et al.  Directions robot: in-the-wild experiences and lessons learned , 2014, AAMAS.

[20]  Antonios Gasteratos,et al.  Semantic mapping for mobile robotics tasks: A survey , 2015, Robotics Auton. Syst..

[21]  Roland Siegwart,et al.  Bayesian space conceptualization and place classification for semantic maps in mobile robotics , 2008, Robotics Auton. Syst..

[22]  Dan Klein,et al.  Accurate Unlexicalized Parsing , 2003, ACL.

[23]  Wolfram Burgard,et al.  Multi-Level Surface Maps for Outdoor Terrain Mapping and Loop Closing , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[24]  Eric Horvitz,et al.  Uncertainty, Utility, and Misunderstanding: A Decision-Theoretic Perspective on Grounding in Conversational Systems , 1999 .

[25]  Barbara Tverksy,et al.  Levels and structure of spatial knowledge , 2018, Cognitive Mapping.

[26]  Stefanie Tellex,et al.  A natural language planner interface for mobile manipulators , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[27]  Frank Dellaert,et al.  Bayesian surprise and landmark detection , 2009, 2009 IEEE International Conference on Robotics and Automation.

[28]  Evren Sirin,et al.  PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine , 2009, OWLED.

[29]  Marc Hanheide,et al.  Home alone: Autonomous extension and correction of spatial representations , 2011, 2011 IEEE International Conference on Robotics and Automation.

[30]  Matthew R. Walter,et al.  Listen, Attend, and Walk: Neural Mapping of Navigational Instructions to Action Sequences , 2015, AAAI.

[31]  Herbert H. Clark,et al.  Grounding in communication , 1991, Perspectives on socially shared cognition.

[32]  Rob Kitchin,et al.  Cognitive Maps, Spatial Abilities, and Human Wayfinding , 2000 .

[33]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[34]  Benjamin Kuipers,et al.  Factoring the Mapping Problem: Mobile Robot Map-building in the Hybrid Spatial Semantic Hierarchy , 2010, Int. J. Robotics Res..

[35]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[36]  Derek Hoiem,et al.  Indoor Segmentation and Support Inference from RGBD Images , 2012, ECCV.

[37]  Patric Jensfelt,et al.  Functional topological relations for qualitative spatial representation , 2011, 2011 15th International Conference on Advanced Robotics (ICAR).

[38]  Peter Cheeseman,et al.  On the Representation and Estimation of Spatial Uncertainty , 1986 .

[39]  A. Siegel,et al.  The development of spatial representations of large-scale environments. , 1975, Advances in child development and behavior.

[40]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[41]  Matthew R. Walter,et al.  Learning Semantic Maps from Natural Language Descriptions , 2013, Robotics: Science and Systems.

[42]  Elizabeth R. Chrastil,et al.  From Cognitive Maps to Cognitive Graphs , 2014, PloS one.

[43]  Henrik I. Christensen,et al.  Context-aware robot navigation using interactively built semantic maps , 2018, Paladyn J. Behav. Robotics.

[44]  Ben J. A. Kröse,et al.  BIRON, where are you? Enabling a robot to learn new places in a real home environment by integrating spoken dialog and visual localization , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[45]  Wolfram Burgard,et al.  Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach , 1998, AAAI/IAAI.

[46]  Max J. Egenhofer,et al.  Similarity of Cardinal Directions , 2001, SSTD.

[47]  Alessandro Saffiotti,et al.  Some notes on the use of hybrid maps for mobile robots , 2004 .

[48]  J. Jonides,et al.  Evidence of hierarchies in cognitive maps , 1985, Memory & cognition.

[49]  Matthew R. Walter,et al.  Learning spatial-semantic representations from natural language descriptions and scene classifications , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[50]  Moritz Tenorth,et al.  KNOWROB-MAP - knowledge-linked semantic object maps , 2010, 2010 10th IEEE-RAS International Conference on Humanoid Robots.

[51]  R. K. Goyal,et al.  Similarity assessment for cardinal directions between extended spatial objects , 2000 .

[52]  Matthew R. Walter,et al.  Information Theoretic Question Asking to Improve Spatial Semantic Representations , 2014, AAAI Fall Symposia.

[53]  Francesco Amigoni,et al.  A generative spectral model for semantic mapping of buildings , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[54]  Roland Siegwart,et al.  Incremental robot mapping with fingerprints of places , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[55]  Seth J. Teller,et al.  Following and interpreting narrated guided tours , 2011, 2011 IEEE International Conference on Robotics and Automation.

[56]  Joachim Hertzberg,et al.  Towards semantic maps for mobile robots , 2008, Robotics Auton. Syst..

[57]  Terry Winograd,et al.  Procedures As A Representation For Data In A Computer Program For Understanding Natural Language , 1971 .

[58]  Markus Knauff,et al.  The cognitive adequacy of Allen's interval calculus for qualitative spatial representation and reasoning , 1999, Spatial Cogn. Comput..

[59]  James J. Little,et al.  Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search , 2009, 2009 Canadian Conference on Computer and Robot Vision.

[60]  William E. Marsh,et al.  Representation of impossible worlds in the cognitive map , 2015, Cognitive Processing.

[61]  Dieter Fox,et al.  Following directions using statistical machine translation , 2010, 2010 5th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[62]  Miguel Cazorla,et al.  LexToMap: lexical-based topological mapping , 2017, Adv. Robotics.

[63]  Christian Freksa,et al.  Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox , 2006, Spatial Cognition.

[64]  Jean Oh,et al.  Inferring Maps and Behaviors from Natural Language Instructions , 2015, ISER.

[65]  Eric Chown,et al.  Making predictions in an uncertain world: Environmental structure and cognitive maps , 1999, Adapt. Behav..

[66]  Roland Siegwart,et al.  Regional topological segmentation based on mutual information graphs , 2011, 2011 IEEE International Conference on Robotics and Automation.

[67]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[68]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[69]  T. McNamara Mental representations of spatial relations , 1986, Cognitive Psychology.

[70]  James J. Little,et al.  Curious George: An attentive semantic robot , 2008, Robotics Auton. Syst..

[71]  Dirk Wollherr,et al.  Road geometry estimation for urban semantic maps using open data , 2017, Adv. Robotics.

[72]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[73]  Luke S. Zettlemoyer,et al.  Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions , 2013, TACL.

[74]  Jan Oliver Wallgrün,et al.  Qualitative Spatial Reasoning for Topological Map Learning , 2010, Spatial Cogn. Comput..

[75]  Nicholas Roy,et al.  Topological mapping using spectral clustering and classification , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[76]  Matthew R. Walter,et al.  Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation , 2011, AAAI.

[77]  Stefan Wölfl,et al.  Confirming the QSR Promise , 2009, AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

[78]  Oliver Lemon,et al.  Handling uncertain input in multi-user human-robot interaction , 2014, The 23rd IEEE International Symposium on Robot and Human Interactive Communication.

[79]  Matthew R. Walter,et al.  Information-theoretic dialog to improve spatial-semantic representations , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[80]  Benjamin Kuipers,et al.  An Intellectual History of the Spatial Semantic Hierarchy , 2008, Robotics and Cognitive Approaches to Spatial Mapping.

[81]  Stefanie Tellex,et al.  Toward understanding natural language directions , 2010, 2010 5th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[82]  SiegwartRoland,et al.  Cognitive maps for mobile robots-an object based approach , 2007 .

[83]  Matthew R. Walter,et al.  On the performance of hierarchical distributed correspondence graphs for efficient symbol grounding of robot instructions , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[84]  Antonio Torralba,et al.  Context-based vision system for place and object recognition , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[85]  Jae Hee Lee,et al.  Qualitative reasoning with directional relations , 2010, Artif. Intell..

[86]  Gabe Sibley,et al.  Incremental unsupervised topological place discovery , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[87]  Benjamin Kuipers,et al.  Towards a general theory of topological maps , 2004, Artif. Intell..

[88]  John Folkesson,et al.  What can we learn from 38,000 rooms? Reasoning about unexplored space in indoor environments , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[89]  Gérard Ligozat,et al.  What Is a Qualitative Calculus? A General Framework , 2004, PRICAI.

[90]  Franz Aurenhammer,et al.  Voronoi diagrams—a survey of a fundamental geometric data structure , 1991, CSUR.

[91]  E. Tolman Cognitive maps in rats and men. , 1948, Psychological review.

[92]  Bernhard Nebel,et al.  Spatial Reasoning with Topological Information , 1998, Spatial Cognition.

[93]  Benjamin Kuipers,et al.  Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication , 2007, Interaction Challenges for Intelligent Assistants.

[94]  Ziyuan Liu,et al.  Online semantic exploration of indoor maps , 2012, 2012 IEEE International Conference on Robotics and Automation.

[95]  Reinhard Moratz,et al.  Qualitative spatial reasoning about relative point position , 2008, J. Vis. Lang. Comput..

[96]  Karin Schweizer,et al.  Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation , 1997, GI Jahrestagung.

[97]  Henrik I. Christensen,et al.  Semantic map partitioning in indoor environments using regional analysis , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[98]  Raymond J. Mooney,et al.  Adapting Discriminative Reranking to Grounded Language Learning , 2013, ACL.

[99]  Henrik I. Christensen,et al.  Feature-based mapping with grounded landmark and place labels , 2011 .

[100]  Andrzej Pronobis,et al.  Multi-modal Semantic Mapping , 2011 .

[101]  Marjorie Skubic,et al.  Spatial language for human-robot dialogs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[102]  Diedrich Wolter,et al.  Qualitative Spatial Reasoning for Applications: New Challenges and the SparQ Toolbox , 2012 .

[103]  Maria Leonor Pacheco,et al.  of the Association for Computational Linguistics: , 2001 .

[104]  Daniel H. Younger,et al.  Recognition and Parsing of Context-Free Languages in Time n^3 , 1967, Inf. Control..

[105]  James H. Martin,et al.  Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, 2nd Edition , 2000, Prentice Hall series in artificial intelligence.

[106]  Benjamin Kuipers,et al.  Local metrical and global topological maps in the hybrid spatial semantic hierarchy , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[107]  Debasis Mitra,et al.  Qualitative Direction Calculi with Arbitrary Granularity , 2004, PRICAI.

[108]  Anthony G. Cohn,et al.  Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects , 2014, J. Artif. Intell. Res..

[109]  Benjamin Kuipers,et al.  Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions , 2006, AAAI.

[110]  Dimitra Gkatzia,et al.  Generating and Evaluating Landmark-Based Navigation Instructions in Virtual Environments , 2015, ENLG.

[111]  Euripides G. M. Petrakis,et al.  Qualitative Spatial Reasoning Using Topological and Directional Information in OWL , 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

[112]  Cipriano Galindo,et al.  Multi-hierarchical semantic maps for mobile robotics , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[113]  Raymond J. Mooney,et al.  Learning to Interpret Natural Language Navigation Instructions from Observations , 2011, Proceedings of the AAAI Conference on Artificial Intelligence.

[114]  S. Wölfl,et al.  GQR – A Fast Reasoner for Binary Qualitative Constraint Calculi , 2008 .

[115]  Wolfram Burgard,et al.  Semantic Modelling of Space , 2010, Cognitive Systems.

[116]  Hugh F. Durrant-Whyte,et al.  Simultaneous map building and localization for an autonomous mobile robot , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[117]  Álvaro Sánchez Miralles,et al.  Topological simultaneous localization and mapping: a survey , 2013, Robotica.

[118]  D. Fox,et al.  Classification and Semantic Mapping of Urban Environments , 2011, Int. J. Robotics Res..

[119]  Juan Chen,et al.  A survey of qualitative spatial representations , 2013, Knowledge engineering review (Print).

[120]  Hans-Otto Carmesin,et al.  A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair , 1998, Spatial Cognition.

[121]  Matthew R. Walter,et al.  A framework for learning semantic maps from grounded natural language descriptions , 2014, Int. J. Robotics Res..

[122]  Joachim Hertzberg,et al.  Semantic Scene Analysis of Scanned 3D Indoor Environments , 2003, VMV.

[123]  A. U. Frank,et al.  Qualitative Spatial Reasoning , 2008, Encyclopedia of GIS.

[124]  Stefanie Tellex,et al.  Object schemas for grounding language in a responsive robot , 2008, Connect. Sci..

[125]  Wolfram Burgard,et al.  A Tutorial on Graph-Based SLAM , 2010, IEEE Intelligent Transportation Systems Magazine.

[126]  Nicholas Roy,et al.  Utilizing object-object and object-scene context when planning to find things , 2009, 2009 IEEE International Conference on Robotics and Automation.

[127]  D. Wolter Qualitative Spatial Reasoning for Applications : New Challenges and the SparQ Toolbox , 2010 .

[128]  Dietrich Paulus,et al.  Definition of semantic maps for outdoor robotic tasks , 2014, 2014 IEEE International Conference on Robotics and Biomimetics (ROBIO 2014).

[129]  Martin Buss,et al.  The Interactive Urban Robot IURO: Towards Robot Action in Human Environments , 2014, ISER.

[130]  Ali Shahrokni,et al.  Urban 3D semantic modelling using stereo vision , 2013, 2013 IEEE International Conference on Robotics and Automation.

[131]  Daniel Jurafsky,et al.  Learning to Follow Navigational Directions , 2010, ACL.

[132]  Jana Kosecka,et al.  Acquiring semantics induced topology in urban environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[133]  Alejandro Rituerto,et al.  Semantic labeling for indoor topological mapping using a wearable catadioptric system , 2014, Robotics Auton. Syst..

[134]  Dieter Fox,et al.  Relational Object Maps for Mobile Robots , 2005, IJCAI.

[135]  Benjamin Kuipers,et al.  A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations , 1991, Robotics Auton. Syst..

[136]  Luis Fariñas del Cerro,et al.  A New Tractable Subclass of the Rectangle Algebra , 1999, IJCAI.

[137]  Patric Jensfelt,et al.  Large-scale semantic mapping and reasoning with heterogeneous modalities , 2012, 2012 IEEE International Conference on Robotics and Automation.

[138]  Andrew Y. Ng,et al.  Autonomous sign reading for semantic mapping , 2011, 2011 IEEE International Conference on Robotics and Automation.

[139]  L. Vieu Spatial Representation and Reasoning in Artificial Intelligence , 1997 .

[140]  Alberto Quattrini Li,et al.  A System for Building Semantic Maps of Indoor Environments Exploiting the Concept of Building Typology , 2013, RoboCup.

[141]  Dimitra Gkatzia,et al.  From the Virtual to the RealWorld: Referring to Objects in Real-World Spatial Scenes , 2015, EMNLP.

[142]  Jean-François Condotta,et al.  A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi , 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

[143]  Dejan Pangercic,et al.  Semantic Object Maps for robotic housework - representation, acquisition and use , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[144]  Gaurav S. Sukhatme,et al.  Semantic Mapping Using Mobile Robots , 2008, IEEE Transactions on Robotics.

[145]  Luke S. Zettlemoyer,et al.  Reinforcement Learning for Mapping Instructions to Actions , 2009, ACL.

[146]  Raymond J. Mooney,et al.  Learning to Connect Language and Perception , 2008, AAAI.