The Theory and Applications of Generalized Complex Fuzzy Propositional Logic

The current definition of complex fuzzy logic has two limitations. First, the derivation uses complex fuzzy relations; hence, it assumes the existence of complex fuzzy sets. Second, current theory is based on a restricted polar representation of complex fuzzy proposition, where only one component of a complex fuzzy proposition carries fuzzy information. In this chapter we present a novel form of complex fuzzy logic. The new theory, referred to as generalized complex fuzzy logic, overcomes the limitations of the current theory and provides several advantages. First, the derivation of the new theory is based on axiomatic approach and does not assume the existence of complex fuzzy sets or complex fuzzy classes. Second, the new form supports Cartesian and polar representation of complex logical propositions with two components of fuzzy information. Hence, the new form significantly improves the expressive power and inference capability of complex fuzzy logic. Finally, the new form is compatible with (yet independent of) the definition of complex fuzzy classes; thereby providing further improvement in the expressive power and inference capability. The chapter surveys the current state of complex fuzzy sets, complex fuzzy classes, and complex fuzzy logic; and provides a new and generalized complex fuzzy propositional logic theory. The new theory has potential for usage in advanced complex fuzzy logic systems and latent for extension into multidimensional fuzzy propositional and predicate logic. Moreover, it can be used for inference with type 2 (or higher) fuzzy sets. Furthermore, the introduction of complex logic can be used for analysis of periodic temporal fuzzy processes where the period is fuzzy.

[1]  S. Dick,et al.  Towards Inductive Learning of Complex Fuzzy Inference Systems , 2007, NAFIPS 2007 - 2007 Annual Meeting of the North American Fuzzy Information Processing Society.

[2]  Petr Cintula,et al.  Fuzzy class theory , 2005, Fuzzy Sets Syst..

[3]  J. Buckley Fuzzy complex numbers , 1989 .

[4]  A. Kandel Fuzzy Mathematical Techniques With Applications , 1986 .

[5]  H Guterman,et al.  Hybrid model building methodology using unsupervised fuzzy clustering and supervised neural networks. , 2002, Biotechnology and bioengineering.

[6]  Henry Leung,et al.  The complex backpropagation algorithm , 1991, IEEE Trans. Signal Process..

[7]  Zhang Guang-quan Fuzzy limit theory of fuzzy complex numbers , 1992 .

[8]  Noest Discrete-state phasor neural networks. , 1988, Physical review. A, General physics.

[9]  P. Hájek Fuzzy logic and arithmetical hierarchy , 1995 .

[10]  Kazutoshi Sakakibara,et al.  Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[11]  Qing Liu,et al.  Granular computing approach to finding association rules in relational database , 2010 .

[12]  Yehoshua Bar-Hillel,et al.  Foundations of Set Theory , 2012 .

[13]  Francesc Rosselló,et al.  Scalar and fuzzy cardinalities of crisp and fuzzy multisets , 2009 .

[14]  Abraham Kandel,et al.  Complex fuzzy logic , 2003, IEEE Trans. Fuzzy Syst..

[15]  Abraham Kandel,et al.  A Comparative Study of Artificial Neural Networks and Info-Fuzzy Networks as Automated Oracles in Software Testing , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[16]  A. Kandel,et al.  Linguistic coordinate transformations for complex fuzzy sets , 1999, FUZZ-IEEE'99. 1999 IEEE International Fuzzy Systems. Conference Proceedings (Cat. No.99CH36315).

[17]  Abraham Kandel,et al.  Axiomatic Theory of Complex Fuzzy Logic and Complex Fuzzy Classes , 2011, Int. J. Comput. Commun. Control.

[18]  Howard E. Michel,et al.  Artificial Neural Networks Using Complex Numbers and Phase Encoded Weights—Electronic and Optical Implementations , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[19]  Dr. Hans Hellendoorn,et al.  An Introduction to Fuzzy Control , 1996, Springer Berlin Heidelberg.

[20]  Joseph Y. Halpern Reasoning about uncertainty , 2003 .

[21]  Sheng-quan Ma,et al.  Fuzzy Complex Value Measure and Fuzzy Complex Value Measurable Function , 2008, ACFIE.

[22]  J. Buckley Fuzzy complex analysis II: integration , 1992 .

[23]  J. Buckley,et al.  Solving linear and quadratic fuzzy equations , 1990 .

[24]  Abraham Kandel,et al.  Knowledge discovery in time series databases , 2001, IEEE Trans. Syst. Man Cybern. Part B.

[25]  Yehoshua Bar-Hillel,et al.  Foundations of Set Theory [by] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the Collaboration of Dirk van Dalen. -- , 1973 .

[26]  Abraham Kandel,et al.  An axiomatic approach to fuzzy set theory , 1990, Inf. Sci..

[27]  Akira Hirose,et al.  Complex-Valued Neural Networks , 2006, Studies in Computational Intelligence.

[28]  Abraham Kandel,et al.  Fuzzy Semantic Analysis and Formal Specification of Conceptual Knowledge , 1995, Inf. Sci..

[29]  Abraham Kandel,et al.  Complex fuzzy sets , 2002, IEEE Trans. Fuzzy Syst..

[30]  P. Cintula Advances in the ŁΠ and logics , 2003 .

[31]  J. Buckley,et al.  Fuzzy complex analysis I: differentiation , 1991 .

[32]  Abraham Kandel,et al.  A new interpretation of complex membership grade , 2011, Int. J. Intell. Syst..

[33]  Franco Montagna,et al.  On the predicate logics of continuous t-norm BL-algebras , 2005, Arch. Math. Log..

[34]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[35]  Preeti Bajaj,et al.  Implementation of Complex Fuzzy Logic Modules with VLSI Approach , 2008 .

[36]  Tharam S. Dillon,et al.  Operation properties and delta-equalities of complex fuzzy sets , 2009, Int. J. Approx. Reason..

[37]  Petr Cintula,et al.  Weakly Implicative (Fuzzy) Logics I: Basic Properties , 2006, Arch. Math. Log..

[38]  Scott Dick,et al.  ANCFIS: A Neurofuzzy Architecture Employing Complex Fuzzy Sets , 2011, IEEE Transactions on Fuzzy Systems.

[39]  J. Buckley,et al.  Solving fuzzy equations: a new solution concept , 1991 .

[40]  Vladik Kreinovich,et al.  Complex fuzzy sets: towards new foundations , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[41]  Helmut Veith,et al.  Complexity of t-tautologies , 2001, Ann. Pure Appl. Log..

[42]  P. Radha Krishna,et al.  A new approach to mining fuzzy databases using nearest neighbor classification by exploiting attribute hierarchies , 2004 .

[43]  Jiqing Qiu,et al.  Some remarks for fuzzy complex analysis , 1999, Fuzzy Sets Syst..

[44]  Lotfi A. Zadeh,et al.  Fuzzy Logic and Its Application to Approximate Reasoning , 1974, IFIP Congress.

[45]  Scott Dick,et al.  Toward complex fuzzy logic , 2005, IEEE Transactions on Fuzzy Systems.

[46]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[47]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .