空间对象的几何表示.pdfVIP

计算机科学2003Vo1．30No．3 空间对象的几何表示 刘亚彬 刘大有。 王 飞。 (上海财经大学信息管理系 上海200433) (国家教育部符号计算与知识开放实验室 长春130023)。 (复旦大学计算机科学与工程系 上海200433)。 RepresentationofGeometryofSpatialObjects LIU Ya—Bin LIU Da—YOU WANG Fei (DepartmentofInformationManaging。ShanghaiUniversityofFinance Economics．Shanghai200433) (LabofszmbolComputingKnowledgeOpening。MinistryofEducation。Changchun130023)。 (De partmentofComputerScienceandEngineering。FudanUniversity，Shanghai20043) Abstract Spatialreasoningisahotspotofartificialintelligenceareas。anddiffuselyappliedinareassuchasgeo— graphicalinformationsystems，robotic，highlevelvision。apprehendsofnaturallanguages，engineeringdesign·and commonsensereasoningaboutphysicalsituations．Thispapersummarizesanddiscussestherepresentationofgeometry ofspatialobjectsroundly． Keywords Geometry，Spatialreasoning。Spatialobject · 组合操作是封闭的．例如，任意平移的组合仍然是平移； 1 引言 · 组合操作满足结合律，即t。(t2·t3)=(tt。t2)。t3； 空间推理是指利用空间理论和人工智能技术对空间对象 ·存在全同转换 ，0∈T：全同转换可以把任意几何个体的 建模、描述和表示．并据此对空间对象问的空间关系进行的定 布局转换为它本身，如零距离平移； 性或定量的分析和处理过程。目前．空间推理被广泛应用于地 ·对于每个转换t∈T。都有一个逆转换 t ∈T．使这二者 理信息系统、机器人导航、高级视觉、自然语言理解、工程设计 的复合为全同转换：t·t ∈0。 和物理位置的常识推理等 ，是人工智能领域的一个研究热 几何结构研究在特定的转换组下 ．保持不变的几何图形 点 ·。 的性质或保持不变的几何图形的布局 ]，由某些转换组建立 不同的空间对象可能需要不同的空间几何结构来表示， 的不同的几何结构如表1所示。 空间对象的几何表示是描述空间对象和空间对象问空间关系 的基础 。 表1 几何结构的实例[] 几何结构 转换组 不变的性质 2 几何结构 位置一不变(L) 全同映射 位置 几何结构是对不依赖于几何图形具体位置的几何图形属 平 移一不 变 平移 距离、点一布局的顺序类型、重叠