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

被引：2
|
作者：
Zou, Li [1 ]
Sun, Fang [2 ]
Xu, Yang [1 ]
机构：
[1] SW Jiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Peoples R China
[2] Liaoning Normal Univ, Sch Comp & Informat Tech, Dalian 116029, Peoples R China
来源：
2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2 | 2008年
关键词：
D O I：
10.1109/ISKE.2008.4730914
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. In this paper we constructed six-element intuitionistic linguistic truth-valued propositional logic(6LTV-IP) based on the the framework of linguistic truth-valued propositional logic which can express both the comparable and incomparable truth values. With some special properties of 6L7V-IP, we discussed the satisfiable problem of 6LTV-IP and proposed a resolution method of 6LTV-IP.
引用
收藏
页码：141 / +
页数：3
相关论文
共 50 条
  • [1] Six-element linguistic truth-valued intuitionistic propositional logic
    Zou, Li
    Liu, Xin
    Xu, Yang
    [J]. Journal of Information and Computational Science, 2009, 6 (01): : 315 - 320
  • [2] Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
    刘新
    殷明娥
    孙芳
    邹丽
    [J]. Journal of Donghua University(English Edition), 2010, 27 (02) : 135 - 138
  • [3] Soft-resolution method of six-element linguistic truth-valued intuitionistic fuzzy propositional logic
    Liu, Xin
    Yin, Ming-E
    Sun, Fang
    Zou, Li
    [J]. Journal of Donghua University (English Edition), 2010, 27 (02) : 135 - 138
  • [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
    [J]. 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
    [J]. ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT I, PROCEEDINGS, 2008, 5263 : 266 - +
  • [6] Resolution method of linguistic truth-valued propositional logic
    Zou, L
    Liu, X
    Xu, Y
    [J]. PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
  • [7] Linguistic truth-valued intuitionistic fuzzy propositional logic based on LIA
    Zou, Li
    Wu, Shuiting
    Wu, Zhengjiang
    Xu, Yang
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [8] Weak completeness of resolution in a linguistic truth-valued propositional logic
    Xu, Yang
    Chen, Shuwei
    Liu, Jun
    Ruan, Da
    [J]. THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 358 - +
  • [9] A kind of resolution method of linguistic truth-valued propositional logic based on LIA
    Zou, Li
    Li, Jinglong
    Xu, Kaijun
    Xu, Yang
    [J]. FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 1, PROCEEDINGS, 2007, : 32 - +
  • [10] A Resolution Method for Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic
    Xiao, Lin
    Meng, Jia
    Ding, Shifei
    Zou, Li
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2016, : 904 - +
12345