-
题名基于空间球理论的定性空间表示
- 1
-
-
作者
杨清渤
刘一松
陈梅
-
机构
江苏大学计算机科学与通信工程学院
苏州大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第12期3167-3169,3172,共4页
-
基金
江苏省高校自然科学研究计划基金项目(03kjd520175)
-
文摘
主要研究了三维空间中空间对象的关系表示,介绍了利用部分学理论和形态学理论定义空间球的方法。根据Bran-don Bennettd的RBG理论,定义了空间球的形态关系及判断方法,提出了空间球全等的公理系统,给出了利用空间球模型定性表示方向关系和距离关系的方法。智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。
-
关键词
定性空间推理
空间表示
空间球
部分学
形态学
-
Keywords
qualitative reasoning
spatial representation
spatial sphere
mereology
morphology
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名定性空间关系表示的空间球模型
- 2
-
-
作者
杨清渤
陈梅
胡庆丰
-
机构
江苏大学计算机科学与通信工程学院
苏州大学计算机科学与技术学院
-
出处
《苏州大学学报(工科版)》
CAS
2008年第1期12-16,共5页
-
基金
江苏省高校自然科学研究计划项目(编号03kjd520175)
江苏省社会发展基金项目(编号BS2001046)
-
文摘
介绍了利用部分学理论和形态学理论定义空间球的方法。针对Brandon Bennettd的RBG理论,给出了空间球的拓展和收缩的形式化定义,提出了一种定性空间关系表示的空间球模型。给出了利用空间球模型定性表示拓扑关系、方向关系和距离关系并对拓扑关系进行细化的方法。智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。
-
关键词
定性空间推理
空间表示
空间球
部分学
形态学
-
Keywords
qualitative reasoning
spatial representation
spatial sphere
mereology
morphology
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-