Abstract
A disposition may be interpreted is a proposition which is preponderantly, but not necessarily always, true. In this sense, birds can fly is a disposition, as are the propositions Swedes are blond, snow is white and slimness is attractive.
An idea which underlies the theory described in this paper is that a disposition may be viewed as a proposition with implicit fuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, usually, etc. For example, birds can fly may be interpreted as the result of suppressing the fuzzy quantifier most in the proposition most birds can fly. Similarly, young men like young women may be read as most young men like mostly young women. The process of transforming a disposition into a proposition with explicit fuzzy quantifiers is referred to as explicitation or restoration.
Explicitation sets the stage for representing the meaning of a disposition through the use of test-score semantics (Zadeh, 1978, 1982). In this approach to semantics, a proposition, p, is viewed as a collection of interrelated elastic constraints, and the meaning of p is represented as a procedure which tests, scores and aggregates the constraints which are induced by p.
The paper closes with a description of an approach to reasoning with dispositions which is based on the concept of a fuzzy syllogism. Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on the management of uncertainty in expert systems. As a simple application of the techniques described in this paper, we formulate a definition of typicality and establish a connection between the typical and usual values of a variable.
To Didier Dubois and Henri Prade. Research supported in part by NASA Grant NCC2-275, and NSF Grants IST-8320416 and DCR-8513139.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References and Related Publications
Barwise, J., and Cooper, R., Generalized quantifiers and natural language, Linguistics and Philosophy 4 (1981) 159–219.
Bellman, R.E., and Zadeh, L.A., Local and fuzzy logics, in: Modern Uses of Multiple-Valued Logic, Epstein, G., (ed.). Dordrecht: Reidel, 103–165, 1977.
Brachman, R.J., and Smith, B.C., Special Issue on Knowledge Representation, SIGART 70, 1980.
Buchanan, B.G., and Shortliffe, E.H., Rule-Based Expert Systems. Reading: Addison-Wesley, 1984.
Carnap, R., The methodological character of theoretical concepts, in: Minnesota Studies in the Philosophy of Science, Fiegl, H. and Scriven, M. (eds.), 38–76, 1956.
Cresswell, M.J., Logic and Languages. London: Methuen, 1973.
Cushing, S., Quantifier Meanings—A Study in the Dimensions of Semantic Compentence. Amsterdam: North-Holland, 1982.
Dubois, D., and Prade, H., Fuzzy Sets and Systems: Theory and Applications. New York: Academic Press, 1980.
Goguen, J.A., The logic of inexact concepts, Synthese 19 (1969) 325–373.
Hacking, I., Logic of Statistical Inference. Cambridge: Cambridge University Press, 1965.
Hempel, C.G., Maximal specificity and law-likeness, Philosophy of Science 35 (1968) 116–133.
Hintikka, J., Statistics, induction and law-likeness, Synthese 20 (1969) 72–83.
Jeffrey, R.C., The Logic of Decision. New York: McGraw-Hill, 1965.
Kaufmann, A., and Gupta, M., Introduction to Fuzzy Arithmetic. New York: Van Nostrand, 1985.
Keenan, E.L., Quantifier structures in English, Foundations of Language 7 (1971) 255–336.
Kyburg, H.E., Probability and Inductive Logic. New York: McMillan, 1970.
Mamdani, E.H., and Gaines, B.R., Fuzzy Reasoning and its Applications. London: Academic Press, 1981.
McCarthy, J., Circumscription: A nonmonotonic inference rule, Artificial Intelligence 13 (1980) 27–40.
McCawley, J.D., Everything that Linguists have Always Wanted to Know about Logic. Chicago: University of Chicago Press, 1981.
McDermott, D.V., and Doyle, J., Nonmonotonic logic, I. Artificial Intelligence 13 (1980) 41–72.
McDermott, D.V., Non-monotoniclogic, II: Non-monotonic modal theories, J. Assoc. Comp. Mach. 20 (1982) 33–57.
Mellor, D.H., Matter of Chance. Cambridge: Cambridge University Press, 1971.
Mellor, D.H., Science, Belief and Behavior. Cambridge: Cambridge University Press, 1980.
Miller, G.A., and Johnson-Laird, P.N., Language and Perception. Cambridge: Harvard University Press, 1976.
Moore, R.E., Interval Analysis. Engle-wood Cliffs: Prentice-Hall, 1966.
Osherson, D.N., and Smith, E.E., On the adequacy of prototype theory as a theory of concepts, Cognition 9 (1981) 59–72.
Peterson, P., On the logic of few, many and most, Notre Dame J. Formal Logic 20 (1979) 155–179.
Reiter, R., and Criscuolo, G., Some representational issues in default reasoning, Computers and Mathematics 9 (1983) 15–28.
Rescher, N., Plausible Reasoning. Amsterdam: Van Gorcum, 1976.
Rosch, E., Principles of categorization, in: Cognition and Categorization, Rosch, E. and Lloyd, B.B., (eds.). Hillsdale, NJ: Erlbaum, 1978.
Searle, J., Expression and Meaning. Cambridge: Cambridge University Press, 1979.
Smith, E., and Medin, D.L., Categories and Concepts. Cambridge: Harvard University Press, 1981.
Suppes, P., A Probabilistic Theory of Causality. Amsterdam: North-Holland, 1970.
Yager, R.R., 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, 1980.
Yager, R.R., Reasoning with fuzzy quantified statements—I, Kybernetes 114 (1985) 233–240.
Zadeh, L.A., Similarity relations and fuzzy orderings, Information Sciences 3 (1971) 177–200.
Zadeh, L.A., Fuzzy sets and their application to pattern classification and clustering analysis, in: Classification and Clustering, Ryzin, J., (ed.). New York: Academic Press, 251–299, 1977.
Zadeh, L.A., PRUF—A meaning representation language for natural languages, Inter. J. Man-Machine Studies 10 (1978) 395–460.
Zadeh, L.A., A note on prototype theory and fuzzy sets, Cognition 12 (1982) 291–297.
Zadeh, L.A., Test-score semantics for natural languages and meaning-representation via PRUF, Proc. COL-ING 82, Prague, 425–430, 1982. Full text in: Empirical Semantics, Rieger, B.B., (ed.). Bochum: Brockmeyer, 281-349, 1982.
Zadeh, L.A., A computational approach to fuzzy quantifiers in natural languages, Computers and Mathematics 9 (1983a) 149–184.
Zadeh, L.A., A fuzzy-set-theoretic approach to the compositionality of meaning: Propositions, dispositions and canonical forms, Journal of Semantics 3 (1983b) 253–272.
Zadeh, L.A., Fuzzy logic as a basis for the management of uncertainty in expert systems, Fuzzy Sets and Systems 11 (1983c) 199–227.
Zadeh, L.A., A theory of commonsense knowledge, in: Aspects of Vagueness, Skala, H.J., Termini, S. and Trillas, E., (eds.). Dordrecht: Reidel, 1984.
Zadeh, L.A., Fuzzy Sets, Usuality and Commonsense Reasoning, Berkeley Cognitive Science Report No. 32, 1985. To appear in Matters of Intelligence, L. Vaina (ed.), Dordrecht: Reidel, 1986.
Zadeh, L.A., Syllogistic reasoning in fuzzy logic and its application to reasoning with dispositions, in Proceedings of the 1984 International Symposium on Multiple-Valued Logic, 148–153, Winnipeg, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zadeh, L.A. (1988). A Computational Theory of Dispositions. In: Turksen, I.B., Asai, K., Ulusoy, G. (eds) Computer Integrated Manufacturing. NATO ASI Series, vol 49. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83590-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-83590-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83592-6
Online ISBN: 978-3-642-83590-2
eBook Packages: Springer Book Archive