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 the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
