Chapter 10

Space

Abstract

Many instances of commonsense reasoning involve space. We present two event calculus axiomatizations of space: relational space and metric space. We describe how these axiomatizations can be used to solve some sample problems. A closely related issue that we consider is object identity: Two objects observed at different times and locations in space may or may not be the same object.

Keywords

Commonsense reasoning

Event calculus

Sspatial reasoning

Reasoning about space and time

Relational space

Metric space

Object identity

Many instances of commonsense reasoning involve space. In this chapter, we present two event calculus axiomatizations of space: relational space and metric space. We describe how these axiomatizations ...

Get Commonsense Reasoning, 2nd Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.