| 基于ALC的空间语义知识库 |
| |
| 引用本文： | 王生生,刘大有,谷方明,谢琦,李昕.基于ALC的空间语义知识库[J].吉林大学学报(工学版),2011,41(2):424-429. |
| |
| 作者姓名： | 王生生 刘大有 谷方明 谢琦 李昕 |
| |
| 作者单位： | 1. 吉林大学,计算机科学与技术学院,长春,130012
2. 吉林大学,软件学院,长春,130012 |
| |
| 基金项目： | 国家自然科学基金项目(60773099); 中央高校基本科研业务费专项基金项目; 吉林大学学科前沿与交叉学科创新项目(200903178);吉林大学平台基地建设项目(93K-17-2009-Z06); 吉林省科技发展计划项目(20090111) |
| |
| 摘 要： | 基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。
|
| 关 键 词： | 人工智能 定性空间推理 描述逻辑 约束满足问题 区域连接演算 |
ALC based spatial semantic knowledgebase |
| |
| WANG Sheng-sheng,LIU Da-you,GU Fang-ming,XIE Qi,LI Xin.ALC based spatial semantic knowledgebase[J].Journal of Jilin University:Eng and Technol Ed,2011,41(2):424-429. |
| |
| Authors: | WANG Sheng-sheng LIU Da-you GU Fang-ming XIE Qi LI Xin |
| |
| Affiliation: | WANG Sheng-sheng1,LIU Da-you1,GU Fang-ming1,XIE Qi1,LI Xin2(1.College of Computer Science and Technology,Jilin University,Changchun 130012,China,2.College of Software,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
