First-order logic system IMTL*Q and triple I method in fuzzy reasoning with linguistic quantifiers

被引：2
|
作者：
Zhang, Xiaohong [1 ]
Zeng, Xu [2 ]
机构：
[1] Shanghai Maritime Univ, Coll Arts & Sci, Dept Math, Shanghai 201306, Peoples R China
[2] Ningbo Univ, Fac Sci, Dept Math, Ningbo 315211, Zhejiang, Peoples R China
来源：
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS | 2014年 / 26卷 / 05期
基金：
中国国家自然科学基金;
关键词：
Fuzzy logic; linguistic quantifier; fuzzy measure; Sugeno integral; fuzzy reasoning;
D O I：
10.3233/IFS-130907
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Based on first-order fuzzy logic system K* and Ying's framework for linguistic quantifiers modeled by Sugeno integrals, a many-sorted first-order logic system IMTL*(Q) is constructed. Applying the triple I method, some fuzzy reasoning forms with linguistic quantifiers are investigated.
引用
收藏
页码：2359 / 2367
页数：9
相关论文
共 50 条
  • [1] APPROXIMATE REASONING METHOD IN LINGUISTIC TRUTH-VALUED FIRST-ORDER LOGIC SYSTEM
    Cui, Xiaosong
    Liu, Di
    Wen, Xin
    Zou, Li
    [J]. DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 92 - 97
  • [2] On bracketing names and quantifiers in first-order logic
    Pasniczek, J
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 1999, 20 (3-4) : 239 - 250
  • [3] AN AUTOMATED REASONING METHOD ON FIRST-ORDER TENSE LOGIC
    Li, Wenjiang
    Chen, Shuwei
    [J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1706 - 1711
  • [4] A Reasoning System for a First-Order Logic of Limited Belief
    Schwering, Christoph
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1247 - 1253
  • [5] 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 - +
  • [6] Anytime reasoning in first-order logic
    Vanderveen, KB
    Ramamoorthy, CV
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 142 - 148
  • [7] 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
  • [8] LINGUISTIC UNCERTAINTY REASONING BASED ON GRADATIONAL LATTICE-VALUED FIRST-ORDER LOGIC
    Chang, Zhiyan
    Xu, Yang
    He, Xingxing
    Xu, Weitao
    Zhong, Xiaomei
    [J]. INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 649 - 654
  • [9] Reasoning about taxonomies in first-order logic
    Thau, David
    Ludaescher, Bertram
    [J]. ECOLOGICAL INFORMATICS, 2007, 2 (03) : 195 - 209
  • [10] A Decidable First-Order Logic for Medical Reasoning
    Kamide, Norihiro
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 : 235 - 245
12345