10.3969/j.issn.1004-373X.2007.04.045
基于HIPN网的推理算法研究
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势.提出了一个基于HIPN网模型的逻辑推理算法,该算法结合经典的归结证明策略,并充分利用归约过程中已经得到的中间结论.与现有T-不变量和线性代数的求解算法相比,大幅减少了重复推理过程,有效地提高了推理效率.
HIPN、逻辑推理、归约、算法
30
TP18(自动化基础理论)
2007-03-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
133-134,137