Abstract
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout [1] [2]. While the early papers dealt with checklist paradigm based interval systems containing commutative AND and OR, this paper is the fifth in the series of papers in which we have been describing the systems in which these connective types are non-commutative. In the present paper we investigate non-commutative interval system generated from implication operators based on the Checklist Paradigm measure m 3 of Bandler and Kohout. This system includes the well-known Early Zadeh implication operator (PLY) which is not contrapositive. While the commutative systems can be sufficiently characterized by an 8-element group of transformations, the non-commutative systems require the 16 element group \({\mathcal S}_{2 \times 2 \times 2 \times 2}\).
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
Kohout, L.J., Bandler, W.: Interval-valued systems for approximate reasoning based on the checklist paradigm. In: Wang, P.P. (ed.) Advances in Fuzzy Theory and Technology, vol. 1, pp. 167–193. Bookwrights Press, Durham (1993)
Kohout, L., Stabile, I.: Interval-valued inference in medical knowledge-based system Clinaid. Interval Computations 2(3), 88–115 (1993)
Bandler, W., Kohout, L.: Semantics of implication operators and fuzzy relational products. Internat. Journal of Man-Machine Studies 12, 89–116 (1980), Reprinted in: Mamdani, E.H., Gaines, B.R. (eds.) Fuzzy Reasoning and its Applications. Academic Press, London, pp. 219–246 (1981)
Bandler, W., Kohout, L.: 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, pp. 356–364. IEEE, New York (1984)
Bandler, W., Kohout, L.: The interrelations of the principal fuzzy logical operators. In: Gupta, M., Kandel, A., Bandler, W., Kiszka, J. (eds.) Approximate Reasoning in Expert Systems, pp. 767–780. North-Holland, Amsterdam (1985)
Bandler, W., Kohout, L.: The use of checklist paradigm in inference systems. In: Negoita, C., Prade, H. (eds.) Fuzzy Logic in Knowledge Engineering, pp. 95–111. Verlag TÜV Rheinland, Köln (1986)
Kohout, L., Kim, E.: Characterization of interval fuzzy logic systems of connectives by group transformations. Reliable Computing 10, 299–334 (2004)
Kohout, L., Bandler, W.: Checklist paradigm and group transformations. Technical Note EES-MMS-ckl91.2, Dept. of Electrical Engineering, University of Essex. U.K. (1979)
Kohout, L., Bandler, W.: How the checklist paradigm elucidates the semantics of fuzzy inference. In: Proc. of the IEEE Internat. Conference on Fuzzy Systems, pp. 571–578. IEEE, New York (1992)
Kohout, L., 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), Research Triangle Park, NC, Duke University, March 1997. Fuzzy Logic, Intelligenr Control and Genetic Algorithms, vol. 1 (1997)
Hájek, P.: A remark on Bandler-Kohout products of relations. Internat. Journal of General Systems 25(2), 165–166 (1996)
Kohout, L., Kim, E.: Group transformations of systems of logic connectives. In: Proc. of IEEE-FUZ’97, vol. 1, July 1997, pp. 157–162. IEEE, New York (1997)
Kohout, L., Bandler, W.: Fuzzy interval inference utilizing the checklist paradigm and BK-relational products. In: Kearfott, R., Kreinovich, V. (eds.) Applications of Interval Computations, pp. 291–335. Kluwer, Boston (1996)
Kohout, L., Kim, E.: Non-commutative fuzzy interval logics with approximation semantics based on the checklist paradigm and their group transformations. In: Proc. of FUZZ-IEEE2005 (CD-ROM), May 2005, IEEE, Piscataway (2005)
Kohout, L., Kim, E.: Fuzzy interval logic system m2 with non-commutative and and or containing goguen-gaines implication. WSEAS Transactions on Systems 4 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Kim, E., Kohout, L.J. (2007). Non-commutative System of Fuzzy Interval Logic Generated by the Checklist Paradigm Measure m 3 Containing Early Zadeh Implication. In: Melin, P., Castillo, O., Aguilar, L.T., Kacprzyk, J., Pedrycz, W. (eds) Foundations of Fuzzy Logic and Soft Computing. IFSA 2007. Lecture Notes in Computer Science(), vol 4529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72950-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-72950-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72917-4
Online ISBN: 978-3-540-72950-1
eBook Packages: Computer ScienceComputer Science (R0)