Formal theories and linguistic descriptions

被引：25
|
作者：
Dvorák, A [1 ]
Novák, V [1 ]
机构：
[1] Univ Ostrava, Inst Res & Applicat Fuzzy Modeling, Ostrava 70103 1, Czech Republic
来源：
FUZZY SETS AND SYSTEMS | 2004年 / 143卷 / 01期
关键词：
evaluating expression; logical deduction; linguistic description; fuzzy theory;
D O I：
10.1016/j.fss.2003.06.003
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this contribution, we discuss properties which a formal logical theory (we call it the theory of evaluating expressions) should have to serve us as a tool for modeling of the meaning of a certain class of natural language expressions called evaluating (linguistic) expressions. We further construct a formal theory for modeling of the meaning of sets of fuzzy IF-THEN rules (called linguistic descriptions) and finally present a basic schema of fuzzy logic deduction. The basis for our study is first-order fuzzy logic with evaluated syntax. (C) 2003 Elsevier B.V. All rights reserved.
引用
收藏
页码：169 / 188
页数：20
相关论文
共 50 条
  • [21] REFERENCE THEORIES AND THE RELEVANCE OF DESCRIPTIONS
    Fernandez Moreno, Luis
    MANUSCRITO, 2020, 43 (04) : 74 - 85
  • [22] Formal theories of negotiation
    Dignum, F
    INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 321 - 323
  • [23] FORMAL THEORIES ON GRAPHS
    BLANC, G
    RAMBAUD, C
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 282 (20): : 1185 - 1188
  • [24] On the Theories of Linguistic Politeness
    卜小伟
    大众文艺, 2010, (09) : 94 - 94
  • [25] Linguistic theories of humor
    Kotthoff, H
    STUDIES IN LANGUAGE, 1998, 22 (01): : 205 - 212
  • [26] SIMPLICITY OF LINGUISTIC THEORIES
    SAMPSON, G
    LINGUISTICS, 1976, (167) : 51 - 66
  • [27] THEORIES OF THE "LINGUISTIC FIELD"
    Oehman, Suzanne
    WORD-JOURNAL OF THE INTERNATIONAL LINGUISTIC ASSOCIATION, 1953, 9 (02): : 123 - 134
  • [28] Transforming Architectural Descriptions for Formal Analysis
    Ibrahim, Naseem
    Mohammad, Mubarak
    Alagar, Vangalur
    2013 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSIT), 2013, : 326 - 333
  • [29] Formal descriptions of developing systems: An overview
    Nation, JB
    FORMAL DESCRIPTIONS OF DEVELOPING SYSTEMS, 2003, 121 : 1 - 7
  • [30] Efficient formal verification of hierarchical descriptions
    Alur, R
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 269 - 269
12345