Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

Stathis DelivoriasStathis Delivorias, Haralampos HatzikirouHaralampos Hatzikirou, Rafael PenalozaRafael Penaloza, Dirk WaltherDirk Walther

Download

Stathis Delivorias, Haralampos Hatzikirou, Rafael Penaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014), Lecture Notes in Computer Science, 2014. Springer

Details
Bibtex

KurzfassungAbstract
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 pro- pose 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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ DeHaPeWa-ACRI14,
  author = {Stathis {Delivorias} and Haralampos {Hatzikirou} and Rafael {Penaloza} and Dirk {Walther}},
  booktitle = {Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics},
  year = {2014},
}