A Review of Kuiper s: Spatial Semantic Hierarchy

Size: px
Start display at page:

Download "A Review of Kuiper s: Spatial Semantic Hierarchy"

Transcription

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

2 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 / 36

3 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 / 36

4 Introduction Author The author s experience in the field goes back many years PhD (Mathematics) from MIT, 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, Osechas (BBR) Spatial Semantic Hierarchy Review 4 November / 36

5 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 / 36

6 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 / 36

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

8 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 / 36

9 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 / 36

10 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 / 36

11 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 / 36

12 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 / 36

13 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 / 36

14 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 / 36

15 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 / 36

16 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 / 36

17 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 / 36

18 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 / 36

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

20 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 / 36

21 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 / 36

22 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 / 36

23 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 / 36

24 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 / 36

25 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 / 36

26 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 / 36

27 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 / 36

28 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 / 36

29 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 / 36

30 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 / 36

31 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 / 36

32 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 / 36

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

34 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 / 36

35 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 / 36

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

The Spatial Semantic Hierarchy

The Spatial Semantic Hierarchy Artificial Intelligence 119 (2000) 191 233 The Spatial Semantic Hierarchy Benjamin Kuipers 1 Computer Science Department, University of Texas at Austin, Austin, TX 78712, USA Received 5 April 1999; received

More information

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

Robot Localisation. Henrik I. Christensen. January 12, 2007 Robot Henrik I. Robotics and Intelligent Machines @ GT College of Computing Georgia Institute of Technology Atlanta, GA hic@cc.gatech.edu January 12, 2007 The Robot Structure Outline 1 2 3 4 Sum of 5 6

More information

THE SKELETON IN THE COGNITIVE MAP A Computational and Empirical Exploration

THE SKELETON IN THE COGNITIVE MAP A Computational and Empirical Exploration 1.1177/1391652238866 ENVIRONMENT Kuipers ARTICLE et al. / SKELETON AND BEHAVIOR IN THE COGNITIVE / January 23 MAP THE SKELETON IN THE COGNITIVE MAP A Computational and Empirical Exploration BENJAMIN KUIPERS

More information

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

pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to: The Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction at the Universities of Bremen and Freiburg, Germany pursues interdisciplinary long-term research

More information

UAV Navigation: Airborne Inertial SLAM

UAV Navigation: Airborne Inertial SLAM Introduction UAV Navigation: Airborne Inertial SLAM Jonghyuk Kim Faculty of Engineering and Information Technology Australian National University, Australia Salah Sukkarieh ARC Centre of Excellence in

More information

Semantic maps - a multi-hierarchical model

Semantic maps - a multi-hierarchical model - a multi-hierarchical model 64.425 Integrated Seminar: Intelligent Robotics Paul Anton Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften Technische Aspekte Multimodaler Systeme

More information

Boundary Region Relations

Boundary Region Relations From: AAAI Technical Report FS-98-02. Compilation copyright 1998, AAAI (www.aaai.org). All rights reserved. Boundary Region Relations Emilio Remolina and Benjamin Kuipers * Computer Science Department

More information

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

Introduction to Mobile Robotics Information Gain-Based Exploration. Wolfram Burgard, Cyrill Stachniss, Maren Bennewitz, Giorgio Grisetti, Kai Arras Introduction to Mobile Robotics Information Gain-Based Exploration Wolfram Burgard, Cyrill Stachniss, Maren Bennewitz, Giorgio Grisetti, Kai Arras 1 Tasks of Mobile Robots mapping SLAM localization integrated

More information

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

SLAM Techniques and Algorithms. Jack Collier. Canada. Recherche et développement pour la défense Canada. Defence Research and Development Canada SLAM Techniques and Algorithms Jack Collier Defence Research and Development Canada Recherche et développement pour la défense Canada Canada Goals What will we learn Gain an appreciation for what SLAM

More information

Cognitive Engineering for Geographic Information Science

Cognitive Engineering for Geographic Information Science Cognitive Engineering for Geographic Information Science Martin Raubal Department of Geography, UCSB raubal@geog.ucsb.edu 21 Jan 2009 ThinkSpatial, UCSB 1 GIScience Motivation systematic study of all aspects

More information

Vision for Mobile Robot Navigation: A Survey

Vision for Mobile Robot Navigation: A Survey Vision for Mobile Robot Navigation: A Survey (February 2002) Guilherme N. DeSouza & Avinash C. Kak presentation by: Job Zondag 27 February 2009 Outline: Types of Navigation Absolute localization (Structured)

More information

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

Particle Filters; Simultaneous Localization and Mapping (Intelligent Autonomous Robotics) Subramanian Ramamoorthy School of Informatics Particle Filters; Simultaneous Localization and Mapping (Intelligent Autonomous Robotics) Subramanian Ramamoorthy School of Informatics Recap: State Estimation using Kalman Filter Project state and error

More information

Designing and Evaluating Generic Ontologies

Designing and Evaluating Generic Ontologies Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of

More information

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

EKF and SLAM. McGill COMP 765 Sept 18 th, 2017 EKF and SLAM McGill COMP 765 Sept 18 th, 2017 Outline News and information Instructions for paper presentations Continue on Kalman filter: EKF and extension to mapping Example of a real mapping system:

More information

AIBO experiences change of surface incline.

AIBO experiences change of surface incline. NW Computational Intelligence Laboratory AIBO experiences change of surface incline. Decisions based only on kinesthetic experience vector ICNC 07, China 8/27/07 # 51 NW Computational Intelligence Laboratory

More information

Lecture : Tietze Extension Theorem

Lecture : Tietze Extension Theorem Proof of Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India November 26, 2014 Outline Introduction Proof of 1 Introduction 2 3 Proof of 4 Proof of The theorem is due to

More information

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

Analysis and visualization of protein-protein interactions. Olga Vitek Assistant Professor Statistics and Computer Science 1 Analysis and visualization of protein-protein interactions Olga Vitek Assistant Professor Statistics and Computer Science 2 Outline 1. Protein-protein interactions 2. Using graph structures to study

More information

Introduction to Mobile Robotics SLAM: Simultaneous Localization and Mapping

Introduction to Mobile Robotics SLAM: Simultaneous Localization and Mapping Introduction to Mobile Robotics SLAM: Simultaneous Localization and Mapping Wolfram Burgard, Cyrill Stachniss, Kai Arras, Maren Bennewitz What is SLAM? Estimate the pose of a robot and the map of the environment

More information

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

Finish section 3.6 on Determinants and connections to matrix inverses. Use last week's notes. Then if we have time on Tuesday, begin: Math 225-4 Week 7 notes Sections 4-43 vector space concepts Tues Feb 2 Finish section 36 on Determinants and connections to matrix inverses Use last week's notes Then if we have time on Tuesday, begin

More information

Weather routing using dynamic programming to win sailing races

Weather routing using dynamic programming to win sailing races OSE SEMINAR 2013 Weather routing using dynamic programming to win sailing races Mikael Nyberg CENTER OF EXCELLENCE IN OPTIMIZATION AND SYSTEMS ENGINEERING AT ÅBO AKADEMI UNIVERSITY ÅBO NOVEMBER 15 2013

More information

Towards Fully-automated Driving

Towards Fully-automated Driving Towards Fully-automated Driving Challenges and Potential Solutions Dr. Gijs Dubbelman Mobile Perception Systems EE-SPS/VCA Mobile Perception Systems 6 PhDs, postdoc, project manager, software engineer,

More information

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

Navigation. Global Pathing. The Idea. Diagram I: Overall Navigation Navigation Diagram I: Overall Navigation Global Pathing The Idea (focus on 2D coordinates Takes advantage of prior info: navigation space/ dimensions target destination location Risks: Map Resolution too

More information

Algebraic Trace Theory

Algebraic Trace Theory Algebraic Trace Theory EE249 Roberto Passerone Material from: Jerry R. Burch, Trace Theory for Automatic Verification of Real-Time Concurrent Systems, PhD thesis, CMU, August 1992 October 21, 2002 ee249

More information

Gradient Sampling for Improved Action Selection and Path Synthesis

Gradient Sampling for Improved Action Selection and Path Synthesis Gradient Sampling for Improved Action Selection and Path Synthesis Ian M. Mitchell Department of Computer Science The University of British Columbia November 2016 mitchell@cs.ubc.ca http://www.cs.ubc.ca/~mitchell

More information

Week 4. COMP62342 Sean Bechhofer, Uli Sattler

Week 4. COMP62342 Sean Bechhofer, Uli Sattler Week 4 COMP62342 Sean Bechhofer, Uli Sattler sean.bechhofer@manchester.ac.uk, uli.sattler@manchester.ac.uk Today Some clarifications from last week s coursework More on reasoning: extension of the tableau

More information

Linear graph theory. Basic definitions of linear graphs

Linear graph theory. Basic definitions of linear graphs Linear graph theory Linear graph theory, a branch of combinatorial mathematics has proved to be a useful tool for the study of large or complex systems. Leonhard Euler wrote perhaps the first paper on

More information

Time Dependent Contraction Hierarchies Basic Algorithmic Ideas

Time Dependent Contraction Hierarchies Basic Algorithmic Ideas Time Dependent Contraction Hierarchies Basic Algorithmic Ideas arxiv:0804.3947v1 [cs.ds] 24 Apr 2008 Veit Batz, Robert Geisberger and Peter Sanders Universität Karlsruhe (TH), 76128 Karlsruhe, Germany

More information

CSE 473: Artificial Intelligence

CSE 473: Artificial Intelligence CSE 473: Artificial Intelligence Hidden Markov Models Dieter Fox --- University of Washington [Most slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188 materials

More information

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

Topologic and Metric Decision Criteria for Wayfinding in the Real World and the WWW Hochmair, H. and Raubal, M. (2002). Topologic and Metric Decision Criteria for Wayfinding in the Real World and the WWW. Spatial Data Handling (SDH'02), Ottawa (proceedings on CD-ROM). Topologic and Metric

More information

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

Semantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web Semantic Evolution of Geospatial Web Services: Use Cases and Experiments in the Geospatial Semantic Web Joshua Lieberman, Todd Pehle, Mike Dean Traverse Technologies, Inc., Northrop Grumman Information

More information

HS AP Physics 1 Science

HS AP Physics 1 Science Scope And Sequence Timeframe Unit Instructional Topics 5 Day(s) 20 Day(s) 5 Day(s) Kinematics Course AP Physics 1 is an introductory first-year, algebra-based, college level course for the student interested

More information

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

Multi-Sensor Fusion for Localization of a Mobile Robot in Outdoor Environments Multi-Sensor Fusion for Localization of a Mobile Robot in Outdoor Environments Thomas Emter, Arda Saltoğlu and Janko Petereit Introduction AMROS Mobile platform equipped with multiple sensors for navigation

More information

Using the Kalman Filter for SLAM AIMS 2015

Using the Kalman Filter for SLAM AIMS 2015 Using the Kalman Filter for SLAM AIMS 2015 Contents Trivial Kinematics Rapid sweep over localisation and mapping (components of SLAM) Basic EKF Feature Based SLAM Feature types and representations Implementation

More information

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

Semantic Web SPARQL. Gerd Gröner, Matthias Thimm. July 16, Semantic Web SPARQL Gerd Gröner, Matthias Thimm {groener,thimm}@uni-koblenz.de Institute for Web Science and Technologies (WeST) University of Koblenz-Landau July 16, 2013 Gerd Gröner, Matthias Thimm Semantic

More information

Mobile Robot Localization

Mobile Robot Localization Mobile Robot Localization 1 The Problem of Robot Localization Given a map of the environment, how can a robot determine its pose (planar coordinates + orientation)? Two sources of uncertainty: - observations

More information

Intelligent GIS: Automatic generation of qualitative spatial information

Intelligent GIS: Automatic generation of qualitative spatial information Intelligent GIS: Automatic generation of qualitative spatial information Jimmy A. Lee 1 and Jane Brennan 1 1 University of Technology, Sydney, FIT, P.O. Box 123, Broadway NSW 2007, Australia janeb@it.uts.edu.au

More information

A Qualitative Model of Physical Fields

A Qualitative Model of Physical Fields A Qualitative Model of Physical Fields Monika Lundell Artificial Intelligence Laboratory Computer Science Department Swiss Federal Institute of Technology IN-Ecublens, 1015 Lausanne, Switzerland lundell@lia.di.epfl.ch

More information

MITOCW MITRES_18-007_Part3_lec5_300k.mp4

MITOCW MITRES_18-007_Part3_lec5_300k.mp4 MITOCW MITRES_18-007_Part3_lec5_300k.mp4 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources

More information

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

A grid model for the design, coordination and dimensional optimization in architecture A grid model for the design, coordination and dimensional optimization in architecture D.Léonard 1 and O. Malcurat 2 C.R.A.I. (Centre de Recherche en Architecture et Ingénierie) School of Architecture

More information

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

Alexander Klippel and Chris Weaver. GeoVISTA Center, Department of Geography The Pennsylvania State University, PA, USA Analyzing Behavioral Similarity Measures in Linguistic and Non-linguistic Conceptualization of Spatial Information and the Question of Individual Differences Alexander Klippel and Chris Weaver GeoVISTA

More information

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

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel Proposition Knowledge Graphs Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel 1 Problem End User 2 Case Study: Curiosity (Mars Rover) Curiosity is a fully equipped lab. Curiosity is a rover.

More information

Mobile Robot Localization

Mobile Robot Localization Mobile Robot Localization 1 The Problem of Robot Localization Given a map of the environment, how can a robot determine its pose (planar coordinates + orientation)? Two sources of uncertainty: - observations

More information

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

CS 273 Prof. Serafim Batzoglou Prof. Jean-Claude Latombe Spring Lecture 12 : Energy maintenance (1) Lecturer: Prof. J.C. CS 273 Prof. Serafim Batzoglou Prof. Jean-Claude Latombe Spring 2006 Lecture 12 : Energy maintenance (1) Lecturer: Prof. J.C. Latombe Scribe: Neda Nategh How do you update the energy function during the

More information

Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops

Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops Presented at the Eleventh International Workshop on Principles of Diagnosis, Mexico. June 2000 Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops Pieter J. Mosterman Institute

More information

Speculative Parallelism in Cilk++

Speculative Parallelism in Cilk++ Speculative Parallelism in Cilk++ Ruben Perez & Gregory Malecha MIT May 11, 2010 Ruben Perez & Gregory Malecha (MIT) Speculative Parallelism in Cilk++ May 11, 2010 1 / 33 Parallelizing Embarrassingly Parallel

More information

Decentralized Stabilization of Heterogeneous Linear Multi-Agent Systems

Decentralized Stabilization of Heterogeneous Linear Multi-Agent Systems 1 Decentralized Stabilization of Heterogeneous Linear Multi-Agent Systems Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, and Giovanni Ulivi Abstract In this paper the formation stabilization problem

More information

Mappings For Cognitive Semantic Interoperability

Mappings For Cognitive Semantic Interoperability Mappings For Cognitive Semantic Interoperability Martin Raubal Institute for Geoinformatics University of Münster, Germany raubal@uni-muenster.de SUMMARY Semantic interoperability for geographic information

More information

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

A STUDY ON INCREMENTAL OBJECT-ORIENTED MODEL AND ITS SUPPORTING ENVIRONMENT FOR CARTOGRAPHIC GENERALIZATION IN MULTI-SCALE SPATIAL DATABASE A STUDY ON INCREMENTAL OBJECT-ORIENTED MODEL AND ITS SUPPORTING ENVIRONMENT FOR CARTOGRAPHIC GENERALIZATION IN MULTI-SCALE SPATIAL DATABASE Fan Wu Lina Dang Xiuqin Lu Weiming Su School of Resource & Environment

More information

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.

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. How to create a new geodatabase using the extract data wizard The Extract Data Wizard can be used to create a new database based on an existing geodatabase. This tool may be used in the following cases:

More information

Introduction to Mobile Robotics Probabilistic Sensor Models

Introduction to Mobile Robotics Probabilistic Sensor Models Introduction to Mobile Robotics Probabilistic Sensor Models Wolfram Burgard 1 Sensors for Mobile Robots Contact sensors: Bumpers Proprioceptive sensors Accelerometers (spring-mounted masses) Gyroscopes

More information

Normed and Banach spaces

Normed and Banach spaces Normed and Banach spaces László Erdős Nov 11, 2006 1 Norms We recall that the norm is a function on a vectorspace V, : V R +, satisfying the following properties x + y x + y cx = c x x = 0 x = 0 We always

More information

Math Week 1 notes

Math Week 1 notes Math 2270-004 Week notes We will not necessarily finish the material from a given day's notes on that day. Or on an amazing day we may get farther than I've predicted. We may also add or subtract some

More information

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

Outline. Limits of Bayesian classification Bayesian concept learning Probabilistic models for unsupervised and semi-supervised category learning Outline Limits of Bayesian classification Bayesian concept learning Probabilistic models for unsupervised and semi-supervised category learning Limitations Is categorization just discrimination among mutually

More information

Theory, Concepts and Terminology

Theory, Concepts and Terminology GIS Workshop: Theory, Concepts and Terminology 1 Theory, Concepts and Terminology Suggestion: Have Maptitude with a map open on computer so that we can refer to it for specific menu and interface items.

More information

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

Distributed Data Fusion with Kalman Filters. Simon Julier Computer Science Department University College London Distributed Data Fusion with Kalman Filters Simon Julier Computer Science Department University College London S.Julier@cs.ucl.ac.uk Structure of Talk Motivation Kalman Filters Double Counting Optimal

More information

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

Wed Feb The vector spaces 2, 3, n. Announcements: Warm-up Exercise: Wed Feb 2 4-42 The vector spaces 2, 3, n Announcements: Warm-up Exercise: 4-42 The vector space m and its subspaces; concepts related to "linear combinations of vectors" Geometric interpretation of vectors

More information

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

Mixed Integer Programming Solvers: from Where to Where. Andrea Lodi University of Bologna, Italy Mixed Integer Programming Solvers: from Where to Where Andrea Lodi University of Bologna, Italy andrea.lodi@unibo.it November 30, 2011 @ Explanatory Workshop on Locational Analysis, Sevilla A. Lodi, MIP

More information

A Survey of Temporal Knowledge Representations

A Survey of Temporal Knowledge Representations A Survey of Temporal Knowledge Representations Advisor: Professor Abdullah Tansel Second Exam Presentation Knowledge Representations logic-based logic-base formalisms formalisms more complex and difficult

More information

Towards a formal description of models and workflows

Towards a formal description of models and workflows Towards a formal description of models and workflows Heinz A Preisig Process Systems Engineering @ Chemical Engineering NTNU, Trondheim, Norway MoDeNa - FP7 ++ Computational engineering The vision that

More information

Using Global Properties for Qualitative Reasoning: A Qualitative System Theory

Using Global Properties for Qualitative Reasoning: A Qualitative System Theory Using Global Properties for Qualitative Reasoning: A Qualitative System Theory Yoshiteru Ishida Division of Applied Systems Science Kyoto University, Kyoto 606 Japan 1 Abstract All the qualitative simulation

More information

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

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

More information

Components for Accurate Forecasting & Continuous Forecast Improvement

Components for Accurate Forecasting & Continuous Forecast Improvement Components for Accurate Forecasting & Continuous Forecast Improvement An ISIS Solutions White Paper November 2009 Page 1 Achieving forecast accuracy for business applications one year in advance requires

More information

Chapter 1 Introduction

Chapter 1 Introduction Chapter 1 Introduction 1.1 Introduction to Chapter This chapter starts by describing the problems addressed by the project. The aims and objectives of the research are outlined and novel ideas discovered

More information

Robotics. Mobile Robotics. Marc Toussaint U Stuttgart

Robotics. Mobile Robotics. Marc Toussaint U Stuttgart Robotics Mobile Robotics State estimation, Bayes filter, odometry, particle filter, Kalman filter, SLAM, joint Bayes filter, EKF SLAM, particle SLAM, graph-based SLAM Marc Toussaint U Stuttgart DARPA Grand

More information

Support Vector Machines

Support Vector Machines Support Vector Machines Mathematically Sophisticated Classification Todd Wilson Statistical Learning Group Department of Statistics North Carolina State University September 27, 2016 1 / 29 Support Vector

More information

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

Dynamic Data Modeling, Recognition, and Synthesis. Rui Zhao Thesis Defense Advisor: Professor Qiang Ji Dynamic Data Modeling, Recognition, and Synthesis Rui Zhao Thesis Defense Advisor: Professor Qiang Ji Contents Introduction Related Work Dynamic Data Modeling & Analysis Temporal localization Insufficient

More information

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

Similarities and differences between outdoor and indoor space from the perspective of navigation Similarities and differences between outdoor and indoor space from the perspective of navigation (Extended Abstract) Liping Yang, Michael Worboys Department of Spatial Information Science and Engineering,

More information

High-Rank Matrix Completion and Subspace Clustering with Missing Data

High-Rank Matrix Completion and Subspace Clustering with Missing Data High-Rank Matrix Completion and Subspace Clustering with Missing Data Authors: Brian Eriksson, Laura Balzano and Robert Nowak Presentation by Wang Yuxiang 1 About the authors

More information

Grade 8 Big Ideas SY

Grade 8 Big Ideas SY Topics and Chapters/Units Days in Cycle Dates Grade 8 Big Ideas 2017-2018 SY Benchmark Cycle 1 Benchmark Cycle 2 Benchmark Cycle 3 Cycle 4 September 5 - October 31 BM Window Nov 1-17 November 2 - January

More information

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

Non- -overlappings TRSs are UN. Stefan Kahrs and Connor Smith University of Kent Non- -overlappings TRSs are UN Stefan Kahrs and Connor Smith University of Kent This is about: When is the equational theory of a TRS consistent (CON), when does it have unique normal forms (UN), How can

More information

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

transportation research in policy making for addressing mobility problems, infrastructure and functionality issues in urban areas. This study explored ABSTRACT: Demand supply system are the three core clusters of transportation research in policy making for addressing mobility problems, infrastructure and functionality issues in urban areas. This study

More information

FORMALISING SITUATED LEARNING IN COMPUTER-AIDED DESIGN

FORMALISING SITUATED LEARNING IN COMPUTER-AIDED DESIGN FORMALISING SITUATED LEARNING IN COMPUTER-AIDED DESIGN JOHN.S.GERO AND GOURABMOY NATH Key Centre of Design Computing Department of Architectural and Design Science University of Sydney NS W 2006 Australia

More information

Development of a tool for proximity applications

Development of a tool for proximity applications Page 1 of 8 Development of a tool for proximity applications Anders Dahlgren 1 and Lars Harrie 2 1 The National Rural Development Agency, Östersund, Sweden, anders.dahlgren@glesbygdsverket.se 2 GIS Centre,

More information

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

EVALUATION OF SAFETY PERFORMANCES ON FREEWAY DIVERGE AREA AND FREEWAY EXIT RAMPS. Transportation Seminar February 16 th, 2009 EVALUATION OF SAFETY PERFORMANCES ON FREEWAY DIVERGE AREA AND FREEWAY EXIT RAMPS Transportation Seminar February 16 th, 2009 By: Hongyun Chen Graduate Research Assistant 1 Outline Introduction Problem

More information

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

Coarticulation in Markov Decision Processes Khashayar Rohanimanesh Robert Platt Sridhar Mahadevan Roderic Grupen CMPSCI Technical Report 04-33 Coarticulation in Markov Decision Processes Khashayar Rohanimanesh Robert Platt Sridhar Mahadevan Roderic Grupen CMPSCI Technical Report 04- June, 2004 Department of Computer Science University of Massachusetts

More information

Functional Characterization and Topological Modularity of Molecular Interaction Networks

Functional Characterization and Topological Modularity of Molecular Interaction Networks Functional Characterization and Topological Modularity of Molecular Interaction Networks Jayesh Pandey 1 Mehmet Koyutürk 2 Ananth Grama 1 1 Department of Computer Science Purdue University 2 Department

More information

Cognitive Systems 300: Probability and Causality (cont.)

Cognitive Systems 300: Probability and Causality (cont.) Cognitive Systems 300: Probability and Causality (cont.) David Poole and Peter Danielson University of British Columbia Fall 2013 1 David Poole and Peter Danielson Cognitive Systems 300: Probability and

More information

Probabilistic Cardinal Direction Queries On Spatio-Temporal Data

Probabilistic Cardinal Direction Queries On Spatio-Temporal Data Probabilistic Cardinal Direction Queries On Spatio-Temporal Data Ganesh Viswanathan Midterm Project Report CIS 6930 Data Science: Large-Scale Advanced Data Analytics University of Florida September 3 rd,

More information

Math 440 Project Assignment

Math 440 Project Assignment Math 440 Project Assignment 1. Overview The goal of your project assignment is to explore an aspect of topology beyond the topics covered in class. It will be necessary to use the tools and properties

More information

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

AUTOMATED REASONING. Agostino Dovier. Udine, October 2, Università di Udine CLPLAB AUTOMATED REASONING Agostino Dovier Università di Udine CLPLAB Udine, October 2, 2017 AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 2, 2017 1 / 28 COURSE PLACEMENT International Master Degree

More information

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

Table of Contents. General Introduction... Part 1. Introduction... 3 Table of Contents General Introduction... xi PART 1. THE STRUCTURE OF THE GEOGRAPHIC SPACE... 1 Part 1. Introduction... 3 Chapter 1. Structure and System Concepts... 5 1.1. The notion of structure... 5

More information

Fuzzy Answer Set semantics for Residuated Logic programs

Fuzzy Answer Set semantics for Residuated Logic programs semantics for Logic Nicolás Madrid & Universidad de Málaga September 23, 2009 Aims of this paper We are studying the introduction of two kinds of negations into residuated : Default negation: This negation

More information

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

ON SPACE SYNTAX AS A CONFIGURATIONAL THEORY OF ARCHITECTURE FROM A SITUATED OBSERVER S VIEWPOINT Environment and Planning B: Planning and Design, In Press ON SPACE SYNTAX AS A CONFIGURATIONAL THEORY OF ARCHITECTURE FROM A SITUATED OBSERVER S VIEWPOINT Mahbub Rashid, PhD, RA Professor of Architecture,

More information

An overview of key ideas

An overview of key ideas An overview of key ideas This is an overview of linear algebra given at the start of a course on the mathematics of engineering. Linear algebra progresses from vectors to matrices to subspaces. Vectors

More information

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

Scaling the Topology of Symmetric, Second-Order Planar Tensor Fields Scaling the Topology of Symmetric, Second-Order Planar Tensor Fields Xavier Tricoche, Gerik Scheuermann, and Hans Hagen University of Kaiserslautern, P.O. Box 3049, 67653 Kaiserslautern, Germany E-mail:

More information

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

Application of Topology to Complex Object Identification. Eliseo CLEMENTINI University of L Aquila Application of Topology to Complex Object Identification Eliseo CLEMENTINI University of L Aquila Agenda Recognition of complex objects in ortophotos Some use cases Complex objects definition An ontology

More information

Lecture 23: Hermite and Bezier Curves

Lecture 23: Hermite and Bezier Curves Lecture 23: Hermite and Bezier Curves November 16, 2017 11/16/17 CSU CS410 Fall 2017, Ross Beveridge & Bruce Draper 1 Representing Curved Objects So far we ve seen Polygonal objects (triangles) and Spheres

More information

Machine Positioning Uncertainty with Laser Interferometer Feedback

Machine Positioning Uncertainty with Laser Interferometer Feedback Machine Positioning Uncertainty with Laser Interferometer Feedback The purpose of this discussion is to explain the major contributors to machine positioning uncertainty in systems with laser interferometer

More information

HIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING

HIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING HIERARCHICAL STREET NETWORKS AS A CONCEPTUAL MODEL FOR EFFICIENT WAY FINDING Adrijana Car and Andrew U. Frank Department of Geoinformation, Technical University Vienna Gußhausstraße 27-29, A-1040 Vienna,

More information

Approximations - the method of least squares (1)

Approximations - the method of least squares (1) Approximations - the method of least squares () In many applications, we have to consider the following problem: Suppose that for some y, the equation Ax = y has no solutions It could be that this is an

More information

Canonicity and representable relation algebras

Canonicity and representable relation algebras Canonicity and representable relation algebras Ian Hodkinson Joint work with: Rob Goldblatt Robin Hirsch Yde Venema What am I going to do? In the 1960s, Monk proved that the variety RRA of representable

More information

Working Group Cognitive Robotics

Working Group Cognitive Robotics Working Group Cognitive Robotics Bernd Krieg-Brückner, Reinhard Moratz, Thomas Röfer, Kai Hübner, Axel Lankenau, Tilman Vierhuff Bremen Institute of Safe Systems Center for Computing Technology Universität

More information

GIS-based Smart Campus System using 3D Modeling

GIS-based Smart Campus System using 3D Modeling GIS-based Smart Campus System using 3D Modeling Smita Sengupta GISE Advance Research Lab. IIT Bombay, Powai Mumbai 400 076, India smitas@cse.iitb.ac.in Concept of Smart Campus System Overview of IITB Campus

More information

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

Research Collection. Grid exploration. Master Thesis. ETH Library. Author(s): Wernli, Dino. Publication Date: 2012 Research Collection Master Thesis Grid exploration Author(s): Wernli, Dino Publication Date: 2012 Permanent Link: https://doi.org/10.3929/ethz-a-007343281 Rights / License: In Copyright - Non-Commercial

More information

LABORATORY V CONSERVATION OF MOMENTUM

LABORATORY V CONSERVATION OF MOMENTUM LABORATORY V CONSERVATION OF MOMENTUM In this lab you will use conservation of momentum to predict the motion of objects resulting from interactions that are difficult to analyze with force concepts or

More information

A Cognitive Map for an Artificial Agent

A Cognitive Map for an Artificial Agent A Cognitive Map for an Artificial Agent Unmesh Kurup Rensselaer Polytechnic Institute Carnegie 013, 110 8 th Street Troy, NY 12180 kurupu@rpi.edu B. Chandrasekaran The Ohio State University 591 Dreese,

More information

Probabilistic Fundamentals in Robotics

Probabilistic Fundamentals in Robotics Probabilistic Fundamentals in Robotics Probabilistic Models of Mobile Robots Robot localization Basilio Bona DAUIN Politecnico di Torino June 2011 Course Outline Basic mathematical framework Probabilistic

More information

GEOGRAPHY 350/550 Final Exam Fall 2005 NAME:

GEOGRAPHY 350/550 Final Exam Fall 2005 NAME: 1) A GIS data model using an array of cells to store spatial data is termed: a) Topology b) Vector c) Object d) Raster 2) Metadata a) Usually includes map projection, scale, data types and origin, resolution

More information

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

Investigation of Variations in the Absolute Calibration of the Laser Power Sensors for the LIGO Photon Calibrators Investigation of Variations in the Absolute Calibration of the Laser Power Sensors for the LIGO Photon Calibrators Stephanie Erickson (Smith College) Mentor: Rick Savage Overview Review from last talk

More information

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

We saw in Section 5.1 that a limit of the form. arises when we compute an area. INTEGRALS 5 INTEGRALS Equation 1 We saw in Section 5.1 that a limit of the form n lim f ( x *) x n i 1 i lim[ f ( x *) x f ( x *) x... f ( x *) x] n 1 2 arises when we compute an area. n We also saw that

More information