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.
This work was partially supported by the German Research Foundation (DFG) within the Cluster of Excellence ‘Center for Advancing Electronics Dresden’.
This is a preview of subscription content, log in via an institution to check access.
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
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)
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)
Gabbay, D., Kurusz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier (2003)
Lena, P.D., Margara, L.: Computational complexity of dynamical systems: The case of cellular automata. Information and Computation 206(9-10), 1104–1116 (2008)
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)
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)
Sutner, K.: Computational classification of cellular automata. Int. J. General Systems 41(6), 595–607 (2012)
W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview (2009), http://www.w3.org/TR/owl2-overview/
Wolfram, S.: A New Kind of Science. Wolfram Media (2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Delivorias, S., Hatzikirou, H., Peñaloza, R., Walther, D. (2014). Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. In: Wąs, J., Sirakoulis, G.C., Bandini, S. (eds) Cellular Automata. ACRI 2014. Lecture Notes in Computer Science, vol 8751. Springer, Cham. https://doi.org/10.1007/978-3-319-11520-7_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-11520-7_37
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11519-1
Online ISBN: 978-3-319-11520-7
eBook Packages: Computer ScienceComputer Science (R0)