Robot Navigation and Map Building with the Event Calculus (abstract).
Murray ShanahanMark WitkowskiPublished in: ESCQARU (1999)
Keyphrases
- robot navigation
- map building
- event calculus
- situation calculus
- deductive databases
- temporal reasoning
- partially ordered
- reasoning tasks
- autonomous robots
- domain specific knowledge
- scene understanding
- transitive closure
- high level
- mobile robot
- topological map
- temporal information
- directed acyclic graph
- logic programming
- computer vision
- object detection
- dynamic programming
- unknown environments