This Article 
 Bibliographic References 
 Add to: 
Knowledge Representation in Fuzzy Logic
March 1989 (vol. 1 no. 1)
pp. 89-100

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] J. F. Baldwin, "FRIL-A fuzzy relational inference language,"Fuzzy Sets Syst., vol. 14, pp. 155-174, 1984.
[2] T.P. Martin, J.F. Baldwin, and B.W. Pilsworth, "The Implementation of FProlog--A Fuzzy Prolog Interpreter,"Fuzzy Sets and Systems, Vol. 23, 1987, pp. 119-129.
[3] J. C. Bezdek, Ed.,Analysis of Fuzzy Information-Vol. 1, 2, and 3: Applications in Engineering and Science. Boca Raton, FL: CRC, 1987.
[4] R. Brachman and H. Levesque,Readings in Knowledge Representation. Morgan Kaufmann, 1985.
[5] R. J. Brachman, "The basics of knowledge representation and reasoning,"AT&T Tech. J., vol. 67, pp. 25-40, 1988.
[6] J. de Kleer and J.S. Brown, "A Qualitative Physics Based on Confluences,"Artificial Intelligence, Vol. 24, Nos. 1 to 3, 1984, pp. 7-84.
[7] J. Doyle, "A truth-maintenance system,"Artificial Intell., vol. 12, pp. 231-272, 1979.
[8] D. Dubois and H. Prade,Fuzzy Sets and Systems: Theory and Applications. New York: Academic, 1980.
[9] D. Dubois and H. Prade, "Fuzzy cardinality and the modeling of imprecise quantification,"Fuzzy Sets Syst., vol. 16, pp. 199-230, 1985.
[10] D. Dubois and H. Prade,Possibility Theory--An Approach to Computerized Processing of Uncertainty. New York: Plenum, 1988.
[11] D. Dubois and H. Prade, "On fuzzy syllogisms,"Comput. Intell., vol. 14, pp. 171-179, 1988.
[12] D. Dubois and H. Prade, "The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory,"Int. J. Intell. Syst., vol. 3, pp. 141-165, 1988.
[13] H. Farreny and H. Prade, "Dealing with the vagueness of natural languages in man-machine communication," inApplications of Fuzzy Set Theory in Human Factors, W. Karvowski and A. Mital, Eds. New York: Elsevier, 1986, pp. 71-85.
[14] K. Forbus, "Qualitative physics: Past, present, and future," inExploring Artificial Intelligence, H. Shrobe, Ed. Los Altos, CA: Morgan Kaufman, 1989.
[15] Fujitec, "Artificial intelligence type elevator group control system,"JETRO, vol. 26, 1988.
[16] J. A. Goguen, "The logic of inexact concepts,"Synthese, vol. 19, pp. 325-373, 1969.
[17] I. R. Goodman and H. T. Nguyen,Uncertainty Models for Knowledge-Based Systems. Amsterdam, The Netherlands: North-Holland, 1985.
[18] M. M. Gupta and T. Yamakawa, Eds.,Fuzzy Logic in Knowledge-Based Systems. Amsterdam, The Netherlands: North-Holland, 1988.
[19] C. Isik, "Inference engines for fuzzy rule-based control,"Int. J. Approximate Reasoning, vol. 2, pp. 122-187, 1988.
[20] P. N. Johnson-Laird, "Procedural semantics,"Cognition, vol. 5, pp. 189-214, 1987.
[21] J. Kacprzyk and R. R. Yager,Management Decision Support Systems Using Fuzzy Sets and Possibility Theory, (Interdisciplinary Systems Research Series, Vol. 83). New York: Springer-Verlag, 1985.
[22] J. Kacprzyk and S. A. Orlovski, Eds.,Optimization Models Using Fuzzy Sets and Possibility Theory. Dordrecht, The Netherlands: Reidel, 1987.
[23] Y. Kasai and Y. Morimoto, "Electronically controlled continuously variable transmission," inProc. Int. Congress on Transportation Electron., Dearborn, MI, 1988.
[24] A. Kaufmann and M. M. Gupta,Introduction to Fuzzy Arithmetic. New York: Van Nostrand, 1985.
[25] A. Kaufmann and M. M. Gupta,Fuzzy Mathematical Models with Applications to Engineering and Management Science. Amsterdam, The Netherlands: North-Holland, 1988.
[26] M. Kinoshita and T. Fukuzaki, T. Satoh, and M. Miyake, "An automatic operation method for control rods in BWR plants," inProc. Specialists' Meet. In-core Instrument. Reactor Core Assessment, Cadarache, France, 1988.
[27] J. B. Kiszka, M. M. Gupta, and P. N. Nikiforuk, "Energetistic stability of fuzzy dynamic systems,"IEEE Trans. Syst., Man, Cybern., vol. SMC-15, 1985.
[28] G.J. Klir and T.A. Folger,Fuzzy Sets, Uncertainty, and Information, Prentice Hall, Englewood Cliffs, N.J., 1988.
[29] P. Kuipers, "Qualitative simulation,"Artificial Intell., vol. 29, pp. 289-338, 1986.
[30] H. Levesque, "Knowledge representation and reasoning,"Ann. Rev. Comput. Sci., pp. 255-287, 1986.
[31] H. J. Levesque and R. Brachman, "Expressiveness and tractability in knowledge representation and reasoning,"Comput. Intell., vol. 3, pp. 78-93, 1987.
[32] E. H. Mamdani and B. R. Gaines, Eds.,Fuzzy Reasoning and Its Applications. New York: Academic, 1981.
[33] J. McCarthy, "Circumscription: Non-monotonic inference rule,"Artificial Intell., vol. 13, pp. 27-40, 1980.
[34] D. V. McDermott, "Non-monotonic logic, I,"Artificial Intell., vol. 13, pp. 41-72, 1980.
[35] D. V. McDermott, "Non-monotonic logic, II: Non-monotonic modal theories,"J. Ass. Comput. Mach., vol. 29, pp. 33-57, 1982.
[36] R. C. Moore, "The role of logic in knowledge representation and commonsense reasoning," inProc. Nat. Conf. Artificial Intell., 1982, pp. 428-433.
[37] R. C. Moore and J. C. Hobbs, Eds.,Formal Theories of the Commonsense World. Harwood, NJ: Ablex, 1984.
[38] M. Mukaidono, Z. Shen, and L. Ding, "Fuzzy prolog," inProc. 2nd IFSA Congress, Tokyo, Japan, 1987, pp. 452-455.
[39] C.V. Negoita,Expert Systems and Fuzzy Systems, Benjamin/Cummings, Menlo Park, Calif., 1985.
[40] N. Nilsson, "Probabilistic logic,"Artificial Intell., vol. 20, pp. 71- 87, 1986.
[41] P. Peterson, "On the logic of few, many, and most,"Notre Dame J. Formal Logic, vol. 20, pp. 155-179, 1979.
[42] G. S. Pospelov, "Fuzzy set theory in the USSR,"Fuzzy Sets Syst., vol. 22, pp. 1-24, 1987.
[43] Proc. 2nd Congress Int. Fuzzy Syst. Assoc., Tokyo, Japan, 1987.
[44] Proc. Int. Workshop Fuzzy Syst. Appl., Kyushu Inst. Technol., Iizuka, Japan, 1988.
[45] R. Reiter and G. Criscuolo, "Some representational issues in default reasoning,"Comput. Math., vol. 9, pp. 15-28, 1983.
[46] J. C. Shapiro, Ed.,Encyclopedia of Artificial Intelligence. New York: Wiley, 1987.
[47] S. L. Small, G. W. Cottrell, and M. K. Tanenhaus, Eds.,Lexical Ambiguity Resolution. Los Altos, CA: Morgan Kaufman, 1988.
[48] M. Sugeno, Ed.,Industrial Applications of Fuzzy Control. Amsterdam: North-Holland, 1985.
[49] C. J. Talbot, "Scheduling TV advertising: An expert systems approach to utilizing fuzzy knowledge," inProc. 4th Australian Conf. Appl. Expert Syst., Sydney, Australia, 1988.
[50] M. Togai and H. Watanabe, "Expert systems on a chip: An engine for real-time approximate reasoning,"IEEE Expert, vol. 1, pp. 55- 62, 1986.
[51] R. Wilensky, "Some problems and proposals for knowledge representation," Comput. Sci. Division, Univ. California, Berkeley, Tech. Rep. 87/351, 1987.
[52] R. R. Yager, "Quantified propositions in a linguistic logic," inProc. 2nd Int. Seminar Fuzzy Set Theory, E. P. Klement, Ed., Johannes Kepler Univ., Linz, Austria, 1980.
[53] R. R. Yager, "Reasoning with fuzzy quantified statements--I,"Kybernetes, vol. 14, pp. 233-240, 1985.
[54] S. Yasunobu and G. Hasegawa, "Evaluation of an automatic container crane operation system based on predictive fuzzy control,"Contr. Theory Advanced Technol., vol. 2, no. 3, 1986.
[55] S. Yasunobu and S. Myamoto, "Automatic train operation by predictive fuzzy control," inIndustrial Applications of Fuzzy Control, M. Sugeno, Ed. Amsterdam, The Netherlands: North-Holland, 1985.
[56] L. A. Zadeh, "Probability measures of fuzzy events,"J. Math. Anal. Appl., vol. 23, pp. 421-427, 1968.
[57] L. A. Zadeh, "Outline of a new approach to the analysis of complex systems and decision processes,"IEEE Trans. Syst., Man, Cybern., vol. SMC-3, pp. 28-44, 1973.
[58] L. A. Zadeh, "The concept of a linguistic variable and its application to approximate reasoning, Part 1,"Inf. Sci., vol. 8, pp. 199-249; Part II,Inf. Sci., vol. 8, pp. 301-357; Part III,Inf. Sci., vol. 9, pp. 43-80, 1975.
[59] L. A. Zadeh, "Fuzzy sets as a basis for a theory of possibility,"Fuzzy Sets Syst., vol. 1, pp. 3-28, 1978.
[60] L. A. Zadeh, "PRUF-A meaning representation language for natural languages,"Int. J. Man-Mach. Studies, vol. 10, pp. 395-460, 1978.
[61] L. A. Zadeh, "A fuzzy-set-theoretic approach to fuzzy quantifiers in natural languages,"Comput. Math., vol. 9, pp. 149-184, 1983.
[62] L. A. Zadeh, "The role of fuzzy logic in the management of uncertainty in expert systems,"Fuzzy Sets Syst., vol. 11, pp. 199-227, 1983.
[63] L. A. Zadeh, "A theory of commonsense knowledge," inAspects of Vagueness, H. J. Skala, S. Termini, and E. Trillas, Eds. Dordrecht, The Netherlands: Reidel, 1984.
[64] L. A. Zadeh, "Syllogistic reasoning in fuzzy logic and its application to reasoning with dispositions,"IEEE Trans. Syst., Man, Cybern., vol. SMC-15, pp. 754-763, 1985.
[65] L.A. Zadeh, "Test-Score Semantics as a Basic for a Computational Approach to the Representation of Meaning,"Literary and Linguistic Computing, Vol. 1, 1986, pp. 24-35.
[66] L. A. Zadeh, "A computational theory of dispositions,"Int. J. Intell. Syst., vol. 2, pp. 39-63, 1987.
[67] L. A. Zadeh, "Fuzzy logic,"Computer, vol. 1, pp. 83-93, 1988.
[68] L. A. Zadeh, "Dispositional logic,"Appl. Math. Lett., pp. 95-99, 1988.
[69] L. A. Zadeh, "QSA/FL-Qualitative systems analysis based on fuzzy logic," inProc. AAAI Symp., Stanford Univ., Stanford, CA, 1989.
[70] M. Zemankova-Leech and A. Kandel,Fuzzy Relational Data Bases-A Key to Expert Systems. Cologne: Verlag TUV Rheinland, 1984.
[71] H. J. Zimmermann,Fuzzy Set Theory and Its Applications. Dordrecht, The Netherlands: Nijhoff, 1987.

Index Terms:
fuzzy logic; knowledge representation; computational system; uncertainty; imprecision; meaning; inference; real-world applications; knowledge-based systems; decision-making; control; fuzzy logic; knowledge representation
L.A. Zadeh, "Knowledge Representation in Fuzzy Logic," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 1, pp. 89-100, March 1989, doi:10.1109/69.43406
Usage of this product signifies your acceptance of the Terms of Use.