Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic

被引:0
|
作者
刘新 [1 ]
殷明娥 [1 ]
孙芳 [2 ]
邹丽 [2 ]
机构
[1] Mathematics College,Liaoning Normal University
[2] School of Computer and Information Technology,Liaoning Normal University
关键词
lattice implication; intuitionisitc propositional logic; resolution method;
D O I
10.19884/j.1672-5220.2010.02.004
中图分类号
TP181 [自动推理、机器学习];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper,we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic (6LTV-IP) based on the framework of linguistic truth-valued propositional logic,which can express both the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP,some special properties are obtained. Then based on (α,β)-complementary literals and (α,β)-similar literals,we propose a soft-resolution method of 6LTV-IP.
引用
下载
收藏
页码:135 / 138
页数:4
相关论文
共 46 条
  • [1] Soft-resolution method of six-element linguistic truth-valued intuitionistic fuzzy propositional logic
    Liu, Xin
    Yin, Ming-E
    Sun, Fang
    Zou, Li
    Journal of Donghua University (English Edition), 2010, 27 (02) : 135 - 138
  • [2] Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Propositional Logic
    Zou, Li
    Sun, Fang
    Xu, Yang
    2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 141 - +
  • [3] Six-element linguistic truth-valued intuitionistic propositional logic
    Zou, Li
    Liu, Xin
    Xu, Yang
    Journal of Information and Computational Science, 2009, 6 (01): : 315 - 320
  • [4] A kind of decision making approach based on six-element linguistic truth-valued intuitionistic fuzzy propositional logic
    Zou, Li
    Sun, Fang
    Xu, Kaijun
    Yang, Li
    Xu, Yang
    COMPUTATIONAL INTELLIGENCE IN DECISION AND CONTROL, 2008, 1 : 587 - 592
  • [5] Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making
    Zou, Li
    Li, Wenjiang
    Xu, Yang
    ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT I, PROCEEDINGS, 2008, 5263 : 266 - +
  • [6] Linguistic truth-valued intuitionistic fuzzy propositional logic based on LIA
    Zou, Li
    Wu, Shuiting
    Wu, Zhengjiang
    Xu, Yang
    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
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
  • [8] 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 - +
  • [9] INTUITIONISTIC FUZZY PROPOSITIONAL SYSTEM BASED ON LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY LATTICE
    Zou, Li
    Liu, Xin
    Huang, Dengen
    UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2012, 7 : 750 - 755
  • [10] Weak completeness of resolution in a linguistic truth-valued propositional logic
    Xu, Yang
    Chen, Shuwei
    Liu, Jun
    Ruan, Da
    THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 358 - +