Abstract
The search for foundations for fuzzy set theory that are both mathematically elegant and general enough to encompass the practical applications of fuzzy sets has been a long process. Currently the most well-known formalisms are those based on category theory [3]. These category-theoretic formulations, in terms of quasi-topoi [4], are quite complex however, and may be difficult to use for those without expertise in category theory. In contrast, the more pragmatic approach of [11] leads to strong restrictions on the semantics that can be used, essentially requiring that formulae are always evaluated by using the Lukasiewicz valuation. This paper presents the results of work which has provided a simple, set-theoretic basis for the foundations of fuzzy sets. This is achieved by the use of residuated logic, which generalises intuitionistic predicate logic, and it encompasses a wide range of common semantic valuations for fuzzy logic. A set theory is built on top of this underlying logic, using the method of [6] to build a cumulative hierarchy of fuzzy sets. There is an interpretation of classical set theory into the resulting theory.
We give examples of applications of this theory to constraint-based reasoning, to the integration of probabilistic and possibilistic reasoning, and to proximity-based classification. Issues of the psychological credibility of fuzzy sets will also be addressed.
Preview
Unable to display preview. Download preview PDF.
References
Halpern J.Y., An Analysis of First-Order Logics of Probability, Artificial Intel-ligence 46 (1990), pp. 311–350.
Harrington L.A., (Ed.), Harvey Friedman's Research on the Foundations of Mathematics, Studies in Logic Vol. 117 (North-Holland 1985).
Höhle U., Stout L.N., Foundations of Fuzzy Sets, Fuzzy Sets and Systems 40 (1991), pp. 257–296.
Goldblatt R., Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam, 1980.
Greyson R., Heyting valued models for Intuitionistic Set Theory, Applications of Sheaves, Lecture Notes in Mathematics Vol. 753, Springer-Verlag 1979, pp 402–414.
Lano K., Intuitionistic Modal Logic and Set Theory, Journal of Symbolic Logic, Vol 56, No 2, June 1991.
Lano K., A Constraint-Based Fuzzy Inference System, EPIA '91, Lecture Notes in Artificial Intelligence Vol 541, Barahona P., Porto A., Pereira L., (Eds), Springer-Verlag 1991.
Lano K., Mathematical Frameworks for Vagueness and Approximate Reasoning, PhD Thesis, Bristol University, 1989.
Lano K., Combining Object-Oriented Representations of Concepts with Proximity to Conceptual Prototypes, Proceedings of IEEE CompEuro '92 Conference.
Monk D., Mathematical Logic, North Holland, 1979.
Novák V., Pedrycz W., Fuzzy Sets and t-norms in the light of Fuzzy Logic, in Machine Learning and Uncertain Reasoning, Gains B., Boose J., (Eds), Vol. 3 of series in Knowledge-Based Systems, Academic Press, 1990.
Paris J.B., Vencovska A., On the Applicability of Maximum Entropy to Inexact Reasoning, International Journal of Approximate Reasoning Vol 3, No. 1.
Porter B. W., Bareiss R., Holte R. C., Concept Learning and Heuristic Classification in Weak-Theory Domains, Artificial Intelligence 45 (1990) 229–263.
Pultr A., Fuzziness and Fuzzy Equality, Aspects Of Vagueness, Ed H.Skala, S.Termini, E.Trillas, (D.Reidel 1984) pp 119–135.
Shostak R., The Sup-Inf method for Proving Pressburger Formulae, JACM Vol. 24, No. 4, October 1977, pp 529–543.
Tonn B.E., Goeltz R.T., Psychological Validity of Uncertainty Combining Rules in Expert Systems, Expert Systems, May 1990, Vol 7, No 2, pp. 94–101.
Zhang Jinwen, Fuzzy Set Structure with Strong Implication, in H.Wang (Ed.), Advances in Fuzzy Sets, Possibility Theory and Applications, (Plenum Press, 1983) pp 107–136.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lano, K. (1992). Set theoretic foundations for fuzzy set theory, and their applications. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023880
Download citation
DOI: https://doi.org/10.1007/BFb0023880
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive