α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System

被引：0
|
作者：
Xu, Weitao [1 ]
机构：
[1] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou, Henan, Peoples R China
来源：
2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE) | 2017年
基金：
中国国家自然科学基金; 国家高技术研究发展计划(863计划);
关键词：
automated reasoning; linguistic truth-valued lattice-valued propositional logic; general generalized clause; alpha-generalized resolution; PRINCIPLE;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper extend the alpha-resolution principle based on classical logic system. An alpha-generalized resolution method is presented in Linguistic Truth-Valued lattice-valued propositional logic system based on linguistic truth-valued lattice implication algebra. Both soundness and weak completeness theorems for alpha-generalized resolution method are established in Linguistic Truth-Valued lattice-valued propositional logic system. The proposed approach provides a foundation for alpha-generalized resolution method under linguistic truth-valued level in a set of general generalized clauses.
引用
收藏
页数：5
相关论文
共 50 条
  • [1] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (06): : 1120 - 1134
  • [2] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    [J]. International Journal of Computational Intelligence Systems, 2012, 5 : 1120 - 1134
  • [3] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    [J]. INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
  • [4] On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    [J]. SOFT COMPUTING, 2012, 16 (04) : 699 - 709
  • [5] On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    [J]. Soft Computing, 2012, 16 : 699 - 709
  • [6] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [7] Resolution method of linguistic truth-valued propositional logic
    Zou, L
    Liu, X
    Xu, Y
    [J]. PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
  • [8] A unified algorithm for finding -IESFs in linguistic truth-valued lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    [J]. SOFT COMPUTING, 2014, 18 (11) : 2135 - 2147
  • [9] General form of α-resolution principle for linguistic truth-valued lattice-valued logic
    Zhong, Xiaomei
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    [J]. SOFT COMPUTING, 2012, 16 (10) : 1767 - 1781
  • [10] General form of α-resolution principle for linguistic truth-valued lattice-valued logic
    Xiaomei Zhong
    Yang Xu
    Jun Liu
    Shuwei Chen
    [J]. Soft Computing, 2012, 16 : 1767 - 1781
12345