Modelling Models of Robot Navigation Using Formal Spatial Ontology

In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarchy of Kuipers and the Route Graph of Krieg-Bruckner, Werner and others. The ontological framework is based on our current work on ontology specification, where we are investigating Masolo et al.'s Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) extended particularly for space and navigation by incorporating aspects of Smith et al.'s Basic Formal Ontology (BFO). Our conclusion is that ontology should necessarily play an important role in the design and modelling of cognitive robotic systems: comparability between approaches is improved, modelling gaps and weaknesses are highlighted, re-use of existing formalisations is facilitated, and extensions for interaction with other components, such as natural language systems, are directly supported.

[1]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

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

[3]  Wilfried Brauer,et al.  Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications , 2000 .

[4]  Thora Tenbrink,et al.  Identifying Objects on the Basis of Spatial Contrast: An Empirical Study , 2004, Spatial Cognition.

[5]  Jan Oliver Wallgrün,et al.  Autonomous Construction of Hierarchical Voronoi-Based Route Graph Representations , 2004, Spatial Cognition.

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

[7]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[8]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[9]  John A. Bateman,et al.  Towards Dialogue Based Shared Control of Navigating Robots , 2004, Spatial Cognition.

[10]  Benjamin Kuipers,et al.  A Hierarchy of Qualitative Representations for Space , 1998, Spatial Cognition.

[11]  C. Freksa,et al.  Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge , 1998 .

[12]  Barry Smith,et al.  SNAP and SPAN: Prolegomenon to Geodynamic Ontology , 2003 .

[13]  J. Bateman,et al.  General Ontology Baseline Deliverable D 1 I 1-[ OntoSpace ] ; Workpackage 1 , 2004 .

[14]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[15]  Benjamin Kuipers,et al.  The Spatial Semantic Hierarchy , 2000, Artif. Intell..

[16]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[17]  Reinhard Moratz,et al.  Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus , 2004, Spatial Cognition.

[18]  Kerstin Fischer,et al.  Cognitive Modeling of Spatial Reference for Human-Robot Interaction , 2001, Int. J. Artif. Intell. Tools.

[19]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[20]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

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

[22]  Till Mossakowski,et al.  Specification of an Ontology for Route Graphs , 2004, Spatial Cognition.

[23]  Wilfried Brauer,et al.  Spatial Cognition III , 2003, Lecture Notes in Computer Science.

[24]  Michael F. Goodchild,et al.  Foundations of Geographic Information Science , 2003 .

[25]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[26]  Axel Lankenau,et al.  Route-Based Robot Navigation , 2002, Künstliche Intell..

[27]  Till Mossakowski,et al.  Specification of ontologies in C ASL * , 2004 .

[28]  Thomas Bittner.  Granularity in Reference to Spatio-Temporal Location and Relations , 2002, FLAIRS Conference.

[29]  Kenny R. Coventry,et al.  Seeing, saying and acting: The psychological semantics of spatial prepositions , 2004 .

[30]  H. Alshawi,et al.  The Core Language Engine , 1994 .

[31]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[32]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[33]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[34]  Peter Gärdenfors,et al.  Conceptual spaces - the geometry of thought , 2000 .

[35]  J. Bateman,et al.  Towards a generic foundation for spatial ontology , 2004 .

[36]  Kerstin Fischer,et al.  Spatial Knowledge Representation for Human-Robot Interaction , 2003, Spatial Cognition.

[37]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[38]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

[39]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[40]  Barry Smith,et al.  A Taxonomy of Granular Partitions , 2001, COSIT.