Introducing a Reasoning System Based on Ternary Projective Relations

Abstract

This paper introduces a reasoning system based on ternary projective relations between spatial objects. The model applies to spatial objects of the kind point and region, is based on basic projective invariants and takes into account the size and shape of the three objects that are involved in a relation. The reasoning system uses permutation and composition properties, which allow the inference of unknown relations from given ones.