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 条
  • [21] A Resolution Method for Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic
    Xiao, Lin
    Meng, Jia
    Ding, Shifei
    Zou, Li
    2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2016, : 904 - +
  • [22] α-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,
  • [23] Implication operators on the set of ∨-irreducible element in the linguistic truth-valued intuitionistic fuzzy lattice
    Li Zou
    Xin Liu
    Zheng Pei
    Degen Huang
    International Journal of Machine Learning and Cybernetics, 2013, 4 : 365 - 372
  • [24] Implication Operator of Linguistic Truth-Valued Intuitionistic Fuzzy Lattice
    Guo, Chunying
    Zhang, Fengmei
    Zou, Li
    Zou, Kaiqi
    ROUGH SET AND KNOWLEDGE TECHNOLOGY (RSKT), 2010, 6401 : 212 - 219
  • [25] SEMANTIC OF LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY PROPOSITION CALCULUS
    Zou, Li
    Pei, Zheng
    Liu, Xin
    Xu, Yang
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2009, 5 (12A): : 4745 - 4752
  • [26] THE ALGEBRA STRUCTURE OF LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY LATTICE
    Liu, Xin
    Yin, Ming'e
    Zou, Li
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 233 - 238
  • [27] AN ASSESSMENT APPROACH WITH LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY REASONING
    Liu, Xin
    Tan, Xuewei
    Li, Xiaonan
    Zhang, Yunxia
    Zou, Li
    UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 31 - 36
  • [28] A linguistic truth-valued intuitionistic fuzzy algebra in incomparable information systems
    Zheng, Hongliang
    Zou, Li
    Ruan, Da
    ICIC Express Letters, 2010, 4 (6 A): : 2201 - 2206
  • [29] AN AXIOMATIZABLE LATTICE-ORDERED LINGUISTIC TRUTH-VALUED LOGIC
    Liu, Jun
    Xu, Yang
    Ruan, Da
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 72 - +
  • [30] α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
    Jiafeng Zhang
    Yang Xu
    Xingxing He
    International Journal of Computational Intelligence Systems, 2014, 7 : 160 - 171
12345