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.
CITATION STYLE
Delivorias, S., Hatzikirou, H., Peñaloza, R., & Walther, D. (2014). Detecting emergent phenomena in cellular automata using temporal description logics. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8751, 357–366. https://doi.org/10.1007/978-3-319-11520-7_37
Mendeley helps you to discover research relevant for your work.