格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理

• 作者: 李晓冰
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 格值命题逻辑系统 归结自动推理 α-归结原理 II-α-超归结原理
• 年，卷（期）: 2009,（11X）
• 页码范围: 9547-9549
• 页数: 3页
• 分类号: TP18

摘要

针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。

作者信息

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