计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
12期
2317-2325
,共9页
王竹晓%胡宏%陈立民%史忠植
王竹曉%鬍宏%陳立民%史忠植
왕죽효%호굉%진립민%사충식
并行推理%动态描述逻辑%分布式动态描述逻辑%表算法%推理引擎
併行推理%動態描述邏輯%分佈式動態描述邏輯%錶算法%推理引擎
병행추리%동태묘술라집%분포식동태묘술라집%표산법%추리인경
在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.
在設計用于處理大規模本體和數據的推理引擎時,推理引擎的可擴展性是一箇需要研究的重要問題.動態描述邏輯要在真實環境中穫得成功應用,需要在推理中採用併行計算技術.提齣瞭兩種方法將併行計算技術應用于動態描述邏輯推理.方法1是設計分佈式動態描述邏輯框架.分佈式動態描述邏輯由若榦獨立的動態描述邏輯所組成,這些動態描述邏輯兩兩之間通過橋規則聯繫起來.提齣瞭基于Tableau的分佈式推理算法,從而為分佈式動態描述邏輯提供瞭全跼推理能力,併且該算法可以將大的推理任務分解為若榦子任務,而這些子任務可以被不同的推理主體併行處理.方法2是併行化動態描述邏輯的Tableau算法的不確定分支.不確定分支的併行計算使得推理任務可以在若榦獨立機器上同時執行.最後,介紹瞭推理引擎的原型實現併評估瞭其性能.實驗結果錶明提齣的兩種方法取得瞭明顯的推理加速效果.
재설계용우처리대규모본체화수거적추리인경시,추리인경적가확전성시일개수요연구적중요문제.동태묘술라집요재진실배경중획득성공응용,수요재추리중채용병행계산기술.제출료량충방법장병행계산기술응용우동태묘술라집추리.방법1시설계분포식동태묘술라집광가.분포식동태묘술라집유약간독립적동태묘술라집소조성,저사동태묘술라집량량지간통과교규칙련계기래.제출료기우Tableau적분포식추리산법,종이위분포식동태묘술라집제공료전국추리능력,병차해산법가이장대적추리임무분해위약간자임무,이저사자임무가이피불동적추리주체병행처리.방법2시병행화동태묘술라집적Tableau산법적불학정분지.불학정분지적병행계산사득추리임무가이재약간독립궤기상동시집행.최후,개소료추리인경적원형실현병평고료기성능.실험결과표명제출적량충방법취득료명현적추리가속효과.
