Advertisement

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

  • Stathis Delivorias
  • Haralampos Hatzikirou
  • Rafael Peñaloza
  • Dirk Walther
Conference paper
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.

Keywords

Cellular Automaton Temporal Logic Description Logic Reasoning Task Temporal Realization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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)CrossRefzbMATHMathSciNetGoogle 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)CrossRefzbMATHMathSciNetGoogle 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