Skip to main content
SpringerLink
Log in

A Theory of Commonsense Knowledge

  • Chapter
Aspects of Vagueness

Part of the book series: Theory and Decision Library ((TDLU,volume 39))

Abstract

The theory outlined in this paper is based on the idea that what is commonly called commonsense knowledge may be viewed as a collection of dispositions, that is, propositions with implied fuzzy quantifiers. Typical examples of dispositions are: Icy roads are slippery. Tall men are not very agile. Overeating causes obesity. Bob loves women. What is rare is expensive, etc. It is understood that, upon restoration of fuzzy quantifiers, a disposition is converted into a proposition with explicit fuzzy quantifiers, e.g., Tall men are not very agile→Most tall men are not very agile.

Since traditional logical systems provide no methods for representing the meaning of propositions containing fuzzy quantifiers, such systems are unsuitable for dealing with commonsense knowledge. It is suggested in this paper that an appropriate computational framework for dealing with commonsense knowledge is provided by fuzzy logic, which, as its name implies, is the logic underlying fuzzy (or approximate) reasoning. Such a framework, with an emphasis on the representation of dispositions, is outlined and illustrated with examples.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Adams, E.W., H.F. Levine: 1975, ‘On the uncertainties transmitted from premises to conclusions in deductive inferences’, Synthese 30,429–460.

    Article  Google Scholar 

  2. Baldwin, J.F., S.Q. Zhou: 1982, ‘A fuzzy relational inference language’, Report NO. EM/FS 132, University of Bristol.

    Google Scholar 

  3. Barr, A., E.W. Feigenbaum: 1982, ‘The Handbook of Artificial Intelligence’, vols. 1,2 and 3. Los Altos: Kaufmann.

    Google Scholar 

  4. Barwise, J., R. Cooper: 1981, ‘Generalized quantifiers and natural language’, Linguistics and Philosophy 4, 159–219.

    Article  Google Scholar 

  5. Bellman, R.E., L.A. Zadeh: 1977, ‘Local and fuzzy logics’, in: Modern Uses of Multiple-Valued Logic, Epstein, G. (ed.), Dordrecht: Reidel, 103–165.

    Google Scholar 

  6. Blanchard, N.: 1981, ‘Theories cardinales et ordinals des ensembles flou: les multiensembles’, Thesis, University of Claude Bernard, Lyon.

    Google Scholar 

  7. Brachman, R. J., B. C. Smith: 1980, ’Special Issue on Knowledge Representation, SIGART 70.

    Google Scholar 

  8. Cooper, W.S.: 1978, ‘Logical Linguistics’, Dordrecht: Reidel.

    Google Scholar 

  9. Cresswell, M.J.: 1973, ‘Logic and Languages’, London; Methuen.

    Google Scholar 

  10. Cushing, S.: 1982, ‘Quantifier Meanings-A Study in the Dimensions of Semantic Competence’, Amsterdam: North-Holland.

    Google Scholar 

  11. Date, C.J.: 1977, ‘An Introduction to Database Systems’, Reading; Addison-Wesley.

    Google Scholar 

  12. Davis, R., D.B. Lenat: 1982, ‘Knowledge-Based Systems in Artificial Intelligence’, New York: McGraw-Hill.

    Google Scholar 

  13. DeLuca, A., S.A. Termini: 1972, ‘A definition of nonprobabilstic entropy in the setting of fuzzy sets theory’, Information and Control 20, 301–312.

    Article  Google Scholar 

  14. Dubois, D., H. Prade: 1980, ‘Fuzzy Sets and Systems: Theory and Applications’, New York: Academic Press.

    Google Scholar 

  15. Duda, R.O, P.E. Hart, K. Konolige, R. Reboh: 1979, ‘A computer-based consultant for mineral exploration’, Tech. Report, SRJ International, Menlo Park, CA.

    Google Scholar 

  16. Feigenbaum, E.A.: 1977, ‘The art of artificial intelligence: Themes and case studies in knowledge engineering’, Proc. IJCAI5.

    Google Scholar 

  17. Findler, N.V. (ed.): 1979, ‘Associative Networks: Representation and Use of Knowledge by Computer’, New York Academic Press.

    Google Scholar 

  18. Gaines, B.R.: 1979, ‘Logical foundations for database systems’, Int. J. Man-Machine Studies 11,481–500.

    Article  Google Scholar 

  19. Goguen, J.A.: 1969, ‘The logic of inexact concepts’, Synthese 19, 325–373.

    Article  Google Scholar 

  20. Hofmann, T.R.: 1982, ‘Qualitative terms for quantity’, In Proc. 6th European Meeting on Cybernetics and Systems Research, R. Trappl, (ed.), Amsterdam: North-Holland.

    Google Scholar 

  21. Hoover, D.N.: 1978, ‘Probability logic’, Annals Math. Lgoic 14, 287–313.

    Article  Google Scholar 

  22. Ishizuka, M., K.S. Pu, J.T.P. Yao: 1982, ‘A rule-based inference with fuzzy set for structural damage assessment’, Fuzzy Information and Decision Processes, M. Gupta, and E. Sanchez (eds.), Amsterdam: North-Holland.

    Google Scholar 

  23. Keenan, E.L.: 1971, ‘Quantifier structures in English’, Foundations of Language 7, 255–336.

    Google Scholar 

  24. Klement, E.P., W. Schwyhla, R. Lowen: 1981, ‘Fuzzy probability measures’, Fuzzy Sets and Systems 5, 83–108.

    Article  Google Scholar 

  25. Klement, E.P.: 1981, ‘Operations on fuzzy sets and fuzzy numbers related to triangular norms’, Proc. 11th Conf. Multiple-Valued Logic, Univ. of Oklahoma, Norman, 218–225.

    Google Scholar 

  26. Mamdani, E.H., B.R. Gaines: 1981, ‘Fuzzy Reasoning and its Applications’, London: Academic Press.

    Google Scholar 

  27. McCarthy, J.: 1980, ‘Circumscription: A non-monotonic inference rule’, Artificial Intelligence 13, 27–40.

    Article  Google Scholar 

  28. McCawley, J.D.: 1981, ‘Everything that Linguists have Always Wanted to Know about Logic’, Chicago: University of Chicago Press.

    Google Scholar 

  29. McDermott, D.V., J. Doyle: 1982, ‘Non-monotonic logic I’, Artificial Intelligence 13, 41–72.

    Article  Google Scholar 

  30. McDermott, D.V.: 1982, ‘Non-monotonic logic, II: nonmonotonic modal theories’, J. Assoc. Comp. Mach. 29, 33–57.

    Google Scholar 

  31. Michalski, R., J.G. Carbonell, T.M. Mitchell: 1983, ‘Machine Learning’, Palo Alto: Tioga Press.

    Google Scholar 

  32. Miller, G.A., P.N. Johnson-Laird: 1976, ‘Language and Perception’, Cambridge: Harvard University Press.

    Google Scholar 

  33. Mizumoto, M., M. Umano, K. Tanaka: 1977, ‘Implementation of a fuzzy-set-theoretic data-structure system’, 3rd Int. Conf. Very Large Data Bases, Tokyo.

    Google Scholar 

  34. Mizumoto, M., S. Fukame, K. Tanaka: 1978, ‘Fuzzy reasoning Methods by Zadeh and Mamdani, and improved methods’, Proc. Third Workshop on Fuzzy Reasoning, Queen Mary College, London..

    Google Scholar 

  35. Moisil, G.C.: 1975, ‘Lectures on the Logic of Fuzzy Reasoning’, Bucarest: Scientific Editions.

    Google Scholar 

  36. Noguchi, K., M. Umano, M. Mizumoto, K. Tanaka: 1976, ‘Implementation of fuzzy artificial intelligence language FLOU’, Technical Report on Automation and Language of IECE.

    Google Scholar 

  37. Orlov, A.I: 1980, ‘Problems of Optimization and Fuzzy Variables’, Moscow: Znaniye.

    Google Scholar 

  38. Partee, B.: 1976, ‘Montague Grammar’, New York: Academic Press.

    Google Scholar 

  39. Peterson, P.: 1979, ‘On the logic of few, many and most’, Notre Dame J. Formal Logic 20, 155–179.

    Article  Google Scholar 

  40. Reiter, R., G. Criscuolo: 1983, ‘Some representational issues in default reasoning’, Computers and Mathematics 9, 15–28.

    Google Scholar 

  41. Rescher, N.: 1976, ‘Plausible Reasoning’, Amsterdam: Van Gorcum.

    Google Scholar 

  42. Rich, E.: 1983, ‘Artificial Intelligence’, New York: McGraw-Hill.

    Google Scholar 

  43. Rieger, C.: 1975, ‘Conceptual memory’, in Conceptual Information Processing, Schank, R. (ed.), Amsterdam: North-Holland.

    Google Scholar 

  44. Schubert, L.K., R.G. Goebel, N. Cercone: 1979, ‘The structure and organization of a semantic net for comprehension and inference’, in: Associative Networks, Findler, N. V.., (ed.), New York: Academic Press, 122–178.

    Google Scholar 

  45. Shortliffe, E.H., B. Buchanan: 1975, ‘A model of inexact reasoning in medicine’, Mathematical Biosciences 23, 351–379.

    Article  Google Scholar 

  46. Shortliffe, E.H.: 1976, ‘Computer-Based Medical Consultations: MYCIN’, New York: American Elsevier.

    Google Scholar 

  47. Sugeno, M.: 1977, ‘Fuzzy measures and fuzzy integrals: a survey’, in Fuzzy Automata and Decision Processes, Gupta, M.M., Saridis, G.N. and Gaines, B.R. (eds.) Amsterdam: North Holland, 89–102.

    Google Scholar 

  48. Suppes, P.: 1970, ‘A Probabilistic Theory of Causality’, Amsterdam: North-Holland.

    Google Scholar 

  49. Szolovits, P., S.G. Pauker: 1978, ‘Categorical and probabilistic reasoning in medical diagnosis’, Artificial Intelligence 11, 115–144.

    Article  Google Scholar 

  50. Terano, T., M. Sugeno: 1975, ‘Conditional fuzzy measures and their applications’, Fuzzy Sets and Their Applications to Cognitive and Decision Processes, Zadeh. L. A, Fu, K. S, Tanaka, K., Shimura. M. (eds.), New York: Academic Press, 151–170.

    Google Scholar 

  51. Weiss, S.M., C.A. Kulikowski: 1979, ‘EXPERT: A system for developing consultation models’, Proc. IJAI6.

    Google Scholar 

  52. Yager, R.R.: 1980, ‘Quantified propositions in a linguistic logic’, in: Proceedings of the 2nd International Seminar ·on Fuzzy Set Theory, Klement, E.P. (ed.), Johannes Kepler University, Linz, Austria.

    Google Scholar 

  53. Zadeh, L.A.: 1968, ‘Probability measures of fuzzy events’, J. Math. Anal. Appl. 23, 421–427.

    Article  Google Scholar 

  54. Zadeh, L.A.; 1971, ‘Similarity relations and fuzzy orderings’, Inf. Sci. 3, 177–200.

    Article  Google Scholar 

  55. Zadeh, L.A.: 1975, ‘Fuzzy logic and approximate reasoning’ (in memory of Grigore Moisil), Synthese 30, 407–428.

    Article  Google Scholar 

  56. Zadeh, L.A.: 1975, ‘The concept of a linguistic variable and its applicatiop to approximate reasoning’, Inform. Sci. 8, 199–249, 301–357, 9, 43–80.

    Article  Google Scholar 

  57. Zadeh, L.A.: 1978, ‘PRUF-a meaning representation language for natural languages’, Int. J. Man-Machine Studies 10, 395–460.

    Article  Google Scholar 

  58. Zadeh, L.A.: 1979, ‘A theory of approximate reasoning’ Electronics Research Laboratory Memorandum M77/58 University of California, Berkeley. Also in: Machine Intelligence 9, Hayes, J.E., Michie, D., Kulich, L.I.,(eds.), New York: Wiley 149–194.

    Google Scholar 

  59. Zadeh, L.A.: 1980, ‘Inference in fuzzy logic’, Proc. 10th Inter. Symp. on Multiple-valued Logic, Northwestern University, 124–131.

    Google Scholar 

  60. Zadeh, L.A.: 1980, ‘Possibility theory and soft data analysis’, Electronic Res. Laboratory Memorandum M79/59 University of California, Berkeley; also in Mathematical Frontiers of the Social and Policy Sciences, Cobb, L., and Thrall, R.M. (eds.), Boulder: Westview Press, 69–129 (1981).

    Google Scholar 

  61. Zadeh, L.A.: 1981, ‘Test-score semantics for natural languages and meaning-representation via PRUF’, Techn. Note 247, AI Center, SRI International, Menlo Park, CA. Also in Empirical Semantics, Rieger, B.B., (ed.), Bochum: Brockmeyer, 281–349.

    Google Scholar 

  62. Zadeh, L.A.: 1981, ‘Fuzzy probabilities and their role in decision analysis’, Proc. 4th MIT/ONR Workshop on Command, Control and Communications M.I.T., 159–179.

    Google Scholar 

  63. Zadeh, L.A.: 1983, ‘A computational approach to fuzzy quantifiers in natural languages’, Computers and Mathematics 9, 149–184.

    Google Scholar 

  64. Zimmer, A.: 1982, ‘Some experiments concerning the fuzzy meaning of logical quantifiers’, in General Surveys of Systems Methodology, Troncoli, L. (ed.), 435–441. Society for General Systems Research, Louisville.

    Google Scholar 

  65. Zimmermann, H.-J., P. Zysno: 1980, ‘Latent connectives in human decision making’, Fuzzy Sets and Systems 4, 37–52.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Division, Department of EECS and ERL, University of California, Berkeley, USA

    L. A. Zadeh

Authors
  1. L. A. Zadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Paderborn, Germany

    Heinz J. Skala

  2. Consiglio Nazionale delle Ricerche, Laboratorio di Cibernetica, Naples, Italy

    S. Termini

  3. Universidad Politécnica de Barcelona, Spain

    E. Trillas

Rights and permissions

Reprints and permissions

Copyright information

© 1984 D. Reidel Publishing Company

About this chapter

Cite this chapter

Zadeh, L.A. (1984). A Theory of Commonsense Knowledge. In: Skala, H.J., Termini, S., Trillas, E. (eds) Aspects of Vagueness. Theory and Decision Library, vol 39. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-6309-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-6309-2_13

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-009-6311-5

  • Online ISBN: 978-94-009-6309-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation