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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.