基于空间球理论的定性空间表示  

Spatial representation of based on spatial sphere theory

作　　者：杨清渤[1] 刘一松[1] 陈梅[2] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013 [2]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《计算机工程与设计》2008年第12期3167-3169,3172,共4页Computer Engineering and Design

基　　金：江苏省高校自然科学研究计划基金项目(03kjd520175)

摘　　要：主要研究了三维空间中空间对象的关系表示,介绍了利用部分学理论和形态学理论定义空间球的方法。根据Bran-don Bennettd的RBG理论,定义了空间球的形态关系及判断方法,提出了空间球全等的公理系统,给出了利用空间球模型定性表示方向关系和距离关系的方法。智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。Spatial representation between spatial objects in 3-D space is studied. The method of defining spatial sphere by means of Mereology and Morphology is introduced. The morphology relations and the verdict methods according to the RBC theory is defined. The axiom system of spatial sphere is put forward. The qualitative representation of direction relations and distance relations based on spatial sphere theory are described. The confirmation of the relation between agent and space is implemented by spatial sphere. So, this model is a new representation method for the action reasoning of the agents in the constraint spatial environment.

关 键 词：定性空间推理 空间表示 空间球 部分学 形态学 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]