%0 Journal Article
%T 基于超扩展规则的动态在线推理算法
%A 刘磊
%A 牛当当
%A 李壮
%A 吕帅
%J 哈尔滨工程大学学报
%D 2015
%R 10.11990/jheu.201404055
%X 为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用超扩展规则替换扩展规则能够更清晰地展示扩展过程,因此提出了基于超扩展规则的动态在线推理算法IKCCER。IKCCER采用离线编译和在线推理过程交互执行的方式,在保持推理效率不变的同时,其空间复杂性为KCCER算法空间复杂性的2/(n+1),其中n为输入子句集的子句数。？？
%K 自动推理
%K 知识编译
%K 扩展规则
%K 超扩展规则
%K 动态在线推理
%U http://heuxb.hrbeu.edu.cn/oa/darticle.aspx?type=view&id=20151214