Skip to main content
Erschienen in: Journal of Applied Mathematics and Computing 1-2/2016

01.02.2016 | Original Research

Similarity-based minimization of fuzzy tree automata

verfasst von: Somaye Moghari, Mohammad Mehdi Zahedi

Erschienen in: Journal of Applied Mathematics and Computing | Ausgabe 1-2/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper presents a contribution to the problem of similarity-based minimization of deterministic fuzzy finite tree automata (DFFTA). The main question is: how to minimize the number of states of a complete and reduced DFFTA such that the languages of the original automaton and the minimized one be similar but not necessarily equal? Based on extended concepts of fuzzy distance and similarity measures on L-fuzzy sets, we introduce the notion of similarity-based minimal (s-minimal) DFFTA which approximately accepts a fuzzy tree language. Then, a solution for handeling the trade-off between the amount of reduction and the quality of preserving the behavior of system is presented. The paper deals with fuzzy tree automata over complete lattices, but identical results can also be obtained in a more general context for fuzzy tree automata over complete residuated lattices, lattice-ordered monoids, and even for weighted automata over commutative semirings.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Andova, S., Georgievska, S., Trcka, N.: Branching bisimulation congruence for probabilistic systems. Theoret. Comput. Sci. 413, 58–72 (2014)MathSciNetCrossRefMATH Andova, S., Georgievska, S., Trcka, N.: Branching bisimulation congruence for probabilistic systems. Theoret. Comput. Sci. 413, 58–72 (2014)MathSciNetCrossRefMATH
3.
Zurück zum Zitat Baier, C., Hermanns, H., Katoen, J., Wolf, V.: Towardsbisimulation and simulation relations for markov chains. Electro. Notes Theoret. Comput. Sci. 162, 73–78 (2006)CrossRefMATH Baier, C., Hermanns, H., Katoen, J., Wolf, V.: Towardsbisimulation and simulation relations for markov chains. Electro. Notes Theoret. Comput. Sci. 162, 73–78 (2006)CrossRefMATH
4.
Zurück zum Zitat Bozapalidis, S., Bozapalidoy, O.L.: On the recognizability of fuzzy languages i. Fuzzy Sets Syst. 157(17), 2394–2402 (2006)CrossRefMathSciNetMATH Bozapalidis, S., Bozapalidoy, O.L.: On the recognizability of fuzzy languages i. Fuzzy Sets Syst. 157(17), 2394–2402 (2006)CrossRefMathSciNetMATH
5.
Zurück zum Zitat Bozapalidis, S., Bozapalidoy, O.L.: On the recognizability of fuzzy languages ii. Fuzzy Sets Syst. 159(1), 2394–2402 (2008)CrossRefMathSciNet Bozapalidis, S., Bozapalidoy, O.L.: On the recognizability of fuzzy languages ii. Fuzzy Sets Syst. 159(1), 2394–2402 (2008)CrossRefMathSciNet
7.
Zurück zum Zitat Cao, Y., Sun, S.X., Wang, H., Chen, G.: A behavioral distance for fuzzy-transition systems. IEEE Trans. Fuzzy Syst. 21(4), 735–747 (2013)CrossRef Cao, Y., Sun, S.X., Wang, H., Chen, G.: A behavioral distance for fuzzy-transition systems. IEEE Trans. Fuzzy Syst. 21(4), 735–747 (2013)CrossRef
8.
Zurück zum Zitat Ciric, M., Ignjatovic, J., Damljanovic, N., Basic, M.: Bisimulations for fuzzy automata. Fuzzy Sets Syst. 186(1), 100–139 (2012)MathSciNetCrossRefMATH Ciric, M., Ignjatovic, J., Damljanovic, N., Basic, M.: Bisimulations for fuzzy automata. Fuzzy Sets Syst. 186(1), 100–139 (2012)MathSciNetCrossRefMATH
9.
Zurück zum Zitat Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Loding, C., Tison, S., Tommasi, M.: Tree automata: techniques and applications. Online (2007). Available: http://tata.gforge.inria.fr Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Loding, C., Tison, S., Tommasi, M.: Tree automata: techniques and applications. Online (2007). Available: http://​tata.​gforge.​inria.​fr
10.
Zurück zum Zitat Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)CrossRefMATH Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)CrossRefMATH
11.
Zurück zum Zitat Doner, J.E.: Decidability of the weak second-order theory of two successors. Not. Am. Math. Soc. 12(1), 365–368 (1965) Doner, J.E.: Decidability of the weak second-order theory of two successors. Not. Am. Math. Soc. 12(1), 365–368 (1965)
13.
Zurück zum Zitat Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)MATH Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)MATH
15.
Zurück zum Zitat Fallah, M.K., Moghari, S., Nazemi, E., Zahedi, M.M.: Fuzzy ontology based document feature vector modification using fuzzy tree transducer. In: Proceedings of the 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, pp. 38–44 (2008) Fallah, M.K., Moghari, S., Nazemi, E., Zahedi, M.M.: Fuzzy ontology based document feature vector modification using fuzzy tree transducer. In: Proceedings of the 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, pp. 38–44 (2008)
16.
Zurück zum Zitat Ghorani, M., Zahedi, M.M.: Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst. 199, 28–46 (2012)MathSciNetCrossRefMATH Ghorani, M., Zahedi, M.M.: Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst. 199, 28–46 (2012)MathSciNetCrossRefMATH
18.
Zurück zum Zitat Gratzer, G.A.: General Lattice Theory, 2nd edn. Birkhauser, Basel (1998)MATH Gratzer, G.A.: General Lattice Theory, 2nd edn. Birkhauser, Basel (1998)MATH
19.
Zurück zum Zitat Hogberg, J., Maletti, A., May, J.: Backward and forward bisimulation minimization of tree automata. Theoret. Comput. Sci. 410(37), 3539–3552 (2009)MathSciNetCrossRefMATH Hogberg, J., Maletti, A., May, J.: Backward and forward bisimulation minimization of tree automata. Theoret. Comput. Sci. 410(37), 3539–3552 (2009)MathSciNetCrossRefMATH
22.
Zurück zum Zitat Li, Y.M., Pedrycz, W.: Minimizing fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst. 156, 68–92 (2005)MathSciNetCrossRefMATH Li, Y.M., Pedrycz, W.: Minimizing fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst. 156, 68–92 (2005)MathSciNetCrossRefMATH
23.
Zurück zum Zitat Maletti, A.: Minimizing deterministic weighted tree automata. In: Proceedings of the Second International Conference on Language and Automata: Theory and Applications, LNCS, Vol. 5196, Springer, Berlin (2008) Maletti, A.: Minimizing deterministic weighted tree automata. In: Proceedings of the Second International Conference on Language and Automata: Theory and Applications, LNCS, Vol. 5196, Springer, Berlin (2008)
25.
Zurück zum Zitat Moghari, S., Zahedi, M.M., Ameri, R.: Minimization of fuzzy finite tree automata. In: Proceedings of the 6th IMT-GT Conference on Mathematics, Statistics and its Applications (ICMSA2010) Universiti Tunku Abdul Rahman, Kuala Lumpur, Malaysia, pp. 1044–1052 (2010) Moghari, S., Zahedi, M.M., Ameri, R.: Minimization of fuzzy finite tree automata. In: Proceedings of the 6th IMT-GT Conference on Mathematics, Statistics and its Applications (ICMSA2010) Universiti Tunku Abdul Rahman, Kuala Lumpur, Malaysia, pp. 1044–1052 (2010)
26.
Zurück zum Zitat Moghari, S., Zahedi, M.M., Ameri, R.: New direction in fuzzy tree automata. Iran. J. Fuzzy Syst. 8(5), 59–68 (2011)MathSciNetMATH Moghari, S., Zahedi, M.M., Ameri, R.: New direction in fuzzy tree automata. Iran. J. Fuzzy Syst. 8(5), 59–68 (2011)MathSciNetMATH
27.
Zurück zum Zitat Mordeson, J., Malik, D.S.: Fuzzy Discrete Structures, 1st edn. Physica, New York (2000)MATH Mordeson, J., Malik, D.S.: Fuzzy Discrete Structures, 1st edn. Physica, New York (2000)MATH
28.
Zurück zum Zitat Mordeson, J., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall, London (2002)CrossRefMATH Mordeson, J., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall, London (2002)CrossRefMATH
29.
Zurück zum Zitat Nguyen, H.T., Walker, E.A.: A First Course on Fuzzy Logic. CRC Press, Boca Raton (1997)MATH Nguyen, H.T., Walker, E.A.: A First Course on Fuzzy Logic. CRC Press, Boca Raton (1997)MATH
30.
Zurück zum Zitat Pan, H., Li, Y., Cao, Y.: Value approximation of fuzzy systems variables. Int. J. Approx. Reason. 56, 28–42 (2015)MathSciNetCrossRef Pan, H., Li, Y., Cao, Y.: Value approximation of fuzzy systems variables. Int. J. Approx. Reason. 56, 28–42 (2015)MathSciNetCrossRef
32.
Zurück zum Zitat Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic. Sci. China 44(6), 419–429 (2001)MathSciNetMATH Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic. Sci. China 44(6), 419–429 (2001)MathSciNetMATH
33.
Zurück zum Zitat Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic ii. Sci. China 45(6), 442–452 (2002)MathSciNetMATH Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic ii. Sci. China 45(6), 442–452 (2002)MathSciNetMATH
34.
Zurück zum Zitat Qiu, D.W.: Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note. Fuzzy Sets Syst. 157, 2128–2138 (2006)CrossRefMathSciNetMATH Qiu, D.W.: Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note. Fuzzy Sets Syst. 157, 2128–2138 (2006)CrossRefMathSciNetMATH
35.
Zurück zum Zitat Schuster, J., Siegle, M.: Markov automata: deciding weak bisimulation by means of non-navely vanishing states. Inf. Comput. 237, 151–173 (2014)MathSciNetCrossRefMATH Schuster, J., Siegle, M.: Markov automata: deciding weak bisimulation by means of non-navely vanishing states. Inf. Comput. 237, 151–173 (2014)MathSciNetCrossRefMATH
36.
Zurück zum Zitat Thatcher, J.W., Wright, J.B.: Generalized finite automata. Not. Am. Math. Soc. 12, 820 (1965) Thatcher, J.W., Wright, J.B.: Generalized finite automata. Not. Am. Math. Soc. 12, 820 (1965)
37.
Zurück zum Zitat Thatcher, J.W., Wright, J.B.: Generalized finite automata with an application to a decision problem of second-order logic. Math. Syst. Theory 2(1), 57–82 (1968)MathSciNetCrossRefMATH Thatcher, J.W., Wright, J.B.: Generalized finite automata with an application to a decision problem of second-order logic. Math. Syst. Theory 2(1), 57–82 (1968)MathSciNetCrossRefMATH
38.
Zurück zum Zitat Wang, D.G., Meng, Y.P., Li, H.X.: A fuzzy similarity inference method for fuzzy reasoning. Comput. Math. Appl. 56(10), 2445–2454 (2008)MathSciNetCrossRefMATH Wang, D.G., Meng, Y.P., Li, H.X.: A fuzzy similarity inference method for fuzzy reasoning. Comput. Math. Appl. 56(10), 2445–2454 (2008)MathSciNetCrossRefMATH
39.
Zurück zum Zitat Wee, W.G.: On generalization of adaptive algorithm and application of the fuzzy sets concept to pattern classification. Ph.D. thesis, Purdue University, Lafayette, IN (1967) Wee, W.G.: On generalization of adaptive algorithm and application of the fuzzy sets concept to pattern classification. Ph.D. thesis, Purdue University, Lafayette, IN (1967)
40.
Zurück zum Zitat Xiong, N.: Fuzzy rule-based similarity model enables learning from small case bases. Appl. Soft Comput. 13(4), 2057–2064 (2013)CrossRef Xiong, N.: Fuzzy rule-based similarity model enables learning from small case bases. Appl. Soft Comput. 13(4), 2057–2064 (2013)CrossRef
41.
Zurück zum Zitat Xuecheng, L.: Entropy, distance measure and similarity measure of fuzzy sets and their relations. Fuzzy Sets Syst. 52, 305–308 (1992)CrossRefMathSciNetMATH Xuecheng, L.: Entropy, distance measure and similarity measure of fuzzy sets and their relations. Fuzzy Sets Syst. 52, 305–308 (1992)CrossRefMathSciNetMATH
43.
Zurück zum Zitat Zhang, Q., Xing, H., Liu, F., Ye, J., Tang, P.: Some new entropy measures for interval-valued intuitionistic fuzzy sets based on distances and their relationships with similarity and inclusion measures. Inf. Sci. 283, 55–69 (2014)MathSciNetCrossRef Zhang, Q., Xing, H., Liu, F., Ye, J., Tang, P.: Some new entropy measures for interval-valued intuitionistic fuzzy sets based on distances and their relationships with similarity and inclusion measures. Inf. Sci. 283, 55–69 (2014)MathSciNetCrossRef
Metadaten
Titel
Similarity-based minimization of fuzzy tree automata
verfasst von
Somaye Moghari
Mohammad Mehdi Zahedi
Publikationsdatum
01.02.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Journal of Applied Mathematics and Computing / Ausgabe 1-2/2016
Print ISSN: 1598-5865
Elektronische ISSN: 1865-2085
DOI
https://doi.org/10.1007/s12190-015-0877-7

Weitere Artikel der Ausgabe 1-2/2016

Journal of Applied Mathematics and Computing 1-2/2016 Zur Ausgabe

Original Research

On Abelian codes over