APPROXIMATE REASONING METHOD IN LINGUISTIC TRUTH-VALUED FIRST-ORDER LOGIC SYSTEM

被引：0
|
作者：
Cui, Xiaosong [1 ]
Liu, Di [1 ]
Wen, Xin [1 ]
Zou, Li [1 ,2 ]
机构：
[1] Liaonimg Normal Univ, Sch Comp & Informat Technol, Dalian 116081, Peoples R China
[2] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Jiangsu, Peoples R China
来源：
DECISION MAKING AND SOFT COMPUTING | 2014年 / 9卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. We give some equivalent formal of 6-elements linguistic truth-valued first-order logic system is given. We provide 6-elements linguistic truth-valued first-order logic of general implications formula and the law of negative transformation.
引用
收藏
页码：92 / 97
页数：6
相关论文
共 50 条
  • [21] 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 - +
  • [22] 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 - +
  • [23] AN AXIOMATIZABLE LATTICE-ORDERED LINGUISTIC TRUTH-VALUED LOGIC
    Liu, Jun
    Xu, Yang
    Ruan, Da
    [J]. COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 72 - +
  • [24] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [25] Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Propositional Logic
    Zou, Li
    Sun, Fang
    Xu, Yang
    [J]. 2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 141 - +
  • [26] A linguistic truth-valued reasoning approach in decision making with incomparable information
    Li, Zou
    Ruan, Da
    Zheng, Pei
    Yang, Xu
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2008, 19 (4-5) : 335 - 343
  • [27] THE STRUCTURE OF GENERALIZED LITERALS IN LINGUISTIC TRUTH-VALUED PROPOSITIONAL LOGIC SYSTEMS
    Xu, Weitao
    Xu, Yang
    Li, Tianrui
    [J]. INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 631 - 636
  • [28] A Multiple and Multidimensional Linguistic Truth-Valued Reasoning Method and its Application in Multimedia Teaching Evaluation
    Lu, Yifan
    Li, Nan
    Lin, Hongmei
    Zheng, Hongliang
    Li, Xiaofeng
    Zou, Li
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2022, 15 (01)
  • [29] 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,
  • [30] Fully implicational triple I reasoning method on linguistic truth-valued lattice implication algebra
    Pan, Xiaodong
    Xu, Yang
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
12345