动态描述逻辑推理的并行计算技术

作     者：王竹晓 胡宏 陈立民 史忠植 Wang Zhuxiao;Hu Hong;Chen Limin;Shi Zhongzhi

作者机构：中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049 

基　　金：国家自然科学基金项目(60775035) 国家"八六三"高技术研究发展计划基金项目(2007AA01Z132) 国家"九七三"重点基础研究发展计划基金项目(2003CB317004 2007CB311004) 国家科技支撑计划基金项目(2006BAC08B06) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2011年第48卷第12期

页      码：2317-2325页

摘      要：在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.

主 题 词：并行推理 动态描述逻辑 分布式动态描述逻辑 表算法 推理引擎 

学科分类：0810[工学-土木类] 12[管理学] 1201[管理学-管理科学与工程类] 0808[工学-自动化类] 0839[0839] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203565120...