格值命题逻辑系统LP(X)的语义归结方法

• 作者: 何星星 张家锋 徐扬
• 来源期刊: 辽宁工程技术大学学报（自然科学版）
• 学科: 数学
• 关键词: 自动推理 语义归结方法 格值逻辑 格蕴涵代数 α-归结原理
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 基础科学
• 页码范围: 611-614
• 分类号: O142
• 字数: 4580字
• 语种: 中文
• DOI: 21-1379/N.20110818.2310.007

摘要

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	何星星	西南交通大学智能控制开发中心	12	35	3.0	5.0