Fuzzy Bigraphs

An Exercise in Fuzzy Communicating Agents
  • Apostolos Syropoulos
Part of the Studies in Computational Intelligence book series (SCI, volume 878)


Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness. More specifically, this model assumes that agents are similar, communication is not perfect, and, in general, everything is or happens to some degree.


Bigraph Graph theory Category theory Fuzzy Set theory Model of computation 



I would like to thank the editors of this volume for inviting me to present my work and I would like to thank the anonymous reviewer for her comments and suggestions that helped me to substantially improve the presentation of my work.


  1. 1.
    Akiba, K., Abasnezhad, A. (eds.): Vague Objects and Vague Identity, no. 33 in Logic, Epistemology, and the Unity of Science. Springer, Dordrecht, The Netherlands (2014)Google Scholar
  2. 2.
    Benford, S., Calder, M., Rodden, T., Sevegnani, M.: On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Trans. Comput.-Hum. Interact. 23(2), 9:1–9:56 (2016)Google Scholar
  3. 3.
    Berge, C.: Graphs and Hypergraphs, 2nd edn. North-Holland Publishing Company, Amsterdam (1976)zbMATHGoogle Scholar
  4. 4.
    Buckley, J.J., Eslami, E.: An Introduction to Fuzzy Logic and Fuzzy Sets. No. 13 in Advances in Soft Computing. Springer-Verlag, Berlin (2002)Google Scholar
  5. 5.
    Chang, S.S.L., Zadeh, L.A.: On fuzzy mapping and control. IEEE Transactions on Systems, Man, and Cybernetics SMC-2(1), 30–34 (1972)Google Scholar
  6. 6.
    Craine, W.L.: Fuzzy Hypergraphs and Fuzzy Intersection Graphs. Ph.D. thesis, University of Idaho (1993)Google Scholar
  7. 7.
    Halmos, P.R.: Naive Set Theory. Springer-Verlag, New York (1974)CrossRefGoogle Scholar
  8. 8.
    Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Tech. Rep. 570, Computer Laboratory, University of Cambridge, UK (2003)Google Scholar
  9. 9.
    Krivine, J., Milner, R., Troina, A.: Stochastic Bigraphs. Electronic Notes in Theoretical Computer Science 218, 73–96 (2008). Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)Google Scholar
  10. 10.
    Leinster, T.: Basic Category Theory. No. 143 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2014)Google Scholar
  11. 11.
    Milner, R.: Communication and Concurrency. Prentice Hall, Hemel Hempstead, Hertfordshire, UK (1989)zbMATHGoogle Scholar
  12. 12.
    Milner, R.: Communicating and Mobile Systems: The \(\pi \)-Calculus. Cambridge University Press, Cambridge, UK (1999)zbMATHGoogle Scholar
  13. 13.
    Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge, UK (2009)CrossRefGoogle Scholar
  14. 14.
    Rosenfeld, A.: Fuzzy Graphs. In: Zadeh, L.A., Fu, K.S., Tanaka, K., Shimura, M. (eds.) Fuzzy Sets and their Applications to Cognitive and Decision Processes, pp. 77–95. Academic Press, New York (1975)Google Scholar
  15. 15.
    Šostak, A.: Fuzzy categories related to algebra and topology. Tatra Mountains Mathematical Publications 16(1), 159–185 (1999). Available from the web site of the Slovak Academy of SciencesGoogle Scholar
  16. 16.
    Syropoulos, A.: Fuzzy Categories (2014). arXiv:1410.1478v1 [cs.LO]
  17. 17.
    Syropoulos, A.: Theory of Fuzzy Computation. No. 31 in IFSR International Series on Systems Science and Engineering. Springer-Verlag, New York (2014)Google Scholar
  18. 18.
    Syropoulos, A.: On TAE Machines and Their Computational Power. Logica Universalis (2018).

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Greek Molecular Computing GroupXanthiGreece

Personalised recommendations