A framework of linguistic truth-valued propositional logic based on lattice implication algebra

被引:0
|
作者
Zou, Li [1 ,2 ]
Ma, Jun [1 ]
Xu, Yang [1 ]
机构
[1] Southwest Jiaotong Univ, Ctr Intelligent Control & Dev, Chengdu 610031, Peoples R China
[2] Liaoning Normal Univ, Sch Comp & Informat Technol, Dalian 116029, Peoples R China
来源
2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING | 2006年
关键词
lattice implication algebra; lattice-valued logic; linguistic truth-valued logic; J-resolution;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J-resolution method of the linguistic truth value propositional logic is presented.
引用
收藏
页码:574 / +
页数:2
相关论文
共 50 条
  • [1] Linguistic truth-valued lattice implication algebra and its properties
    Xu, Yang
    Chen, Shuwei
    Ma, Jun
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 1413 - +
  • [2] On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
    Zou, Li
    Shi, Peng
    Pei, Zheng
    Xu, Yang
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2013, 24 (03) : 447 - 456
  • [3] 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,
  • [4] 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,
  • [5] THE STRUCTURE OF GENERALIZED LITERALS IN LINGUISTIC TRUTH-VALUED PROPOSITIONAL LOGIC SYSTEMS
    Xu, Weitao
    Xu, Yang
    Li, Tianrui
    INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 631 - 636
  • [6] 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
  • [7] Linguistic Truth-Valued Intuitionistic Fuzzy Algebra
    Zou, Li
    Liu, Xin
    Ruan, Da
    Xu, Yang
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 18 (5-6) : 445 - 456
  • [8] LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY ALGEBRA
    Zou, Li
    Zou, Kaiqi
    He, Xingxing
    Xu, Yang
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 180 - +
  • [9] 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
  • [10] Properties of Linguistic Truth-Valued Intuitionistic Fuzzy Lattice
    Zhang, Fengmei
    Hong, Yunguo
    Zou, Li
    KNOWLEDGE ENGINEERING AND MANAGEMENT, 2011, 123 : 637 - +