Fuzzy logic from the viewpoint of machine intelligence

Abstract In this paper, we present our opinions on fuzzy logic from the viewpoint of machine intelligence. Firstly, we analyze characteristics of fuzzy logic that are adapted to the study of machine intelligence. Secondly, we present our opinions on machine intelligence, i.e., (1) machine intelligence requires uncertain reasoning with linguistic expressions, (2) study uncertain reasoning based on logic is one of scientific methodologies, (3) machine intelligence demands uncertain reasoning with linguistic informations under the guidance of logic, (4) machine intelligence also requires automated reasoning with linguistic information. Finally, we introduce our work on uncertain and automated reasoning in the framework of lattice-valued logic based on lattice implication algebra, and discuss some further goals.

[1]  Keyun Qin,et al.  Syntax of first-order lattice valued logic system FM , 1997 .

[2]  Madan M. Gupta,et al.  SOFT COMPUTING AND INTELLIGENT SYSTEMS:THEORY AND APPLICATIONS , 2008 .

[3]  Van-Nam Huynh,et al.  Hedge Algebras, Linguistic-Valued Logic and Their Application to Fuzzy Reasoning , 1999, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[4]  Lotfi A. Zadeh.  Toward a perception-based theory of probabilistic reasoning with imprecise probabilities , 2003 .

[5]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[6]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[7]  I. Turksen.  Type 2 representation and reasoning for CWW , 2002 .

[8]  Reiner Hähnle,et al.  Automated deduction in multiple-valued logics , 1993, International series of monographs on computer science.

[9]  L. A. ZADEH,et al.  The concept of a linguistic variable and its application to approximate reasoning - I , 1975, Inf. Sci..

[10]  Jude W. Shavlik,et al.  Machine learning approaches to gene recognition , 1994, IEEE Expert.

[11]  Y. Xu.  Lattice implication algebras , 1993 .

[12]  Francisco Herrera,et al.  A model based on linguistic 2-tuples for dealing with multigranular hierarchical linguistic contexts in multi-expert decision-making , 2001, IEEE Trans. Syst. Man Cybern. Part B.

[13]  Richard C. T. Lee.  Fuzzy Logic and the Resolution Principle , 1971, JACM.

[14]  Ronald R. Yager,et al.  Inference in a Multivalued Logic System , 1985, Int. J. Man Mach. Stud..

[15]  K. Ford,et al.  CLASSICAL , FUZZY , AND QUANTUM LOGICS : RELATIONS AND IMPLICATIONS , 2022 .

[16]  Alex Meystel,et al.  CHAPTER 1 – Outline of a Computational Theory of Perceptions Based on Computing with Words , 2000 .

[17]  Da Ruan,et al.  Approximate Reasoning Based on Lattice-Valued Propositional Logic Lvpl , 2000 .

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

[19]  Neil V. Murray,et al.  A Framework for Automated Reasoning in Multiple-Valued Logics , 2004, Journal of Automated Reasoning.

[20]  Ronald R. Yager,et al.  On Weighted median Aggregation , 1994, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[21]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decision-making , 1988 .

[22]  Martha Kneale,et al.  The development of logic , 1963 .

[23]  Richard C. T. Lee,et al.  Some Properties of Fuzzy Logic , 1971, Inf. Control..

[24]  Jun Liu,et al.  A lattice-valued modal propositional logic system LMP(X) , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[25]  N. C. Ho,et al.  Hedge algebras: an algebraic approach to structure of sets of linguistic truth values , 1990 .

[26]  Jun Liu,et al.  L-Valued Propositional Logic Lvpl , 1999, Inf. Sci..

[27]  Guojun Wang,et al.  On the Logic Foundation of Fuzzy Reasoning , 1999, Inf. Sci..

[28]  N. C. Ho,et al.  Extended hedge algebras and their application to fuzzy logic , 1992 .

[29]  Francisco Herrera,et al.  A 2-tuple fuzzy linguistic representation model for computing with words , 2000, IEEE Trans. Fuzzy Syst..

[30]  I. Turksen.  Type I and type II fuzzy system modeling , 1999 .

[31]  Gaorong Han,et al.  Raman studies on the crystallization of sol-gel processed PbTiO3 thin films , 1997 .

[32]  Lokendra Shastri,et al.  Guest Editor's Introduction , 1994, IEEE Expert.

[33]  Lotfi A. Zadeh,et al.  Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic , 1997, Fuzzy Sets Syst..

[34]  Van-Nam Huynh,et al.  An algebraic approach to linguistic hedges in Zadeh's fuzzy logic , 2002, Fuzzy Sets Syst..

[35]  Bobby Schmidt,et al.  Fuzzy math , 2001 .

[36]  Y Xu,et al.  On syntax of L-valued first-order logic Lvfl , 2001 .

[37]  Ho C. Nguyen,et al.  Ordered structure-based semantics of linguistic terms of linguistic variables and approximate reasoning , 2001 .

[38]  Francisco Herrera,et al.  An Approach for Combining Linguistic and Numerical Information Based on the 2-Tuple Fuzzy Linguistic Representation Model in Decision-Making , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[39]  Da Ruan,et al.  Lattice-Valued Propositional Logics , 2003 .

[40]  L. A. Zadeh,et al.  Fuzzy logic and approximate reasoning , 1975, Synthese.

[41]  Qin Ke-yun,et al.  L -valued propositional logic L vpl , 1999 .

[42]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

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

[44]  Vilém Novák,et al.  Are fuzzy sets a reasonable tool for modeling vague phenomena? , 2005, Fuzzy Sets Syst..

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

[46]  Francisco Herrera,et al.  A linguistic decision model for promotion mix management solved with genetic algorithms , 2002, Fuzzy Sets Syst..

[47]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[48]  Paul P. Wang.  Computing with Words , 2001 .

[49]  Liu Jun,et al.  ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft , 2000 .

[50]  Jun Liu,et al.  Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.