哈尔滨工程大学学报Issue(12)：1614-1619,6.DOI:10.11990/jheu.201404055
基于超扩展规则的动态在线推理算法
Dynamic online reasoning algorithm based on the hyper extension rule
摘要
Abstract
In order to improve the extension ability of extension rules, hyper extension rule( HER) is proposed in this paper, and the relevant relationship between the hyper extension rule and extension negative hyper resolution is proven.HER replaces extension rule(ER) in knowledge compilation using extension rule(KCER), so the exten-sion process can be shown more clearly.Then the dynamic online reasoning algorithm interactive knowledge compil-ation for counting models using extension rule( IKCCER) is proposed based on HER.It adopts an interactive execu-tion mode between offline compilation and online reasoning process.IKCCER does not change the efficiency of knowledge compilation for counting models using extension rule( KCCER) , and its space complexity is 2/( n +1) of KCCER's space complexity ( n is the number of clauses of the input CNF formula) .关键词
自动推理/知识编译/扩展规则/超扩展规则/动态在线推理Key words
automated reasoning/knowledge compilation/extension rule/hyper extension rule/dynamic online reasoning分类
信息技术与安全科学引用本文复制引用
刘磊,牛当当,李壮,吕帅..基于超扩展规则的动态在线推理算法[J].哈尔滨工程大学学报,2015,(12):1614-1619,6.基金项目
国家自然科学基金资助项目（61300049，61402195）；教育部高等学校博士学科点专项科研基金资助项目（20120061120059）；吉林省科技发展计划资助项目（20130206052GX，20140520069JH）． （）
