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

• 作者: 刘磊 吕帅 李壮 牛当当
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 自动推理 知识编译 扩展规则 超扩展规则 动态在线推理
• 年，卷（期）: 2015,（12）
• 页码范围: 1614-1619
• 页数: 6页
• 分类号: TP301|TP181
• 字数: 6130字
• 语种: 中文
• DOI: 10.11990/jheu.201404055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
3	李壮	吉林大学计算机科学与技术学院	9	44	3.0	6.0
4	牛当当	吉林大学计算机科学与技术学院	4	20	3.0	4.0