Skip to main content
SpringerLink
Log in

Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations

  • Published:
Reliable Computing

Abstract

The global structure of various systems of logic connectives is investigated by looking at abstract group properties of the group of transformations of these. Such characterizations of fuzzy interval logics are examined in Sections 4–9. The paper starts by introducing readers to the Checklist Paradigm semantics of fuzzy interval logics (Sections 2 and 3). In the Appendix we present some basic notions of fuzzy logics, sets and many-valued logics in order to make the paper accessible to readers not familiar with fuzzy sets.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bandler, W. and Kohout, L. J.: Fuzzy Power Sets and Fuzzy Implication Operators, Fuzzy Sets and Systems 4 (1980), pp. 13–30. Reprinted in: Dubois, D., Prade, H., and Yager, R. (eds), Readings in Fuzzy Sets for Intelligent Systems, Morgan Kaufmann Publishers, San Mateo, 1993, pp. 88–96.

    Google Scholar 

  2. Bandler, W. and Kohout, L. J.: Fuzzy Relational Products and Fuzzy Implication Operators, in: International Workshop on Fuzzy Reasoning Theory and Applications, Queen Mary College, University of London, London, 1978.

    Google Scholar 

  3. Bandler, W. and Kohout, L. J.: Semantics of Implication Operators and Fuzzy Relational Products, Internat. Journal of Man-Machine Studies 12 (1980), pp. 89–116. Reprinted in: Mamdani, E. H. and Gaines, B. R. (eds), Fuzzy Reasoning and Its Applications, Academic Press, London, 1981, pp. 219–246.

    Google Scholar 

  4. Bandler, W. and Kohout, L. J.: The Interrelations of the Principal Fuzzy Logical Operators, in: Gupta, M. M., Kandel, A., Bandler, W., and Kiszka, J. B. (eds), Approximate Reasoning in Expert Systems, North-Holland, Amsterdam, 1985, pp. 767–780.

    Google Scholar 

  5. Bandler, W. and Kohout, L. J.: The Use of Checklist Paradigm in Inference Systems, in: Negoita, C. V. and Prade, H. (eds), Fuzzy Logic in Knowledge Engineering, Verlag TÜV Rheinland, Köln, 1986, Chapter 7, pp. 95–111.

    Google Scholar 

  6. Bandler, W. and Kohout, L. J.: Unified Theory of Multiple-Valued Logical Operators in the Light of the Checklist Paradigm, in: Proc. of the 1984 IEEE Conference on Systems, Man and Cybernetics, IEEE, New York, 1984, pp. 356–364.

    Google Scholar 

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

    Google Scholar 

  8. Hájek, P.: Metamathematics of Fuzzy Logics, Kluwer Academic Publishers, Dordrecht, 1998.

    Google Scholar 

  9. Klement, E. P. and Mesiar, R.: Triangular Norms, in: Mesiar, R. and Riečan, B. (eds), Tatra Mountains, Mathematical Publications (Special Issue: Fuzzy Structures—Current Trends), Mathematical Institute Slovak Academy of Sciences, Bratislava, 1997, pp. 169–194.

    Google Scholar 

  10. Klir, G. J. and Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice Hall, Englewood Cliffs, 1995.

    Google Scholar 

  11. Kohout, L. J.: Checklist Paradigm Semantics for Fuzzy Logics, in: Pardalos, P. M. and Floudas, C. A. (eds), The Encyclopedia of Optimization, vol. I,A–D, Kluwer Academic Publishers, Boston, 2001, pp. 237–246.

    Google Scholar 

  12. Kohout, L. J.: Epistemological Aspects of Many-Valued Logics and Fuzzy Structures, in: Höhle, U. and Klement, E. P. (eds), Non-Classical Logics and Their Applications to Fuzzy Subsets: A Handbook of Mathematical Foundations of Fuzzy Set Theory, Kluwer Academic Publishers, Dordrecht and Boston, 1995, chapter 11, pp. 291–339.

    Google Scholar 

  13. Kohout, L. J. and Bandler, W.: Checklist Paradigm and Group Transformations, Technical Note EES-MMS-ckl91.2, Dept. of Electrical Engineering, University of Essex, 1979.

  14. Kohout, L. J. and Bandler, W.: How the Checklist Paradigm Elucidates the Semantics of Fuzzy Inference, in: Proc. of the IEEE Internat. Conference on Fuzzy Systems 1992, IEEE, New York, 1992, pp. 571–578.

    Google Scholar 

  15. Kohout, L. J. and Bandler, W.: Interval-Valued Systems for Approximate Reasoning Based on the Checklist Paradigm, in: Wang, P. (ed.), Advances in Fuzzy Theory and Technology, vol. 1, Bookwrights Press, Durham, 1993, pp. 167–193.

    Google Scholar 

  16. Kohout, L. J. and Bandler, W.: Modes of Interval-Based Plausible Reasoning Viewed via the Checklist Paradigm, in: Bouchon-Meunier, B., Valverde, L., and Yager, R. R. (eds), IPMU'92 Advanced Methods in Artificial Intelligence, Lecture Notes in Computer Science 682, Springer, Berlin, 1993, pp. 256–264.

    Google Scholar 

  17. Kohout, L. J. and Kim, E.: Global Characterization of Fuzzy Logic Systems with Para-Consistent and Grey Set Features, in: Wang, P. (ed.), Proc. 3rd Joint Conf. on Information Sciences JCIS'97 (5th Int. Conf. on Fuzzy Theory and Technology), Volume 1—Fuzzy Logic, Intelligent Control and Genetic Algorithms, Duke University, Research Triangle Park, 1997, pp. 238–241.

    Google Scholar 

  18. Kohout, L. J. and Stabile, I.: Interval-Valued Inference in Medical Knowledge-Based System Clinaid, Interval Computations 2(3) (1993), pp. 88–115.

    Google Scholar 

  19. Kohout, L. J., Stabile, I., Bandler, W., and Anderson, J.: Clinaid: Medical Knowledge-Based System Based on Fuzzy Relational Structures, in: Cohen, M. and Hudson, D. (eds), Comparative Approaches in Medical Reasoning, World Scientific, 1995, pp. 1–25.

  20. Pinkava, V.: Introduction to Logic for System Modelling, Gordon and Breach, London and New York, 1988.

    Google Scholar 

  21. Rescher, N.: Many-Valued Logic, McGraw-Hill, New York, 1969.

    Google Scholar 

  22. Schweizer, B. and Sklar, A.: Probabilistic Metric Spaces, North Holland, New York, 1983.

    Google Scholar 

  23. Turksen, I. B.: Containment and Klein Groups of Fuzzy Propositions, Working Paper 79-010, Dept. of Industrial Eng., University of Toronto, 1979.

  24. Turksen, I. B.: Klein Groups in Fuzzy Inference, in: Proc. of the American Control Conference, American Automatic Control Council, 1984, pp. 556–560.

  25. van Benthem, J.: General Dynamic Logic, in: Gabbay, D. M. (ed.), What Is a Logical System, Oxford University Press, Oxford, 1994, Chapter 4, pp. 107–139.

    Google Scholar 

  26. Zadeh, L. A.: Fuzzy Sets, Information and Control 8 (1965), pp. 338–353.

    Google Scholar 

  27. Zadeh, L. A.: Fuzzy Sets: Selected Papers II, edited by Klir, G. and Yuan, B., World Scientific, New York, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Florida State University, Tallahassee, FL, 32306-4530, USA, e-mail

    Ladislav J. Kohout

  2. Department of Computer Science, John D. Odegard School of Aerospace Science, University of North Dakota, Grand Forks, ND, 58202-9015, USA, e-mail

    Eunjin Kim

Authors
  1. Ladislav J. Kohout
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eunjin Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kohout, L.J., Kim, E. Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations. Reliable Computing 10, 299–334 (2004). https://doi.org/10.1023/B:REOM.0000032116.98264.16

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:REOM.0000032116.98264.16

Keywords

Search

Navigation