基于超扩展规则的动态在线推理算法

作     者：刘磊 牛当当 李壮 吕帅 LIU Lei;NIU Dangdang;LI Zhuang;LYU Shuai

作者机构：吉林大学计算机科学与技术学院吉林长春130012 

出 版 物：《哈尔滨工程大学学报》 (Journal of Harbin Engineering University)

年 卷 期：2015年第36卷第12期

页      面：1614-1619页

核心收录：

学科分类：08[工学] 081104[工学-模式识别与智能系统] 0817[工学-化学工程与技术] 0807[工学-动力工程及工程热物理] 0827[工学-核科学与技术] 0802[工学-机械工程] 0703[理学-化学] 0825[工学-航空宇航科学与技术] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 0801[工学-力学（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(61300049 61402195) 教育部高等学校博士学科点专项科研基金资助项目(20120061120059) 吉林省科技发展计划资助项目(20130206052GX 20140520069JH) 

主　　题：自动推理 知识编译 扩展规则 超扩展规则 动态在线推理 

摘      要：为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用超扩展规则替换扩展规则能够更清晰地展示扩展过程,因此提出了基于超扩展规则的动态在线推理算法IKCCER。IKCCER采用离线编译和在线推理过程交互执行的方式,在保持推理效率不变的同时,其空间复杂性为KCCER算法空间复杂性的2/(n+1),其中n为输入子句集的子句数。