Retraction and Generalized Extension of Computing With Words

Fuzzy automata, whose input alphabet is a set of numbers or symbols, are a formal model of computing with values. Motivated by Zadeh's paradigm of computing with words rather than numbers, Ying proposed a kind of fuzzy automata, whose input alphabet consists of all fuzzy subsets of a set of symbols, as a formal model of computing with all words. In this paper, we introduce a somewhat general formal model of computing with (some special) words. The new features of the model are that the input alphabet only comprises some (not necessarily all) fuzzy subsets of a set of symbols and the fuzzy transition function can be specified arbitrarily. By employing the methodology of fuzzy control, we establish a retraction principle from computing with words to computing with values for handling crisp inputs and a generalized extension principle from computing with words to computing with all words for handling fuzzy inputs. These principles show that computing with values and computing with all words can be respectively implemented by computing with words. Some algebraic properties of retractions and generalized extensions are addressed as well.

[1]  Stephen Yurkovich,et al.  Fuzzy Control , 1997 .

[2]  Huaiqing Wang,et al.  A probabilistic model of computing with words , 2005, J. Comput. Syst. Sci..

[3]  Lotfi A. Zadeh,et al.  A New Direction in AI: Toward a Computational Theory of Perceptions , 2001, AI Mag..

[4]  Alex Meystel,et al.  CHAPTER 1 – Outline of a Computational Theory of Perceptions Based on Computing with Words , 2000 .

[5]  Lotfi A. Zadeh.  From Computing with Numbers to Computing with Words - From Manipulation of Measurements to Manipulation of Perceptions , 2000, Intelligent Systems and Soft Computing.

[6]  Siegfried Gottwald,et al.  Applications of fuzzy sets to systems analysis , 1977, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[8]  Francisco Herrera,et al.  A 2-tuple fuzzy linguistic representation model for computing with words , 2000, IEEE Trans. Fuzzy Syst..

[9]  Tatjana Petkovic,et al.  Congruences and homomorphisms of fuzzy automata , 2006, Fuzzy Sets Syst..

[10]  Michael Margaliot,et al.  Fuzzy control of a benchmark problem: a computing with words approach , 2004, IEEE Transactions on Fuzzy Systems.

[11]  Robert Ivor John,et al.  Modeling uncertainty in clinical diagnosis using fuzzy logic , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[12]  Huaiqing Wang,et al.  Computing with words via Turing machines: a formal approach , 2003, IEEE Trans. Fuzzy Syst..

[13]  R. E. Kalman,et al.  Aspects of network and system theory , 1971 .

[14]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[15]  J. F. Baldwin,et al.  Fuzzy Switching and Automata Theory and Applications , 1980 .

[16]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[17]  Yongzhi Cao,et al.  Supervisory control of fuzzy discrete event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[18]  Muhammad Torabi Dashti,et al.  A fuzzy automaton for control applications , 2004, 2004 IEEE International Conference on Fuzzy Systems (IEEE Cat. No.04CH37542).

[19]  Didier Dubois,et al.  Fuzzy sets and systems ' . Theory and applications , 2007 .

[20]  Lotfi A. Zadeh,et al.  Fuzzy logic, neural networks, and soft computing , 1993, CACM.

[21]  Federico Fariña,et al.  Deformed fuzzy automata for correcting imperfect strings of fuzzy symbols , 2003, IEEE Trans. Fuzzy Syst..

[22]  Ronald R. Yager,et al.  On the retranslation process in Zadeh's paradigm of computing with words , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[23]  Robert Babuska,et al.  Perspectives of fuzzy systems and control , 2005, Fuzzy Sets Syst..

[24]  Li-Xin Wang,et al.  A Course In Fuzzy Systems and Control , 1996 .

[25]  M. Ying.  Reasonableness of the compositional rule of fuzzy inference , 1990 .

[26]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[27]  Janusz Kacprzyk,et al.  Computing with Words in Information/Intelligent Systems 1 , 1999 .

[28]  L. Zadeh,et al.  Towards a theory of fuzzy systems , 1996 .

[29]  Yongzhi Cao,et al.  Observability and decentralized control of fuzzy discrete-event systems , 2004, IEEE Transactions on Fuzzy Systems.

[30]  Michael Margaliot,et al.  Fuzzy control of a benchmark problem: a computing with words approach , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[31]  Sylvie Galichet,et al.  Fuzzy control with fuzzy inputs , 2003, IEEE Trans. Fuzzy Syst..

[32]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[33]  Mingsheng Ying,et al.  A formal model of computing with words , 2002, IEEE Trans. Fuzzy Syst..

[34]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

[35]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[36]  Yin Pan,et al.  MP AND INVARIANT MP APPROXIMATIONS OF FUZZY INFERENCE RULES , 1995 .

[37]  Ronald R. Yager,et al.  Defending against strategic manipulation in uninorm-based multi-agent decision making , 2002, Eur. J. Oper. Res..

[38]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[39]  Abraham Kandel,et al.  Fuzzy Switching and Automata: Theory and Applications , 1979 .

[40]  W. Pedrycz,et al.  An introduction to fuzzy sets : analysis and design , 1998 .