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-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
  • [2] The structure of linguistic truth-valued lattice implication algebra
    Chang, Zhiyan
    Xu, Yang
    Liu, Jun
    Lai, Jiajun
    COMPUTATIONAL INTELLIGENCE IN DECISION AND CONTROL, 2008, 1 : 271 - 276
  • [3] 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 - +
  • [4] 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
  • [5] 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,
  • [6] 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
  • [7] α-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,
  • [8] 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,
  • [9] 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,
  • [10] 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
12345