格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

• 作者: 张家锋 徐扬
• 来源期刊: 四川师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 自动推理 归结域 格值逻辑 格蕴涵代数
• 年，卷（期）: 2011,（5）
• 页码范围: 635-639
• 分类号: O153.5
• 字数: 5464字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8395.2011.05.008

摘要

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑中一阶不可分极简式1-IESF和其他一些广义文字的α-归结性,得到了两个广义文字可进行α-归结的条件,以期能对基于格值逻辑的归结自动推理提供一些必要的理论支持.

作者信息

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