基于HIPN网的推理算法研究

• 作者: 王志坚 蔡自兴
• 来源期刊: 现代电子技术
• 关键词: HIPN 逻辑推理 归约 算法
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 总线与网络
• 页码范围: 133-134,137
• 页数: 3页
• 分类号: TP18
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2007.04.045

摘要

基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势.提出了一个基于HIPN网模型的逻辑推理算法,该算法结合经典的归结证明策略,并充分利用归约过程中已经得到的中间结论.与现有T-不变量和线性代数的求解算法相比,大幅减少了重复推理过程,有效地提高了推理效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡自兴	中南大学信息科学与工程学院	393	7036	40.0	69.0
2	王志坚	广东商学院信息学院	10	63	5.0	7.0