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
来源：
Journal of Donghua University(English Edition) | 2010年 / 27卷 / 02期
关键词：
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 条
  • [31] Linguistic truth-valued lattice value propositional logic system lP(X)
    Lai, Jiajun
    Xu, Kaijun
    Xu, Yang
    Zeng, Zhaoyou
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [32] A framework of linguistic truth-valued propositional logic based on lattice implication algebra
    Zou, Li
    Ma, Jun
    Xu, Yang
    2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 574 - +
  • [33] A unified algorithm for finding -IESFs in linguistic truth-valued lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    SOFT COMPUTING, 2014, 18 (11) : 2135 - 2147
  • [34] Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering
    Zou, Li
    Wen, Xin
    Wang, Yingxin
    INFORMATION SCIENCES, 2016, 327 : 201 - 216
  • [35] 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
  • [36] 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
  • [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] α-Generalized resolution method based on linguistic truth-valued first-order logic system
    Xu, Weitao
    Xu, Yang
    DATA SCIENCE AND KNOWLEDGE ENGINEERING FOR SENSING DECISION SUPPORT, 2018, 11 : 758 - 765
  • [39] Credibility Factors Reasoning Based on Linguistic Truth-Valued Intuitionistic Fuzzy Hesitancy Degree
    Liu, Xin
    Tan, Xuewei
    Zhang, Yunxia
    Zou, Li
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2018, 30 (2-3) : 285 - 301
  • [40] Soft-resolution method of linguistic hedges lattice-valued first-order logic
    Zou, L
    Das, PK
    Xu, Y
    Meng, D
    PROCEEDINGS OF THE 8TH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1-3, 2005, : 136 - 139
12345