%0 Journal Article
%T 格值命题逻辑系统Ln×2P(X)中广义文字的α-归结性
%A 张家锋
%A 徐扬
%J 四川师范大学学报(自然科学版)
%P 635-639
%D 2011
%X 归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑中一阶不可分极简式1-IESF和其他一些广义文字的α-归结性,得到了两个广义文字可进行α-归结的条件,以期能对基于格值逻辑的归结自动推理提供一些必要的理论支持.
%K 自动推理
%K 归结域
%K 格值逻辑
%K 格蕴涵代数
%U http://jsnu.paperopen.com/oa/darticle.aspx?type=view&id=201105008