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

被引：3
|
作者：
Xu, Weitao [1 ]
Zhang, Wenqiang [1 ]
Zhang, Dexian [1 ]
Xu, Yang [2 ]
Pan, Xiaodong [2 ]
机构：
[1] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou 450001, Peoples R China
[2] Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Peoples R China
来源：
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS | 2015年 / 8卷
基金：
中国国家自然科学基金; 国家高技术研究发展计划(863计划);
关键词：
automated reasoning; lattice-valued logic; alpha-resolution; lattice-valued Horn g-clause; lattice implication algebra;
D O I：
10.1080/18756891.2015.1129580
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, an -resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system L 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 L P(X ). Then, the -resolution of two lattice-valued Horn generalized clauses is represented in L 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 L 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
页数：10
相关论文
共 50 条
  • [1] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Weitao Xu
    Wenqiang Zhang
    Dexian Zhang
    Yang Xu
    Xiaodong Pan
    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
    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
    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
    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
    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
    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
    2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
  • [8] α-Lock paramodulation for lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, J.
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 18 - 20
  • [9] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
  • [10] α - GENERALIZED RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)
    Xu, Yang
    Xu, Weitao
    Zhong, Xiaomei
    He, Xingxing
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 66 - 71
12345