Skip to main content
SpringerLink
Log in

Checklist Paradigm Semantics for Fuzzy Logics

  • Reference work entry
Encyclopedia of Optimization

  • 105 Accesses

Article Outline

Keywords

Why the Checklist Paradigm?

  Fuzzy Logics

  Approximate Reasoning

Many-Valued Logics in Fuzzy Sets

The Checklist Paradigm

  Mathematics of the Checklist Paradigm

  Interval Inference and The Checklist Paradigm

  Other Systems of Fuzzy Logic Connectives for Interval Inference

  Optimization of Interval Inference

Other Systems of Checklist Paradigm Connectives

Collapse of Intervals into Points Under the Additional Probabilistic Constraints

Checklist Paradigm and Generalized Quantifiers

Checklist Paradigm and Four Modes of Reasoning

Group Transformations of Logic Connectives and the Checklist Paradigm

  Group Transformations of Logic Connectives and the Checklist Paradigm

  An 8-Element Group of Logic Transformations

  A 16-Element \( \mathcal{S}_{2 \times 2 \times 2\times 2} \) Group of Logic Transformations

Conclusion

See also

References

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 2,500.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 2,499.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

References

  1. Bandler W, Kohout LJ (1978) Fuzzy relational products and fuzzy implication operators. Internat. Workshop on Fuzzy Reasoning Theory and Appl. Queen Mary College Univ. London, London

    Google Scholar 

  2. Bandler W, Kohout LJ (1980) Fuzzy power sets and fuzzy implication operators. Fuzzy Sets and Systems 4:13–30. Reprinted in: Dubois D, Prade H, Yager R (eds) (1993) Readings in Fuzzy Sets for Intelligent Systems. Morgan Kaufmann, San MAteo, CA, pp 88–96

    Article  MATH  MathSciNet  Google Scholar 

  3. Bandler W, Kohout LJ (1980) Semantics of implication operators and fuzzy relational products. Internat J Man-Machine Studies 12:89–116 Reprinted in: Mamdani EH, Gaines BR (eds) (1981) Fuzzy Reasoning and its Applications. Acad Press, New York, pp 219–246

    Article  MATH  MathSciNet  Google Scholar 

  4. Bandler W, Kohout LJ (1984) The four modes of inference in fuzzy expert systems. In: Trappl R (ed) Cybernetics and Systems Res, vol 2. North-Holland, Amsterdam, pp 581–586

    Google Scholar 

  5. Bandler W, Kohout LJ (1984) Unified theory of multiple-valued logical operators in the light of the checklist paradigm. In: Proc 1984 IEEE Conf Systems, Man Cybern, IEEE, New York, pp 356–364

    Google Scholar 

  6. Bandler W, Kohout LJ (1985) The interrelations of the principal fuzzy logical operators. In: Gupta MM Kandel A, Bandler W, Kiszka JB (eds) Approximate Reasoning in Expert Systems. North-Holland, Amsterdam, pp 767–780

    Google Scholar 

  7. Bandler W, Kohout LJ (1985) Probabilistic vs. fuzzy production rules in expert systems. Internat J Man-Machine Studies 22:347–353

    Article  Google Scholar 

  8. Bandler W, Kohout LJ (1986) The use of checklist paradigm in inference systems. In: Negoita CV, Prade H (eds) Fuzzy Logic in Knowledge Engineering. TÜV Rheinland, Köln, pp 95–111

    Google Scholar 

  9. Ben-Ahmeida B, Kohout LJ, Bandler W (1992) The use of fuzzy relational products in comparison and verification of correctness of knowledge structures. In: Kohout LJ, Anderson J, Bandler W (eds) Knowledge-Based Systems for Multiple Environments. Ashgate Publ. (Gower), Aldershot, Hampshire, UK

    Google Scholar 

  10. Dubois D, Prade H (1980) Fuzzy sets and systems: Theory and applications. Acad Press, New York

    MATH  Google Scholar 

  11. Dubois D, Prade H (1991) Fuzzy sets in approximate reasoning, Part I: Inference with possibility distributions. Fuzzy Sets and Systems 40(1):143–202

    Article  MATH  MathSciNet  Google Scholar 

  12. Hájek P (1978) Special issue on GUHA method. Internat J Man-Machine Studies 10(1):1–93 (guest editor).

    Article  Google Scholar 

  13. Hájek P (1981) Special issue on GUHA method. Internat J Man-Machine Studies 15: (guest editor)

    Google Scholar 

  14. Hájek P, Havránek T (1978) Mechanizing hypothesis formation: Mathematical foundations of a general theory. Springer, Berlin

    Google Scholar 

  15. Hájek P, Kohout LJ (1996) Fuzzy implications and generalized quantifiers. Internat J Uncertainty, Fuzziness and Knowledge Based Systems 4(3):225–233

    Article  Google Scholar 

  16. Hisdal E (1990) Infinite-valued logic based of two-valued logic and probability. Pt. 1.4 The TEE model for grades of membership. Inst. Informatics Univ. Oslo Oslo, Oslo

    Google Scholar 

  17. Klement EP, Mesiar R (1997) Triangular norms. In: Mesiar R, Riečan B (eds) Tatra Mountains, Math. Publ. (Special Issue: Fuzzy Structures – Current Trends). 13, Math Inst Slovak Acad Sci Bratislava, Bratislava, pp 169–194

    Google Scholar 

  18. Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic: Theory and applications. Prentice-Hall, Englewood Cliffs, NJ

    MATH  Google Scholar 

  19. Kohout LJ (1990) A perspective on intelligent systems: A framework for analysis and design. Chapman and Hall and v. Nostrand, London–New York

    MATH  Google Scholar 

  20. Kohout LJ (1995) Epistemological aspects of many-valued logics and fuzzy structures. In: Höhle U, Klement EP (eds) Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook of Mathematical Foundations of Fuzzy Set Theory. Kluwer, Dordrecht, pp 291–339

    Google Scholar 

  21. Kohout LJ, Anderson J, Bandler W et al. (1992) Knowledge-based systems for multiple environments. Ashgate Publ. (Gower), Aldershot, Hampshire, UK

    Google Scholar 

  22. Kohout LJ, Bandler W (1979) Checklist paradigm and group transformations. Techn. Note, Dept. Electrical Engin. Univ. Essex, no. EES-MMS-ckl91.2

    Google Scholar 

  23. Kohout LJ, Bandler W (1992) How the checklist paradigm elucidates the semantics of fuzzy inference. Proc. IEEE Internat Conf Fuzzy Systems (1992), IEEE, New York, pp 571–578

    Google Scholar 

  24. Kohout LJ, Bandler W (1992) Modes of plausible reasoning viewed via the checklist paradigm. IPMU'92: Proc. Internat. Conf. Information Processing and the Management of Uncertainty in Knowlege-Based Systems, Mallorca, July 6-10 (1992), Univ. Illes Balears, Palma, Mallorca, Spain, Palma de Mallorca, pp 411–414

    Google Scholar 

  25. Kohout LJ, Bandler W (1992) Use of fuzzy relations in knowledge representation, acquisition and processing. In: Zadeh LA, Kacprzyk J (eds) Fuzzy Logic for the Management of Uncertainty. Wiley, New York, pp 415–435

    Google Scholar 

  26. Kohout LJ, Bandler W (1993) 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, NC, pp 167–193

    Google Scholar 

  27. Kohout LJ, Bandler W (1996) Fuzzy interval inference utilizing the checklist paradigm and BK-relational products. In: Kearfott RB, Kreinovich V (eds) Applications of Interval Computations. Kluwer, Dordrecht, pp 291–335

    Google Scholar 

  28. Kohout LJ, Bandler W (2001) A survey of fuzzy and crisp relations. Lecture Notes Fuzzy Math and Computer Sci Creighton Univ, Omaha, NE

    Google Scholar 

  29. Kohout LJ, Kim E (1997) Global characterization of fuzzy logic systems with para-consistent and grey set features. In: Wang P (ed) Proc 3rd Joint Conf Inform Sci. JCIS'97 (5th Internat Conf on Fuzzy Theory and Techn), 1, Duke Univ., Durham, NC, pp 238–241

    Google Scholar 

  30. Kohout LJ, Kim E (1997) Group transformations of systems of logic connectives. In: Proc. IEEE-FUZ'97, 1, IEEE, New York, pp 157–162

    Google Scholar 

  31. Novák V (1991) On the position of fuzzy sets in modelling of vague phenomena. In: Lowen R, Roubens M (eds) IFSA '91 Brussels: Artificial Intelligence, pp 165–167

    Google Scholar 

  32. Polya G (1954) Mathematics and plausible reasoning. Princeton Univ. Press, Princeton

    Google Scholar 

  33. Prior A (1962) Formal logic. Oxford Univ. Press, Oxford

    MATH  Google Scholar 

  34. Resconi G, Klir GJ, Clair USt (1992) Hierarchical uncetrainty metatheory based upon modal logic. Internat J General Syst

    Google Scholar 

  35. Riečan B, Neubrunn T (1997) Integral, measure, and ordering. Kluwer, Dordrecht

    MATH  Google Scholar 

  36. Schweizer B, Sklar A (1983) Probabilistic metric spaces. North-Holland, Amsterdam

    MATH  Google Scholar 

  37. Turksen IB (1979) Containment and Klein groups of fuzzy propositions. Working Paper Dept. Industr. Engin. Univ. Toronto 79-010

    Google Scholar 

  38. Turksen IB (1986) Interval-valued fuzzy sets based on normal forms. Fuzzy Sets and Systems 20:191–210

    Article  MATH  MathSciNet  Google Scholar 

  39. Turksen IB (1989) Four methods of approximate reasoning with interval-valued fuzzy sets. Internat J Approximate Reasoning 3:121–142

    Article  MATH  Google Scholar 

  40. Türksen IB (1995) Type I and interval-valued type II fuzzy sets and logics. In: Wang PP (ed) Advances in Fuzzy Theory and Techn, vol 3. Duke Univ, Durham, NC, pp 31–81

    Google Scholar 

  41. Vopěnka P (1979) Mathematics in the alternative set theory. Teubner, Leipzig

    MATH  Google Scholar 

  42. Vopěnka P (1991) The philosophical foundations of alternative set theory. Internat J General Syst (Special Issue of Fuzzy Sets and Systems in Czechoslovakia) 20(1):115–126

    MATH  Google Scholar 

  43. Willmott R (1980) Two fuzzier implication operators in the theory of fuzzy power sets. Fuzzy Sets and Systems 4(31–36):31–36

    Article  MATH  MathSciNet  Google Scholar 

  44. Zadeh LA (1965) Fuzzy sets. Inform and Control 8:338–353

    Article  MATH  MathSciNet  Google Scholar 

  45. Zadeh LA (1996) Fuzzy sets: Selected papers II. World Sci, Singapore, edited by Klir G, Yuan B

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department Computer Sci., Florida State University, Tallahassee, USA

    Ladislav J. Kohout

Authors
  1. Ladislav J. Kohout
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Chemical Engineering, Princeton University, Princeton, NJ, 08544-5263, USA

    Christodoulos A. Floudas

  2. Center for Applied Optimization, Department of Industrial and Systems Engineering, University of Florida, Gainesville, FL, 32611-6595, USA

    Panos M. Pardalos

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag

About this entry

Cite this entry

Kohout, L.J. (2008). Checklist Paradigm Semantics for Fuzzy Logics . In: Floudas, C., Pardalos, P. (eds) Encyclopedia of Optimization. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-74759-0_65

Download citation

Publish with us

Policies and ethics

Search

Navigation