A Review of Kuiper s: Spatial Semantic Hierarchy

Similar documents
The Spatial Semantic Hierarchy

Robot Localisation. Henrik I. Christensen. January 12, 2007

THE SKELETON IN THE COGNITIVE MAP A Computational and Empirical Exploration

pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to:

UAV Navigation: Airborne Inertial SLAM

Semantic maps - a multi-hierarchical model

Boundary Region Relations

Introduction to Mobile Robotics Information Gain-Based Exploration. Wolfram Burgard, Cyrill Stachniss, Maren Bennewitz, Giorgio Grisetti, Kai Arras

SLAM Techniques and Algorithms. Jack Collier. Canada. Recherche et développement pour la défense Canada. Defence Research and Development Canada

Cognitive Engineering for Geographic Information Science

Vision for Mobile Robot Navigation: A Survey

Particle Filters; Simultaneous Localization and Mapping (Intelligent Autonomous Robotics) Subramanian Ramamoorthy School of Informatics

Designing and Evaluating Generic Ontologies

EKF and SLAM. McGill COMP 765 Sept 18 th, 2017

AIBO experiences change of surface incline.

Lecture : Tietze Extension Theorem

Analysis and visualization of protein-protein interactions. Olga Vitek Assistant Professor Statistics and Computer Science

Introduction to Mobile Robotics SLAM: Simultaneous Localization and Mapping

Finish section 3.6 on Determinants and connections to matrix inverses. Use last week's notes. Then if we have time on Tuesday, begin:

Weather routing using dynamic programming to win sailing races

Towards Fully-automated Driving

Navigation. Global Pathing. The Idea. Diagram I: Overall Navigation

Algebraic Trace Theory

Gradient Sampling for Improved Action Selection and Path Synthesis

Week 4. COMP62342 Sean Bechhofer, Uli Sattler

Linear graph theory. Basic definitions of linear graphs

Time Dependent Contraction Hierarchies Basic Algorithmic Ideas

CSE 473: Artificial Intelligence

Topologic and Metric Decision Criteria for Wayfinding in the Real World and the WWW

Semantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web

HS AP Physics 1 Science

Multi-Sensor Fusion for Localization of a Mobile Robot in Outdoor Environments

Using the Kalman Filter for SLAM AIMS 2015

Semantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16,

Mobile Robot Localization

Intelligent GIS: Automatic generation of qualitative spatial information

A Qualitative Model of Physical Fields

MITOCW MITRES_18-007_Part3_lec5_300k.mp4

A grid model for the design, coordination and dimensional optimization in architecture

Alexander Klippel and Chris Weaver. GeoVISTA Center, Department of Geography The Pennsylvania State University, PA, USA

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel

Mobile Robot Localization

CS 273 Prof. Serafim Batzoglou Prof. Jean-Claude Latombe Spring Lecture 12 : Energy maintenance (1) Lecturer: Prof. J.C.

Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops

Speculative Parallelism in Cilk++

Decentralized Stabilization of Heterogeneous Linear Multi-Agent Systems

Mappings For Cognitive Semantic Interoperability

A STUDY ON INCREMENTAL OBJECT-ORIENTED MODEL AND ITS SUPPORTING ENVIRONMENT FOR CARTOGRAPHIC GENERALIZATION IN MULTI-SCALE SPATIAL DATABASE

How to create a new geodatabase using the extract data wizard. 1. How to Extract the Schema to create a Geodatabase using an existing design.

Introduction to Mobile Robotics Probabilistic Sensor Models

Normed and Banach spaces

Math Week 1 notes

Outline. Limits of Bayesian classification Bayesian concept learning Probabilistic models for unsupervised and semi-supervised category learning

Theory, Concepts and Terminology

Distributed Data Fusion with Kalman Filters. Simon Julier Computer Science Department University College London

Wed Feb The vector spaces 2, 3, n. Announcements: Warm-up Exercise:

Mixed Integer Programming Solvers: from Where to Where. Andrea Lodi University of Bologna, Italy

A Survey of Temporal Knowledge Representations

Towards a formal description of models and workflows

Using Global Properties for Qualitative Reasoning: A Qualitative System Theory

GIS CONCEPTS ARCGIS METHODS AND. 2 nd Edition, July David M. Theobald, Ph.D. Natural Resource Ecology Laboratory Colorado State University

Components for Accurate Forecasting & Continuous Forecast Improvement

Chapter 1 Introduction

Robotics. Mobile Robotics. Marc Toussaint U Stuttgart

Support Vector Machines

Dynamic Data Modeling, Recognition, and Synthesis. Rui Zhao Thesis Defense Advisor: Professor Qiang Ji

Similarities and differences between outdoor and indoor space from the perspective of navigation

High-Rank Matrix Completion and Subspace Clustering with Missing Data

Grade 8 Big Ideas SY

Non- -overlappings TRSs are UN. Stefan Kahrs and Connor Smith University of Kent

transportation research in policy making for addressing mobility problems, infrastructure and functionality issues in urban areas. This study explored

FORMALISING SITUATED LEARNING IN COMPUTER-AIDED DESIGN

Development of a tool for proximity applications

EVALUATION OF SAFETY PERFORMANCES ON FREEWAY DIVERGE AREA AND FREEWAY EXIT RAMPS. Transportation Seminar February 16 th, 2009

Coarticulation in Markov Decision Processes Khashayar Rohanimanesh Robert Platt Sridhar Mahadevan Roderic Grupen CMPSCI Technical Report 04-33

Functional Characterization and Topological Modularity of Molecular Interaction Networks

Cognitive Systems 300: Probability and Causality (cont.)

Probabilistic Cardinal Direction Queries On Spatio-Temporal Data

Math 440 Project Assignment

AUTOMATED REASONING. Agostino Dovier. Udine, October 2, Università di Udine CLPLAB

Table of Contents. General Introduction... Part 1. Introduction... 3

Fuzzy Answer Set semantics for Residuated Logic programs

ON SPACE SYNTAX AS A CONFIGURATIONAL THEORY OF ARCHITECTURE FROM A SITUATED OBSERVER S VIEWPOINT

An overview of key ideas

Scaling the Topology of Symmetric, Second-Order Planar Tensor Fields

Application of Topology to Complex Object Identification. Eliseo CLEMENTINI University of L Aquila

Lecture 23: Hermite and Bezier Curves

Machine Positioning Uncertainty with Laser Interferometer Feedback

HIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING

Approximations - the method of least squares (1)

Canonicity and representable relation algebras

Working Group Cognitive Robotics

GIS-based Smart Campus System using 3D Modeling

Research Collection. Grid exploration. Master Thesis. ETH Library. Author(s): Wernli, Dino. Publication Date: 2012

LABORATORY V CONSERVATION OF MOMENTUM

A Cognitive Map for an Artificial Agent

Probabilistic Fundamentals in Robotics

GEOGRAPHY 350/550 Final Exam Fall 2005 NAME:

Investigation of Variations in the Absolute Calibration of the Laser Power Sensors for the LIGO Photon Calibrators

We saw in Section 5.1 that a limit of the form. arises when we compute an area.

Transcription:

A Review of Kuiper s: Spatial Semantic Hierarchy Okuary Osechas Comp-150: Behavior Based Robotics 4 November 2010

Outline Introduction 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 2 / 36

Introduction What is SSH The SSH is a model of knowledge of large-scale space Inspired by human cognitive map Hierarchical levels express states of partial knowledge Provides a way of handling a patchwork map of local geometric frames, linked by causal and topological connections......and of merging into single frame of reference Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 3 / 36

Introduction Author The author s experience in the field goes back many years PhD (Mathematics) from MIT, 1977. Thesis: Representing Knowledge of Large-Scale Space First publication on spatial knowledge A Model of the Acquisition of Spatial Knowledge Tufts University Working Papers in Cognitive Science, No. 11, February 1980 Professor at University of Michigan since Jan 2009 Was Assistant Professor at Tufts: Math dept, 1978-84 Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 4 / 36

Introduction Paper The paper collects the author s lifetime experience (up to 1999) in the representation of spatial knowledge Presentation of the SSH is very thorough 99 references in 43 pages Two goals: Describe multiple representations of the SSH, so they can be implemented Demonstrate that the representations can work together coherently and effectively Implicit Paradigm: An agent explores a previously unknown region and creates a representation for it Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 5 / 36

Outline Goals 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 6 / 36

Goals Organization The hierarchy is structured according to two criteria Ontological relations Qualitative vs. quantitative information Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 7 / 36

Goals The SSH is a model of knowledge of large-scale space Multiple interacting representations Different levels of increasing abstraction SSH The ultimate goal is a patchwork map of local geometries, linked by causal and topological connections Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 8 / 36

Goals Why this? Theoretical background for one question in our group project Trying to find an efficient, but generalizable answer to the question: What kind of information must be conveyed to a human, in order to most efficiently find a target? Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 9 / 36

Outline Ontological Levels 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 10 / 36

Ontological Levels Overview Five ontological levels are described 1 Sensory 2 Control 3 Causal 4 Topological 5 Metrical Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 11 / 36

Outline Real-world 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 12 / 36

Real-world Sensory The sensory and control levels deal with the continuous sensing of a continuous world This level is the only platform specific one Transition to causal level by abstracting continuous behavior to discrete states and actions Quantitative information is useful at every level, but: effective behavior is often possible with only qualitative knowledge. Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 13 / 36

Real-world Sensory The sensory level is the interface to the agent s sensory system Motion and exploration, guided by: Vision Range-sensing: Sonar Laser Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 14 / 36

Real-world Control The control level describes the world in terms of control laws Binding agent and environment into a dynamic system throughout a qualitatively uniform segment of environment Each law is coupled with conditions for: Appropriateness Conditions for termination Control laws blend over smoothly Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 15 / 36

Real-world Control Kuipers formulation is equivalent to a state-space representation Classic control laws formulated here Hybrid dynamic system Potential for interfacing with Kalman filter or particle filter SLAM Analog map Local way finding through behaviors This level may contain local geometric maps, to function as observers Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 16 / 36

Outline Causal 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 17 / 36

Causal Basics The causal level abstracts the continuous world and the agent s behavior Discrete model, consisting of: Sensory views Actions Causal relations among both Combined into schemas: V, A, V Two fundamental actions: Turn Travel Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 18 / 36

Causal Basics Views and actions are abstractions from the sensory/control level Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 19 / 36

Causal Schemas have two meanings Schemas Declarative: holds(v, s 0 ) holds(v, result(a, s 0 )) View V observed in state s 0, V will be observed if action A is taken in s 0 Procedural: holds(v, now) do(a, now) Stimulus-response pair An action sequence would look like this: V 0, A 0, V 1, A 1, V 2, A 2,..., V n 1, A n 1, V n Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 20 / 36

Causal Schemas The causal level can produce a view graph Nodes: views Edges: actions Humans have been shown to be able to build these graphs from purely visual information Difference to a topological map: distinguishability between places, based on views Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 21 / 36

Outline Topological 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 22 / 36

Topological Basics The topological level introduces the ontology of places, paths and regions Introducing relations between them: Connectivity Containment relations Constructed by [non-monotonic] abduction minimal set of places, paths and regions required to explain the sequence of observed views and actions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 23 / 36

Topological Basics A toplogical network map is more effective for planning than the causal action model Particularly if map is augmented with hierarchical region structure Further refinement possible, using quantitative attributes Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 24 / 36

Topological Elements The elements in the topological map Elements: Place: zero dimensional; may lie on zero or more paths. A turn action preserves place Path: orientable one-dimensional subspace of the environment. A travel takes place along a path. May serve as boundary between regions Region: two-dimensional subspace of the environment Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 25 / 36

Topological Relations The topological relations between elements Represent: location of views, connection of places and paths, order of places on paths, and boundaries and membership of regions at(view,place) along(view,path,dir) on(place,path) order(path,place1,place2,dir) rightof, leftof (path,dir,region) in(place,region) Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 26 / 36

Topological Abstraction How to abduct from the causal level to the topological level Every view is observed at a place view place at(view, place) Turn actions preserve place V, (turnα), V place [ at(v, place) at(v, place) ] Travel actions preserve path and direction [ V, (travelδ), V δ 0 p 1, p 2 p1 1p 2 at(v, p 1 ) at(v, p 2 ) ] Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 27 / 36

Topological Wayfinding The topological level is useful for way-finding tasks Graph of places and paths can be searched blindly Where distance estimates exist: routes can be optimized With direction and heading information: heuristic search favors motion in direction of goal Abstracting complex way-finding probelms: simpler high-level problem, plus simpler connection problems at endpoints Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 28 / 36

Outline Metrical 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 29 / 36

Metrical Basics Global geometric map of the environment in a single frame of reference This representation may be useful, but seldom essential Quantitative spatial information more useful at each individual level: Control level analog map Causal level action magnitudes Topological level local headings and distances Enough to represent a patchwork map of local frames of reference, linked by topological network structure Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 30 / 36

Metrical Problems The main problems of having a map with a single frame of reference Exploring agent has useful states not representable as coordinates in single frame of reference (e.g. loop closing uncertainty) Time and cost of mapping algorithm: hierarchical structuring is more efficient than uniform 2-D occupancy grid (when dealing with large-scale space) Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 31 / 36

Metrical Patchwork Map Two options for a patchwork representation Feature mapping identifies environmental features by their sensory signature and assigns locations in a single frame Create loosely-coupled collection of local patch maps, with qualitative links between them Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 32 / 36

To complete our example: Metrical Patchwork Map Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 33 / 36

Outline Conclusions 1 Introduction 2 Summary of ideas 3 Ontological Levels 4 Interfacing the real world 5 The causal level 6 The topological level 7 The metrical level 8 Conclusions Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 34 / 36

Conclusions Summary Hopefully this talk conveyed the basic idea behind the SSH Implicitly, we talked about the interfaces between hierarchical levels: This is an important concept for DIY SSH Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 35 / 36

Thank you! Bye bye...... have a good weekend Time for questions and discussion Osechas (BBR) Spatial Semantic Hierarchy Review 4 November 2010 36 / 36