Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

被引：0
|
作者：
Delivorias, Stathis [1 ]
Hatzikirou, Haralampos [2 ]
Penaloza, Rafael [1 ,2 ]
Walther, Dirk [1 ,2 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
[2] Ctr Adv Elect, Dresden, Germany
来源：
CELLULAR AUTOMATA: 11TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY | 2014年 / 8751卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：357 / 366
页数：10
相关论文
共 50 条
  • [41] Detecting Leukaemia (AML) Blood Cells Using Cellular Automata and Heuristic Search
    Ismail, Waidah
    Hassan, Rosline
    Swift, Stephen
    ADVANCES IN INTELLIGENT DATA ANALYSIS IX, PROCEEDINGS, 2010, 6065 : 54 - +
  • [42] Reasoning in expressive description logics with fixpoints based on automata on infinite trees
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 84 - 89
  • [43] Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
    Artale, Alessandro
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Zakharyaschev, Michael
    FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 1 - +
  • [44] A Solution to the Ramification Problem Expressed in Temporal Description Logics
    Papadakis, Nikos
    Petrakis, Polydoros
    Plexousakis, Dimitris
    Manifavas, Charalampos
    INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2014, 8 (01) : 1 - 46
  • [45] Emergent behavior in two complex cellular automata rule sets
    Hazard, CJ
    Kimport, KR
    Johnson, DH
    COMPLEXITY, 2005, 10 (05) : 45 - 55
  • [46] The Formalization of UML State Chart with the Temporal Description Logics
    Li, Ming
    Yang, Haibo
    Nian, Fuzhong
    Wang, Xuyang
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 3, 2009, : 73 - 76
  • [47] A Cookbook for Temporal Conceptual Data Modelling with Description Logics
    Artale, Alessandro
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Zakharyaschev, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [48] Emergent computation in semitotalistic cellular automata: Applications in character segmentation
    Dogaru, R
    Dogaru, I
    Glesner, M
    2004 International Semiconductor Conference, Vols 1and 2, Proceedings, 2004, : 451 - 454
  • [49] Emergent fundamental pedestrian flows from cellular automata microsimulation
    Blue, VJ
    Adler, JL
    TRAFFIC FLOW THEORY: SIMULATION MODELS, MACROSCOPIC FLOW RELATIONSHIPS, AND FLOW ESTIMATION AND PREDICTION, 1998, (1644): : 29 - 36
  • [50] Emergent Defect Dynamics in Two-Dimensional Cellular Automata
    Delacourt, Martin
    Pivato, Marcus
    JOURNAL OF CELLULAR AUTOMATA, 2009, 4 (02) : 111 - 124
12345