Formal theories and linguistic descriptions

Abstract 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.

[1]  V. Novák,et al.  Discovering the world with fuzzy logic , 2000 .

[2]  Vilém Novák,et al.  The alternative mathematical model of linguistic semantics and pragmatics , 2013, ISFR series on systems science and engineering.

[3]  Vilém Novák.  On fuzzy equality and approximation in fuzzy logic , 2004, Soft Comput..

[4]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[5]  Vilém Novák,et al.  Some consequences of Herbrand and McNaughton theorems in fuzzy logic , 2000 .

[6]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[7]  Giangiacomo Gerla,et al.  Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[8]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[9]  Lotfi A. Zadeh,et al.  On the analysis of large-scale systems , 1996 .

[10]  Chris Cornelis,et al.  Inclusion-Based Approximate Reasoning , 2001, International Conference on Computational Science.

[11]  Vilém Novák,et al.  Fuzzy logic deduction with crisp observations , 2004, Soft Comput..

[12]  Pavel Tichý,et al.  The Foundations of Frege's Logic , 1988 .

[13]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[14]  Vilém Novák,et al.  Antonyms and linguistic quantifiers in fuzzy logic , 2001, Fuzzy Sets Syst..

[15]  A. Dvor.  On linguistic approximation in the frame of fuzzy logic deduction , 1999 .

[16]  Jack Dongarra,et al.  Computational Science — ICCS 2001 , 2001, Lecture Notes in Computer Science.

[17]  Giangiacomo Gerla.  Fuzzy Logic Programming and Fuzzy Control , 2005, Stud Logica.

[18]  Ulises Cortés,et al.  Linguistic hedges and the generalized modus ponens , 1999, International Journal of Intelligent Systems.

[19]  Vilém Novák,et al.  Linguistic If-Then Rules in Large Scale Application of Fuzzy Control , 2000 .

[20]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[21]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[22]  E. Trillas,et al.  in Fuzzy Logic , 2002 .

[23]  Irina Perfilieva,et al.  Normal forms for fuzzy logic functions and their approximation ability , 2001, Fuzzy Sets Syst..