Formalism for Treatment of the Ambiguity in Front/Back Axis Expressions

In this paper we present a logical formalism for the treatment of pragmatic ambiguity in spatial expressions of the frontal axis (front/back). The ambiguity occurs because the same situation can be analyzed from different points of view. For this, we use frames of reference for the interpretation of front/back (intrinsic, extrinsic, deictic) together with formalisms of qualitative spatial reasoning.