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.
Delivorias, S., Hatzikirou, H., Penaloza, R., Walther, D. (2014). Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. In Cellular Automata: 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings (pp.357-366). Springer [10.1007/978-3-319-11520-7_37].
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
Penaloza, R;
2014
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
DeHaPeWa-ACRI-14.pdf
Solo gestori archivio
Tipologia di allegato:
Author’s Accepted Manuscript, AAM (Post-print)
Dimensione
332.16 kB
Formato
Adobe PDF
|
332.16 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
