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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ameri, R., Nozari, T.: Fuzzy hyperalgebras. Computers and Mathematics with Applications 61(2), 149–154 (2011)
Bělohlávek, R.: Determinism and fuzzy automata. Information Sciences 143, 205–209 (2002)
Benado, M.: Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. I. Čehoslovack. Mat. Ž 4(79), 105–129 (1954)
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)
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)
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)
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)
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)
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)
Chajda, I., Kolařík, M.: Nearlattices. Discrete Math. 308(21), 4906–4913 (2008)
Connes, A., Consani, C.: The hyperring of adèle classes. J. Number Theory 131(2), 159–194 (2011)
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)
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)
Corsini, P., Leoreanu, V.: Applications of hyperstructure theory. Kluwer, Dordrecht (2003)
Cristani, M.: The complexity of reasoning about spatial congruence. Journal of Artificial Intelligence Research 11, 361–390 (1999)
Cristea, I., Davvaz, B.: Atanassov’s intuitionistic fuzzy grade of hypergroups. Information Sciences 180(8), 1506–1517 (2010)
Das, P.: Lattice of fuzzy congruences in inverse semigroups. Fuzzy Sets and Systems 91(3), 399–408 (1997)
Davvaz, B., Corsini, P., Leoreanu-Fotea, V.: Fuzzy n-ary subpolygroups. Computers & Mathematics with Applications 57(1), 141–152 (2009)
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)
Dutta, T.K., Biswas, B.: On fuzzy congruence of a near-ring module. Fuzzy Sets and Systems 112(2), 399–408 (2000)
Gaines, B.R.: Fuzzy reasoning and the logics of uncertainty. In: Proc. of ISMVL 1976, pp. 179–188 (1976)
Ghilardi, S.: Unification in intuitionistic logic. The Journal of Symbolic Logic 64(2), 859–880 (1999)
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–174 (1967)
Hansen, D.J.: An axiomatic characterization of multilattices. Discrete Math. 33(1), 99–101 (1981)
Hesselink, W.H.: A mathematical approach to nondeterminism in data types. ACM Trans. Program. Lang. Syst. 10, 87–117 (1988)
Johnston, I.J.: Some results involving multilattice ideals and distributivity. Discrete Math. 83(1), 27–35 (1990)
Khan, J., Haque, A.: Computing with data non-determinism: Wait time management for peer-to-peer systems. Computer Communications 31(3), 629–642 (2008)
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)
Konstantinidou, M., Mittas, J.: An introduction to the theory of hyperlattices. Math. Balkanica 7, 187–193 (1977)
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)
Krasner, M.: A class of hyperrings and hyperfields. Internat. J. Math. & Math. Sci. 6(2), 307–312 (1983)
Ma, X., Zhan, J., Leoreanu-Fotea, V.: On (fuzzy) isomorphism theorems of Γ-hyperrings. Computers and Mathematics with Applications 60(9), 2594–2600 (2010)
Marshall, M.: Real reduced multirings and multifields. Journal of Pure and Applied Algebra 205(2), 452–468 (2006)
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)
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)
Marty, F.: Sur une généralisation de la notion de groupe. In: Proceedings of 8th Congress Math. Scandinaves, pp. 45–49 (1934)
Medina, J., Ojeda-Aciego, M., Ruiz-Calviño, J.: Fuzzy logic programming via multilattices. Fuzzy Sets and Systems 158(6), 674–688 (2007)
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)
Murali, V.: Fuzzy congruence relations. Fuzzy Sets and Systems 41(3), 359–369 (1991)
Petković, T.: Congruences and homomorphisms of fuzzy automata. Fuzzy Sets and Systems 157, 444–458 (2006)
Pickett, H.E.: Homomorphisms and subalgebras of multialgebras. Pacific Journal of Mathematics 21(2), 327–342 (1967)
Rachůnek, J.: 0-idéaux des ensembles ordonnés. Acta Univ. Palack. Fac. Rer. Natur. 45, 77–81 (1974)
Schweigert, D.: Near lattices. Math. Slovaca 32(3), 313–317 (1982)
Sun, K., Yuan, X., Li, H.: Fuzzy hypergroups based on fuzzy relations. Computers and Mathematics with Applications 60(3), 610–622 (2010)
Tan, Y.: Fuzzy congruences on a regular semigroup. Fuzzy Sets and Systems 117(3), 399–408 (2001)
Vaida, D.: Note on some order properties related to processes semantics. I. Fund. Inform. 73(1-2), 307–319 (2006)
Varacca, D., Winskel, G.: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1), 87–113 (2006)
Walicki, M., Meldal, S.: A complete calculus for the multialgebraic and functional semantics of nondeterminism. ACM Trans. Program. Lang. Syst. 17, 366–393 (1995)
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)
Yamak, S., Kazancı, O., Davvaz, B.: Normal fuzzy hyperideals in hypernear-rings. Neural Computing and Applications 20(1), 25–30 (2011)
Yin, Y., Zhan, J., Xu, D., Wang, J.: The L-fuzzy hypermodules. Computers and Mathematics with Applications 59(2), 953–963 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)