摘要
介绍了利用部分学理论和形态学理论定义空间球的方法。针对Brandon Bennettd的RBG理论,给出了空间球的拓展和收缩的形式化定义,提出了一种定性空间关系表示的空间球模型。给出了利用空间球模型定性表示拓扑关系、方向关系和距离关系并对拓扑关系进行细化的方法。智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。
The method of defining spatial sphere by means of Mereology and Morphology is introduced in this paper. According to the RBG theory, the formal definition of the spatial sphere Extension and Shrinking was provided. The qualitative representation of topological relations, direction relations, distance relations based on spatial sphere theory model were described and the comfirm of the agents about the spacial relation is implemented by spatial sphere. Thus,this model provided a new representation method for the action reasoning of the agents in the constraint spatial environment.
出处
《苏州大学学报(工科版)》
CAS
2008年第1期12-16,共5页
Journal of Soochow University Engineering Science Edition (Bimonthly)
基金
江苏省高校自然科学研究计划项目(编号03kjd520175)
江苏省社会发展基金项目(编号BS2001046)
关键词
定性空间推理
空间表示
空间球
部分学
形态学
qualitative reasoning
spatial representation
spatial sphere
mereology
morphology