摘要
This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fuzzy logic scheme; （2） the machine learning technique; and （3） an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.
