Formal theories and linguistic descriptions

被引:26
|
作者
Dvorák, A [1 ]
Novák, V [1 ]
机构
[1] Univ Ostrava, Inst Res & Applicat Fuzzy Modeling, Ostrava 70103 1, Czech Republic
关键词
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 条