Skip to main content
SpringerLink
Log in

Non-deterministic Algebraic Structures for Soft Computing

  • Conference paper
Advances in Computational Intelligence (IWANN 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6692))

Included in the following conference series:

Abstract

The need of considering non-determinism in theoretical computer science has been claimed by several authors in the literature. The notion of non-deterministic automata as a formal model of computation is widely used, but the specific study of non-determinism is useful, for instance, for natural language processing, in describing interactive systems, for characterizing the flexibility allowed in the design of a circuit or a network, etc. The most suitable structures for constituting the foundation of this theoretical model of computation are non-deterministic algebras. The interest on these generalized algebras has been growing in recent years, both from a crisp and a fuzzy standpoint. This paper presents a survey of these structures in order to foster its applicability for the development of new soft computing techniques.

Partially supported by Spanish Ministry of Science project TIN09-14562-C05-01 and Junta de Andalucía project P09-FQM-5233.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ameri, R., Nozari, T.: Fuzzy hyperalgebras. Computers and Mathematics with Applications 61(2), 149–154 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bělohlávek, R.: Determinism and fuzzy automata. Information Sciences 143, 205–209 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  3. Benado, M.: Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. I. Čehoslovack. Mat. Ž 4(79), 105–129 (1954)

    MathSciNet  MATH  Google Scholar 

  4. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: Congruence relations on some hyperstructures. Annals of Mathematics and Artificial Intelligence 56(3–4), 361–370 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: Fuzzy congruence relations on nd-groupoids. International Journal on Computer Mathematics 86, 1684–1695 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: On congruences and homomorphisms on some non-deterministic algebras. In: Proc. of Intl. Conf. on Fuzzy Computation, pp. 59–67 (2009)

    Google Scholar 

  7. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: On congruences, ideals and homomorphisms over multilattices. In: EUROFUSE Workshop Preference Modelling and Decision Analysis, pp. 299–304 (2009)

    Google Scholar 

  8. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: A coalgebraic approach to non-determinism: applications to multilattices. In: Information Sciences, vol. 180, pp. 4323–4335 (2010)

    Google Scholar 

  9. Cabrera, I.P., Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M.: On fuzzy homomorphisms between hyperrings. XV Congreso Español Sobre Tecnologías Y Lógica Fuzzy – ESTYLF 2010 (2010)

    Google Scholar 

  10. Chajda, I., Kolařík, M.: Nearlattices. Discrete Math. 308(21), 4906–4913 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  11. Connes, A., Consani, C.: The hyperring of adèle classes. J. Number Theory 131(2), 159–194 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  12. Cordero, P., Gutiérrez, G., Martínez, J., Ojeda-Aciego, M., Cabrera, I.P.: Congruence relations on multilattices. In: Intl FLINS Conference on Computational Intelligence in Decision and Control, FLINS 2008, pp. 139–144 (2008)

    Google Scholar 

  13. Cordero, P., Gutiérrez, G., Martínez, J., de Guzmán, I.P.: A new algebraic tool for automatic theorem provers. Annals of Mathematics and Artificial Intelligence 42(4), 369–398 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Corsini, P., Leoreanu, V.: Applications of hyperstructure theory. Kluwer, Dordrecht (2003)

    Book  MATH  Google Scholar 

  15. Cristani, M.: The complexity of reasoning about spatial congruence. Journal of Artificial Intelligence Research 11, 361–390 (1999)

    MathSciNet  MATH  Google Scholar 

  16. Cristea, I., Davvaz, B.: Atanassov’s intuitionistic fuzzy grade of hypergroups. Information Sciences 180(8), 1506–1517 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Das, P.: Lattice of fuzzy congruences in inverse semigroups. Fuzzy Sets and Systems 91(3), 399–408 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  18. Davvaz, B., Corsini, P., Leoreanu-Fotea, V.: Fuzzy n-ary subpolygroups. Computers & Mathematics with Applications 57(1), 141–152 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  19. Davvaz, B., Leoreanu-Fotea, V.: Applications of interval valued fuzzy n-ary polygroups with respect to t-norms (t-conorms). Computers & Mathematics with Applications 57(8), 1413–1424 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  20. Dutta, T.K., Biswas, B.: On fuzzy congruence of a near-ring module. Fuzzy Sets and Systems 112(2), 399–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  21. Gaines, B.R.: Fuzzy reasoning and the logics of uncertainty. In: Proc. of ISMVL 1976, pp. 179–188 (1976)

    Google Scholar 

  22. Ghilardi, S.: Unification in intuitionistic logic. The Journal of Symbolic Logic 64(2), 859–880 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  23. Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–174 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  24. Hansen, D.J.: An axiomatic characterization of multilattices. Discrete Math. 33(1), 99–101 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  25. Hesselink, W.H.: A mathematical approach to nondeterminism in data types. ACM Trans. Program. Lang. Syst. 10, 87–117 (1988)

    Article  MATH  Google Scholar 

  26. Johnston, I.J.: Some results involving multilattice ideals and distributivity. Discrete Math. 83(1), 27–35 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  27. Khan, J., Haque, A.: Computing with data non-determinism: Wait time management for peer-to-peer systems. Computer Communications 31(3), 629–642 (2008)

    Article  Google Scholar 

  28. Klawonn, F.: Fuzzy points, fuzzy relations and fuzzy function. In: Novák, V., Perfilieva, I. (eds.) Discovering World with Fuzzy Logic, pp. 431–453. Physica-Verlag, Heidelberg (2000)

    Google Scholar 

  29. Konstantinidou, M., Mittas, J.: An introduction to the theory of hyperlattices. Math. Balkanica 7, 187–193 (1977)

    MathSciNet  MATH  Google Scholar 

  30. Krasner, M.: Approximation des corps values complets de caracteristique p ≠ 0 par ceux de caracteristique 0. In: Colloque d’algebre superieure, Centre Belge de Recherches Mathematiques Etablissements, pp. 129–206 (1957)

    Google Scholar 

  31. Krasner, M.: A class of hyperrings and hyperfields. Internat. J. Math. & Math. Sci. 6(2), 307–312 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  32. Ma, X., Zhan, J., Leoreanu-Fotea, V.: On (fuzzy) isomorphism theorems of Γ-hyperrings. Computers and Mathematics with Applications 60(9), 2594–2600 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  33. Marshall, M.: Real reduced multirings and multifields. Journal of Pure and Applied Algebra 205(2), 452–468 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  34. Martínez, J., Gutiérrez, G., de Guzmán, I.P., Cordero, P.: Generalizations of lattices via non-deterministic operators. Discrete Math. 295(1-3), 107–141 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  35. Martínez, J., Gutiérrez, G., Pérez de Guzmán, I., Cordero, P.: Multilattices via multisemilattices. In: Topics in applied and theoretical mathematics and computer science, pp. 238–248. WSEAS (2001)

    Google Scholar 

  36. Marty, F.: Sur une généralisation de la notion de groupe. In: Proceedings of 8th Congress Math. Scandinaves, pp. 45–49 (1934)

    Google Scholar 

  37. Medina, J., Ojeda-Aciego, M., Ruiz-Calviño, J.: Fuzzy logic programming via multilattices. Fuzzy Sets and Systems 158(6), 674–688 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  38. Mittas, J., Konstantinidou, M.: Sur une nouvelle généralisation de la notion de treillis: les supertreillis et certaines de leurs propriétés générales. Ann. Sci. Univ. Clermont-Ferrand II Math. 25, 61–83 (1989)

    MATH  Google Scholar 

  39. Murali, V.: Fuzzy congruence relations. Fuzzy Sets and Systems 41(3), 359–369 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  40. Petković, T.: Congruences and homomorphisms of fuzzy automata. Fuzzy Sets and Systems 157, 444–458 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  41. Pickett, H.E.: Homomorphisms and subalgebras of multialgebras. Pacific Journal of Mathematics 21(2), 327–342 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  42. Rachůnek, J.: 0-idéaux des ensembles ordonnés. Acta Univ. Palack. Fac. Rer. Natur. 45, 77–81 (1974)

    MATH  Google Scholar 

  43. Schweigert, D.: Near lattices. Math. Slovaca 32(3), 313–317 (1982)

    MathSciNet  MATH  Google Scholar 

  44. Sun, K., Yuan, X., Li, H.: Fuzzy hypergroups based on fuzzy relations. Computers and Mathematics with Applications 60(3), 610–622 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  45. Tan, Y.: Fuzzy congruences on a regular semigroup. Fuzzy Sets and Systems 117(3), 399–408 (2001)

    Article  MathSciNet  Google Scholar 

  46. Vaida, D.: Note on some order properties related to processes semantics. I. Fund. Inform. 73(1-2), 307–319 (2006)

    MathSciNet  MATH  Google Scholar 

  47. Varacca, D., Winskel, G.: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1), 87–113 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  48. Walicki, M., Meldal, S.: A complete calculus for the multialgebraic and functional semantics of nondeterminism. ACM Trans. Program. Lang. Syst. 17, 366–393 (1995)

    Article  Google Scholar 

  49. Yamak, S., Kazancı, O., Davvaz, B.: Applications of interval valued t-norms (t-conorms) to fuzzy n-ary sub-hypergroups. Information Sciences 178(20), 3957–3972 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  50. Yamak, S., Kazancı, O., Davvaz, B.: Normal fuzzy hyperideals in hypernear-rings. Neural Computing and Applications 20(1), 25–30 (2011)

    Article  Google Scholar 

  51. Yin, Y., Zhan, J., Xu, D., Wang, J.: The L-fuzzy hypermodules. Computers and Mathematics with Applications 59(2), 953–963 (2010)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Matemática Aplicada, Universidad de Málaga, Spain

    I. P. Cabrera, P. Cordero & M. Ojeda-Aciego

Authors
  1. I. P. Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Cordero
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Ojeda-Aciego
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departament d’Enginyeria Electrònica, Universitat Politècnica de Catalunya (UPC), Campus Nord, Edificio C4, c/ Gran Capità s/n, 08034, Barcelona, Spain

    Joan Cabestany

  2. Department of Computer Architecture and Computer Technology, University of Granada, C/ Periodista Daniel Saucedo Aranda, 18071, Granada, Spain

    Ignacio Rojas

  3. Departamento Tecnologia Eletrónica, Universidad de Málaga, Campus de Teatinos, 29071, Málaga, Spain

    Gonzalo Joya

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cabrera, I.P., Cordero, P., Ojeda-Aciego, M. (2011). Non-deterministic Algebraic Structures for Soft Computing. In: Cabestany, J., Rojas, I., Joya, G. (eds) Advances in Computational Intelligence. IWANN 2011. Lecture Notes in Computer Science, vol 6692. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21498-1_55

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21498-1_55

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21497-4

  • Online ISBN: 978-3-642-21498-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation