格值命题逻辑LP（X）中自动推理算法效率分析

• 作者: 李晓冰
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 数学
• 关键词: 格值命题逻辑系统 α-归结自动推理 α-归结原理 算法 计算效率
• 年，卷（期）: 2010,（12）
• 页码范围: 9802-9803
• 页数: 2页
• 分类号: O153

摘要

在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进行了分析。分析表明,该算法不仅降低了计算复杂度,而且减少了搜索次数。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓冰	东北财经大学管理科学与工程学院	12	30	4.0	5.0