α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems

被引：0
|
作者：
Weitao Xu
Wenqiang Zhang
Dexian Zhang
Yang Xu
Xiaodong Pan
机构：
[1] Henan University of Technology,College of Information Science and Engineering
[2] Southwest Jiaotong University,School of Mathematics
来源：
International Journal of Computational Intelligence Systems | 2015年 / 8卷
关键词：
automated reasoning; lattice-valued logic; α-resolution; lattice-valued Horn g-clause; lattice implication algebra;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒP(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit lattice-valued Horn generalized clause are given in ℒP(X). Then, the α-resolution of two lattice-valued Horn generalized clauses is represented in ℒP(X). It indicates the reasoning rules in a resolution process, which aims at deleting α-resolution literals and obtaining a resolvent. Finally, we build an α-resolution algorithm for a set of lattice-valued Horn generalized clauses in ℒP(X). It provides a foundation for automated reasoning in lattice-valued first-order logic system and an application for designing an inference system in the field of intelligent decision support.
引用
收藏
页码：75 / 84
页数：9
相关论文
共 50 条
  • [1] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 75 - 84
  • [2] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    [J]. DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
  • [3] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued First-order Logic System
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    [J]. 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 89 - 93
  • [4] A resolution method on lattice-valued tense propositional logic
    Li, WJ
    Xu, Y
    [J]. APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 87 - 92
  • [5] A comparison between lattice-valued propositional logic LP(X) and gradational lattice-valued propositional logic Lvpl
    Chang, Zhiyan
    Xu, Yang
    Lai, Jiajun
    Long, Xiqing
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [6] α-RESOLUTION OF GENERALIZED LITERALS FOR LATTICE-VALUED PROPOSITIONAL LOGIC LnP(X)
    Xu, Weitao
    Xu, Yang
    [J]. COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 174 - 179
  • [7] α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System
    Xu, Weitao
    [J]. 2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
  • [8] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    [J]. LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
  • [9] α-Lock paramodulation for lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, J.
    [J]. 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 18 - 20
  • [10] α - GENERALIZED RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)
    Xu, Yang
    Xu, Weitao
    Zhong, Xiaomei
    He, Xingxing
    [J]. COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 66 - 71
12345