Knowledge representation in fuzzy logic

The author presents a summary of the basic concepts and techniques underlying the application of fuzzy logic to knowledge representation. He then describes a number of examples relating to its use as a computational system for dealing with uncertainty and imprecision in the context of knowledge, meaning, and inference. It is noted that one of the basic aims of fuzzy logic is to provide a computational framework for knowledge representation and inference in an environment of uncertainty and imprecision. In such environments, fuzzy logic is effective when the solutions need not be precise and/or it is acceptable for a conclusion to have a dispositional rather than categorical validity. The importance of fuzzy logic derives from the fact that there are many real-world applications which fit these conditions, especially in the realm of knowledge-based systems for decision-making and control. >

[1]  Hung T. Nguyen,et al.  Uncertainty Models for Knowledge-Based Systems; A Unified Approach to the Measurement of Uncertainty , 1985 .

[2]  Brian R. Gaines,et al.  Fuzzy Reasonings and Its Applications , 1981 .

[3]  Masaki Togai,et al.  Expert System on a Chip: An Engine for Real-Time Approximate Reasoning , 1986, IEEE Expert.

[4]  L. Zadeh.  A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .

[5]  D. Dubois,et al.  Fuzzy cardinality and the modeling of imprecise quantification , 1985 .

[6]  J. Kacprzyk,et al.  Optimization Models Using Fuzzy Sets and Possibility Theory , 1987 .

[7]  Henry A. Kautz,et al.  Planning and plan recognition , 1988, AT&T Technical Journal.

[8]  Lotfi A. Zadeh,et al.  PRUF—a meaning representation language for natural languages , 1978 .

[9]  Madan M. Gupta,et al.  Fuzzy mathematical models in engineering and management science , 1988 .

[10]  Trevor P Martin,et al.  The implementation of fprolog—a fuzzy prolog interpreter , 1987 .

[11]  R. Reiter,et al.  SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING , 1980 .

[12]  Liya Ding,et al.  Fundamentals of Fuzzy Prolog , 1989, Int. J. Approx. Reason..

[13]  Ronald R. Yager,et al.  REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART II , 1985 .

[14]  Lotfi A. Zadeh,et al.  A theory of commonsense knowledge , 1983 .

[15]  C. V. Negoiţă,et al.  Expert systems and fuzzy systems , 1985 .

[16]  Brian R. Gaines,et al.  Fuzzy reasoning and its applications , 1981 .

[17]  Didier Dubois,et al.  Fuzzy sets and systems ' . Theory and applications , 2007 .

[18]  Lotfi A. Zadeh,et al.  Test-score semantics as a basis for a computational approach to the representation of meaning , 1986 .

[19]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[20]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[21]  Madan M. Gupta,et al.  Energetistic stability of fuzzy dynamic systems , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[22]  Michio Sugeno,et al.  Industrial Applications of Fuzzy Control , 1985 .

[23]  Madan M. Gupta,et al.  Fuzzy Logic in Knowledge-Based Systems, Decision and Control , 1988 .

[24]  Henri Prade,et al.  Dealing with the Vagueness of Natural Languages in Man-Machine Communication , 1986 .

[25]  Chris J. Hinde,et al.  Fuzzy Prolog , 1986, Int. J. Man Mach. Stud..

[26]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[27]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[28]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[29]  Can Isik.  Inference engines for fuzzy rule-based control , 1988 .

[30]  Robert Wilensky.  Some Problems and Proposals for Knowledge Representation , 1987 .

[31]  Philip L. Peterson,et al.  On the logic of "few", "many", and "most" , 1979, Notre Dame J. Formal Log..

[32]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[33]  Ronald J. Brachman.  The basics of knowledge representation and reasoning , 1988, AT&T Technical Journal.

[34]  Jon Doyle.  A truth maintenance system , 1981 .

[35]  Stephen Watson,et al.  Set Theory and its Applications , 1989 .

[36]  Didier Dubois,et al.  On fuzzy syllogisms , 1988, Comput. Intell..

[37]  Abraham Kandel,et al.  Fuzzy relational data bases : a key to expert systems , 1984 .

[38]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[39]  Caroline M. Eastman,et al.  Response: Introduction to fuzzy arithmetic: Theory and applications : Arnold Kaufmann and Madan M. Gupta, Van Nostrand Reinhold, New York, 1985 , 1987, Int. J. Approx. Reason..

[40]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[41]  James F. Baldwin,et al.  A fuzzy relational inference language , 1984 .

[42]  Didier Dubois,et al.  The treatment of uncertainty in knowledge‐based systems using fuzzy sets and possibility theory , 1988, Int. J. Intell. Syst..

[43]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning-III , 1975, Inf. Sci..

[44]  L. A. Zadeh,et al.  Dispositional logic , 1988 .

[45]  George J. Klir.  Activities in fuzzy set theory at the State University of New York at Binghamton , 1988 .

[46]  Ronald R. Yager,et al.  Quantified Propositions in a Linguistic Logic , 1983, Int. J. Man Mach. Stud..

[47]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[48]  Lotfi A. Zadeh,et al.  A Computational Theory of Dispositions , 1984, ACL.

[49]  Janusz Kacprzyk,et al.  Management decision support systems using fuzzy sets and possibility theory , 1985 .

[50]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[51]  Lotfi A. Zadeh,et al.  Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[52]  Y. Kasai,et al.  Electronically Controlled Continuously Variable Transmission (ECVT-II) , 1988, International Congress on Transportation Electronics,.

[53]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[54]  L. A. Zedeh,et al.  Syllogistic Reasoning in Fuzzy Logic and its Applications to Reasoning with Dispositions , 1985 .

[55]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[56]  Kenneth D. Forbus.  Qualitative physics: past present and future , 1988 .

[57]  L. Zadeh.  The role of fuzzy logic in the management of uncertainty in expert systems , 1983 .

[58]  L. Zadeh.  Probability measures of Fuzzy events , 1968 .

[59]  Garrison W. Cottrell,et al.  Lexical ambiguity resolution , 1987 .

[60]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..