Six-element linguistic truth-valued intuitionistic propositional logic

被引：0
|
作者：
Zou, Li [1 ,2 ]
Liu, Xin [2 ]
Xu, Yang [3 ]
机构：
[1] Mathematics College, Liaoning Normal University, Dalian 116029, China
[2] School of Computer and Information Technology, Liaoning Normal University, Dalian 116029, China
[3] Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China
来源：
Journal of Information and Computational Science | 2009年 / 6卷 / 01期
关键词：
Fuzzy sets - Wooden fences - Algebra - Computer circuits - Fuzzy inference;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. We consider the hedge operators using a qualitative method. Six kinds of qualitative values of the hedge variable with their qualitative operations are presented in this paper. In this paper, six-element linguistic truth-valued propositional logic based on lattice implication algebra is constructed. Some logic properties regarding reasoning are then obtained which can express both the comparable and incomparable truth values. Based on the conjunctive normal form of generalized clause, the satisfiability problem of linguistic truth-valued intuitionistic fuzzy propositional logic formula is discussed. Especially, the implication operation of linguistic truth-valued intuitionistic fuzzy propositional logic can be deduced from four times implication of their truth values. Therefore, we can use more information in the process of reasoning and eventually improve the precision of reasoning. © 2009 Binary Information Press.
引用
收藏
页码：315 / 320
相关论文
共 50 条
  • [31] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [32] Implication operators on the set of V-irreducible element in the linguistic truth-valued intuitionistic fuzzy lattice
    Zou, Li
    Liu, Xin
    Pei, Zheng
    Huang, Degen
    INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2013, 4 (04) : 365 - 372
  • [33] Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering
    Zou, Li
    Wen, Xin
    Wang, Yingxin
    INFORMATION SCIENCES, 2016, 327 : 201 - 216
  • [34] General form of α-resolution principle for linguistic truth-valued lattice-valued logic
    Zhong, Xiaomei
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    SOFT COMPUTING, 2012, 16 (10) : 1767 - 1781
  • [35] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (06): : 1120 - 1134
  • [36] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    International Journal of Computational Intelligence Systems, 2012, 5 : 1120 - 1134
  • [37] General form of α-resolution principle for linguistic truth-valued lattice-valued logic
    Xiaomei Zhong
    Yang Xu
    Jun Liu
    Shuwei Chen
    Soft Computing, 2012, 16 : 1767 - 1781
  • [38] On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    SOFT COMPUTING, 2012, 16 (04) : 699 - 709
  • [39] A linguistic truth-valued uncertainty reasoning model based on lattice-valued logic
    Chen, SW
    Xu, Y
    Ma, J
    FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PT 1, PROCEEDINGS, 2005, 3613 : 276 - 284
  • [40] On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    Soft Computing, 2012, 16 : 699 - 709
12345