本文围绕空间推理中一些热点问题,展开研究和讨论。重点研究了空间方位关系模型和多方面空间关系结合推理问题。分析了矩形代数与主方位关系间的关联,给出三维主方位关系模型。提出RCC5与主方位关系结合推理方法和基于MBR的拓扑、方位、尺寸结合的表示推理模型。主要工作包括:⑴分别从确定对象和不确定对象两方面,分析总结了现有空间关系形式化模型;⑵给出利用矩形代数解决主方位关系推理问题的方法;⑶引进新定性符号表示三维方向关系,提出三维主方位关系模型,并给出基本关系约束集合的相容性判定算法;⑷讨论了RCC5与主方位关系结合推理问题;⑸基于扩展矩形关系,给出拓扑、方位、尺寸结合的定性表示和推理模型,并讨论了约束满足问题。本文研究结果对主方位关系分析、多方面空间关系结合推理等问题,都具有一定的理论意义和应用价值。