首页> 中文期刊> 《计算机科学》 >基于描述逻辑的空间推理研究

基于描述逻辑的空间推理研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

本文讨论了具体域的可用性,首先介绍了ALC(D)描述的具体域D,然后定义了适用于由点、线和区域共同组成的具体域DP,扩展了描述逻辑ALC(D),指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来,以用于定性空间推理.

著录项

来源
《计算机科学》 |2004年第8期|110-112|共3页
作者
刘亚彬; 陈岗;
展开▼
作者单位

上海财经大学信息系;

上海;

200433;

上海财经大学信息系;

上海;

200433;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
具体域; 描述逻辑; ALC(D); DLSR(DP); 空间推理;

相似文献

中文文献
外文文献
专利

1. 基于空间推理的城市路网交叉口模式研究 [J] . 张笑非 ,黄智升 ,王东升 . 道路交通与安全 . 2014,第1期
2. 基于常识的空间推理研究 [J] . 葛小三 ,边馥苓 . 地理与地理信息科学 . 2006,第4期
3. 基于规则知识的空间推理研究 [J] . 沙宗尧 ,边馥苓 ,陈江平 . 武汉大学学报：信息科学版 . 2003,第1期
4. 基于时序描述逻辑的UML顺序图形式化研究 [J] . 冉婕 ,谢树云 ,漆丽娟 . 计算机系统应用 . 2018,第8期
5. 基于描述逻辑的数控系统构件匹配方法研究 [J] . 贾伟 . 现代制造工程 . 2017,第007期
6. 基于定性空间推理的农业测土空间数据库 [C] . 刘大有 ,王生生 ,胡鹤 . 863计划智能计算机主题学术会议 . 2001
7. 基于描述逻辑的定性空间推理研究 [A] . 张瑞霞 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号