Skip to main content
SpringerLink
Log in

Precisiation of Meaning via Translation into PRUF

  • Chapter
Cognitive Constraints on Communication

Part of the book series: Synthese Language Library ((SLAP,volume 18))

Abstract

It is suggested that communication between humans — as well as between humans and machines — may be made more precise by the employment of a meaning representation language PRUF which is based on the concept of a possibility distribution. A brief exposition of PRUF is presented and its application to precisiation of meaning is illustrated by a number of examples.

Computer Science Division, Department of Electrical Engineering and Computer Sciences and the Electronics Research Laboratory, University of California, Berkeley, California 94720. Research supported by the National Science Foundation Grants IST8018196 and MCS79-06543.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

References

  1. Bandler, W. and Kohout, L.: 1978, ‘Fuzzy relational products and fuzzy implication operation,’ Proc. Third Workshop on Fuzzy Reasoning, Queen Mary College, London.

    Google Scholar 

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

    Chapter  Google Scholar 

  3. Black, M.: 1963, ‘Reasoning with loose concepts,’ Dialogue 2, 1–12.

    Article  Google Scholar 

  4. Bobrow, D. and Collins, A. (eds.): 1975, Representation and Understanding, Academic Press, New York.

    Google Scholar 

  5. Boyce, R. F., Chamberlin, D. D., King III, W. F., and Hammer, M. M.: 1974, ‘Specifying queries as relational expressions,’ Data Base Management (J. W. Klimbie and K. L. Koffeman, eds.), North-Holland, Amsterdam, 21–223.

    Google Scholar 

  6. Brachman, R. J.: 1977, ‘What’s in a concept: structural foundations for semantical networks,’ Int. J. Man-Machine Studies 9, 127–152.

    Article  Google Scholar 

  7. Briabrin, V. M. and Senin, G. V.: 1977, ‘Natural language processing within a restricted context,’ Proc. Int. Workshop on Natural Language for Interactions with Data Bases, IIASA, Vienna.

    Google Scholar 

  8. Chomsky, N.: 1971, ‘Deep structure, surface structure, and semantic interpretation,’ Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology, (D. D. Steinberg and L. A. Jakobovits, eds.), Cambridge University Press, Cambridge.

    Google Scholar 

  9. Cresswell, M. J.: 1973, Logics and Languages, Methuen, London.

    Google Scholar 

  10. Damerau, F. J.: 1975, ‘On fuzzy adjectives,’ Memorandum RC 5340, IBM Research Laboratory, Yorktown Heights, New York.

    Google Scholar 

  11. Davidson, D.: 1967, ‘Truth and meaning,’ Synthese 17, 304–323.

    Article  Google Scholar 

  12. Deluca, A. and Termini, S.: 1972, ‘A definition of a non-probabilistic entropy in the setting of fuzzy sets theory,’ Information and Control 20, 301–312.

    Article  Google Scholar 

  13. Fine, K.: 1975, ‘Vagueness, truth and logic,’ Synthese 30, 265–300.

    Article  Google Scholar 

  14. Frederiksen, C.: 1975, ‘Representing logical and semantic structure of knowledge acquired from discourse,’ Cognitive Psychology 7, 371–458.

    Article  Google Scholar 

  15. Gaines, B. R.: 1976, ‘Foundations of fuzzy reasoning,’ Int. J. Man-Machine Studies 6, 623–668.

    Article  Google Scholar 

  16. Gaines, B. R., and Kohout, L. J.: 1977, ‘The fuzzy decade: a bibliogrpahy of fuzzy systems and closely related topics,’ Int. J. Man-Machine Studies 9, 1–68.

    Article  Google Scholar 

  17. Goguen, J. A.: 1974, ‘Concept representation in natural and artificial languages: axioms, extension and applications for fuzzy sets,’ Int. J. Man-Machine Studies 6, 513–561.

    Article  Google Scholar 

  18. Grice H. P.: 1968, ‘Utterer’s meaning, sentence-meaning and word-meaning,’ Foundations of Language 4, 225–242.

    Google Scholar 

  19. Haack, S.: 1978, Philosophy of Logics, Cambridge University Press, Cambridge.

    Book  Google Scholar 

  20. Harris, J. I.: 1974, ‘Fuzzy sets: how to be imprecise precisely,’ DOAE Research Working Paper, Ministry of Defense, Byfleet, Surrey, United Kingdom.

    Google Scholar 

  21. Hersh, H. M., and Caramazza, A.: 1976, ‘A fuzzy approach to modifiers and vagueness in natural language,’ J. Experimental Psychology 105, 254–276.

    Google Scholar 

  22. Hisdal, E.: 1978, ‘Conditional possibilities: independence and non-interaction,’ Fuzzy Sets and Systems 1, 283–297.

    Article  Google Scholar 

  23. Hughes, G. E., and Cresswell, M. J.: 1968, An Introduction to Modal Logic, Methuen, London.

    Google Scholar 

  24. Jouault, J. P. and Luan, P. M.: 1975, ‘Application des concepts flous à la programmation en langages quasi-naturels,’ Inst. Inf. d’Entreprise, C.N.A.M., Paris.

    Google Scholar 

  25. Kampé de Feriet, J. and Forte, B.: 1967, ‘Information et probabilité,’ Comptes Rendus, Academy of Sciences, Paris, 265A, 152–146, 350–353.

    Google Scholar 

  26. Katz, J. J.: 1966, The Philosophy of Language, Harper & Row, New York.

    Google Scholar 

  27. Kaufmann, A.: 1975, ‘Introduction to the Theory of Fuzzy Subsets,’ Applications to Linguistics, Logic and Semantics 2, Masson and Co., Paris.

    Google Scholar 

  28. Khatehadourian, H.: 1965, ‘Vagueness, meaning and absurdity,’ Amer. Phil. Quarterly 2, 119–129.

    Google Scholar 

  29. Labov, W.: 1973, ‘The boundaries of words and their meanings,’ New Ways of Analyzing Variation in English 1, ( C. J. N. Bailey and R. W. Shuy, eds.), Georgetown University Press, Washington.

    Google Scholar 

  30. Lakoff, G.: 1973, ‘Hedges: a study in meaning criteria and the logic of fuzzy concepts,’ J. Phil Logic 2, 458–508.

    Google Scholar 

  31. Lakoff, G.: 1973, ‘Fuzzy grammar and the performance/competence terminology game,’ Proc. Meeting of Chicago Linguistics Society, 271–291.

    Google Scholar 

  32. Lambert, K. and van Fraassen, B. C.: 1970, ‘Meaning relations, possible objects and possible worlds,’ Philosophical Problems in Logic, 1–19.

    Google Scholar 

  33. Lehnert, W.: 1977, ‘Human and computational question answering,’ Cognitive Science 1, 398 47–73.

    Article  Google Scholar 

  34. Lewis, D.: 1970, ‘General semantics,’ Synthese 22, 18–67.

    Article  Google Scholar 

  35. Linsky, L.: 1971, Reference and Modality, Oxford University Press, London.

    Google Scholar 

  36. Lyndon, R. C.: 1976, Notes on Logic, d. Van Nostrand, New York.

    Google Scholar 

  37. Machina, K. F.: 1972, ‘Vague predicates,’ Amer. Phil. Quarterly 9, 225–233.

    Google Scholar 

  38. Mamdani, E. H., and Assilian, S.: 1975, ‘An experiment in linguistic synthesis with a fuzzy logic controller,’ Int. J. Man-Machine Studies 7, 1–13.

    Article  Google Scholar 

  39. McCarthy, J. and Hayes, P.: 1969, ‘Some philosophical problems from the standpoint of artificial intelligence,’ Machine Intelligence 4, ( D. Michie and B. Meltzer, eds), Edinburgh University Press, Edinburgh, 463–502.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  43. Moisil, G. C.: 1975, ‘Lectures on the logic of fuzzy reasoning,’ Scientific Editions, Bucarest.

    Google Scholar 

  44. Montague, R.: 1974, Formal Philosophy (Selected Papers), Yale University Press, New Haven.

    Google Scholar 

  45. Montgomery, C. A.: 1972, ‘Is natural language an unnatural query language?,’ Proc. ACM National Conf., New York, 1075–1078.

    Google Scholar 

  46. Nalimov, V. V.: 1974, Probabilistic Model of Language, Moscow State University, Moscow.

    Google Scholar 

  47. Negoita, C. V., and Ralescu, D. A.: 1915, Applications of Fuzzy Sets to Systems Analysis, Birkhauser Verlag, Basel, Stuttgart.

    Google Scholar 

  48. Newell, A. and Simon, H. A.: 1972, Human Problem Solving, Prentice-Hall, Englewood Cliffs, N.J.

    Google Scholar 

  49. Nguyen, H. T.: 1978, ‘On conditional possibility distributions,’ Fuzzy Sets and Systems 1, 299–309.

    Article  Google Scholar 

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

    Google Scholar 

  51. Partee, B.: 1976, Montague Grammar, Academic Press, New York.

    Google Scholar 

  52. Putnam, H.: 1975, ‘The meaning of ‘meaning’,’ Language, Mind and Knowledge (K. Gunderson, ed.), University of Minnesota Press, Minneapolis.

    Google Scholar 

  53. Quine, W. V.: 1970, Philosophy of Logic, Prentice-Hall, Englewood Cliffs, N.J.

    Google Scholar 

  54. Rescher, N.: 1973, The Coherence Theory of Truth, Oxford University Press, Oxford.

    Google Scholar 

  55. Rieger, B.: 1976, ‘Fuzzy structural semantics,’ Proc. Third European Meeting on Cybernetics and Systems Research, Vienna.

    Google Scholar 

  56. Sanchez, E.: 1977, ‘On possibility qualification in natural languages,’ Electronics Re-Search Laboratory Memorandum M77/28, University of California, Berkeley.

    Google Scholar 

  57. Sanford, D. H.: 1975, ‘Borderline logic,’ Amer. Phil Quarterly 12, 29–39.

    Google Scholar 

  58. Schank, R. C. (ed.): 1975, Conceptual Information Processing, North-Holland, Amsterdam.

    Google Scholar 

  59. Schotch, P. K.: 1975, ‘Fuzzy modal logic,’ Proc. Int. Symp. on Multiple-Valued Logic, University of Indiana, Bloomington, 176–182.

    Google Scholar 

  60. Schubert, L. K.: 1972, ‘Extending the expressive power of semantic networks,’ Artificial Intelligence 2, 163–198.

    Google Scholar 

  61. Searle, J. (ed.): 1971, The Philosophy of Language, Oxford University Press, Oxford.

    Google Scholar 

  62. Sembi, B. S., and Mamdani, E. H.: 1979, ‘On the nature of implication in fuzzy logic,’ Proc. 9th Int. Symp. on Multiple-Valued Logic, Bath, England, 143–151.

    Google Scholar 

  63. Simon, H. A.: 1973, ‘The structure of ill structured problems,’ Artificial Intelligence 4, 181–201.

    Article  Google Scholar 

  64. Staal, J. F.: 1969, ‘Formal logic and natural languages,’ Foundations of Language 5, 256–284.

    Google Scholar 

  65. Stitch, S. P.: 1975, ‘Logical form and natural language,’ Phil Studies 28, 397–418.

    Article  Google Scholar 

  66. Sugeno, M.: 1974, ‘Theory of fuzzy integrals and its application,’ Ph.D. thesis, Tokyo Institute of Technology, Japan.

    Google Scholar 

  67. Suppes, P.: 1976, ‘Elimination of quantifiers in the semantics of natural languages by use of extended relation algebras,’ Revue Internationale de Philosophie, 117–118, 243–259.

    Google Scholar 

  68. Tarski, A.: 1956, Logic, Semantics, Metamathematics, Clarendon Press, Oxford.

    Google Scholar 

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

    Google Scholar 

  70. van Fraassen, B. C.: 1971, Formal Semantics and Logic, Macmillan, New York.

    Google Scholar 

  71. Wenstop, F.: 1976, ‘Deductive verbal models of organizations,’ Int. J. Man-Machine Studies 8, 293–311.

    Article  Google Scholar 

  72. Wheeler, S. C.: 1975, ‘Reference and vagueness,’ Synthese 30, 367–380.

    Article  Google Scholar 

  73. Woods, W. A.: 1975, ‘What is in a link: foundations for semantic networks,’ Representation and Understanding, (D. B. Bobrow and A. Collins, eds.), Academic Press, New York, 35–82.

    Google Scholar 

  74. Zadeh, L. A.: 1972, ‘Fuzzy languages and their relation to human and machine intelligence,’ Proc. Int. Conf. on Man and Computer, Bordeaux, France, S. Karger, Basel, 130–165.

    Google Scholar 

  75. Zadeh, L. A.: Jan. 1973, ‘Outline of a new approach to the analysis of complex systems and decision processes,’ IEEE Trans. Systems, Man and Cybernetics SMC-3, 28–44.

    Google Scholar 

  76. Zadeh, L. A.: 1975, ‘Calculus of fuzzy restrictions,’ Fuzzy Sets and Their Applications to Cognitive and Decision Processes, (L. A. Zadeh, K. S. Fu, K. Tanaka and M. Shimura, eds.), Academic Press, New York, 1–39.

    Google Scholar 

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

    Article  Google Scholar 

  78. Zadeh, L. A.: 1975, ‘The concept of a linguistic variable and its application to approximate reasoning,’ Inf. Sci. 8, Part I, 199–249; Inf. Sci. 8, Part II, 301–357; Inf. Sci. 9, part III, 43–80.

    Article  Google Scholar 

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

    Google Scholar 

  80. Zadeh, L. A.: 1978, ‘Fuzzy sets as a basis for a theory of possibility,’ Fuzzy Sets and Systems 1, 3–28.

    Article  Google Scholar 

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

    Article  Google Scholar 

  82. Zadeh, L. A.: 1979, ‘Possibility theory and soft data analysis,’ Mathematical Frontiers of the Social and Policy Sciences, (L. Cobb and R. M. Thrall, eds.), Westview Press, Boulder, 69–129.

    Google Scholar 

  83. Zadeh, L. A.: 1981, ‘Test-score semantics for natural languages and meaning-representation via PRUF,’ Empirical Semantics, (B. B. Rieger, ed.), Brockmeyer, Bochum, 281–349.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 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. Center for Cognitive Science, M.I.T., USA

    Lucia Vaina

  2. Computer Science Department, Boston University, USA

    Lucia Vaina

  3. Department of Philosophy, Florida State University, USA

    Jaakko Hintikka

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Zadeh, L.A. (1984). Precisiation of Meaning via Translation into PRUF. In: Vaina, L., Hintikka, J. (eds) Cognitive Constraints on Communication. Synthese Language Library, vol 18. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9188-6_21

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-9188-6_21

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-277-1949-2

  • Online ISBN: 978-94-010-9188-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation