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 条
  • [1] α-Generalized resolution method based on linguistic truth-valued first-order logic system
    Xu, Weitao
    Xu, Yang
    [J]. DATA SCIENCE AND KNOWLEDGE ENGINEERING FOR SENSING DECISION SUPPORT, 2018, 11 : 758 - 765
  • [2] 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 - +
  • [3] Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)
    Deng, Wenhong
    Lai, Jiajun
    Xu, Yang
    He, Xingxing
    Zhang, Jiafeng
    [J]. ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2009, : 1666 - 1669
  • [4] A method of linguistic truth-valued reasoning in risk assessment
    Zou, Li
    Liu, Xin
    Xu, Yang
    [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON RISK ANALYSIS AND CRISIS RESPONSE, 2007, 2 : 395 - 399
  • [5] 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
  • [6] A linguistic truth-valued uncertainty reasoning model based on lattice-valued logic
    Chen, SW
    Xu, Y
    Ma, J
    [J]. FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PT 1, PROCEEDINGS, 2005, 3613 : 276 - 284
  • [7] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    [J]. INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
  • [8] Reasoning About Truth in First-Order Logic
    Strannegard, Claes
    Engstrom, Fredrik
    Nizamani, Abdul Rahim
    Rips, Lance
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (01) : 115 - 137
  • [9] Reasoning About Truth in First-Order Logic
    Claes Strannegård
    Fredrik Engström
    Abdul Rahim Nizamani
    Lance Rips
    [J]. Journal of Logic, Language and Information, 2013, 22 : 115 - 137
  • [10] α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System
    Xu, Weitao
    [J]. 2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
12345