Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

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.

[1]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[3]  F. Wolter,et al.  Temporalizing Description Logics , 1998, FroCoS.

[4]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[6]  Klaus Sutner,et al.  Computational classification of cellular automata , 2012, Int. J. Gen. Syst..

[7]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[8]  Carsten Lutz,et al.  Temporal Description Logics: A Survey , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[9]  Carsten Lutz,et al.  Temporalising Tractable Description Logics , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

[10]  Pietro Di Lena,et al.  Computational complexity of dynamical systems: The case of cellular automata , 2007, Inf. Comput..