A logic-based framework for shape representation

Shapes represent a very important way with which we perceive and reason about the world. In this article we develop a logic-based framework to represent graphical shapes in two dimensions. Based on the concept of halfplanes, this framework allows us to represent regions as predicates in logic. This representation is applied to demonstrate shape concepts associated with topology and emergence.