Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

  • Stathis Delivorias
  • Haralampos Hatzikirou
  • Rafael Peñaloza
  • Dirk Walther
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8751)

Abstract

Cellular automata are discrete mathematical models that have been proven useful as representations of a wide variety of systems exhibiting emergent behavior. Detection of emergent behavior is typically computationally expensive as it relies on computer simulations. We propose to specify cellular automata using a suitable Temporal Description Logic and we show that we can formulate queries about the evolution of a cellular automaton as reasoning tasks in this logic.

References

  1. 1.
    Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proc. of TIME 2007: the 14th International Symposium on Temporal Representation and Reasoning, pp. 11–22. IEEE Computer Society Press (2007)Google Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press (2007)Google Scholar
  3. 3.
    Gabbay, D., Kurusz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier (2003)Google Scholar
  4. 4.
    Lena, P.D., Margara, L.: Computational complexity of dynamical systems: The case of cellular automata. Information and Computation 206(9-10), 1104–1116 (2008)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proc. of TIME 2008: the 15th International Symposium on Temporal Representation and Reasoning, pp. 3–14. IEEE Computer Society Press (2008)Google Scholar
  6. 6.
    Pnueli, A.: The temporal logic of programs. In: Proc. of SFCS 1977: the 18th Annual Symposium on Foundations of Computer Science, pp. 46–57. IEEE Computer Society Press (1977)Google Scholar
  7. 7.
    Sutner, K.: Computational classification of cellular automata. Int. J. General Systems 41(6), 595–607 (2012)CrossRefMATHMathSciNetGoogle Scholar
  8. 8.
    W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview (2009), http://www.w3.org/TR/owl2-overview/
  9. 9.
    Wolfram, S.: A New Kind of Science. Wolfram Media (2002)Google Scholar
  10. 10.
    Wolter, F., Zakharyaschev, M.: Temporalizing description logics. In: Proc. of FroCoS 1998: the 2nd International Symposium on Frontiers of Combining Systems, pp. 379–402. Kluwer Academic Publishers (2000)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Stathis Delivorias
    • 1
  • Haralampos Hatzikirou
    • 2
  • Rafael Peñaloza
    • 1
    • 2
  • Dirk Walther
    • 1
    • 2
  1. 1.Theoretical Computer ScienceTU DresdenDresdenGermany
  2. 2.Center for Advancing Electronics DresdenDresdenGermany

Personalised recommendations