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 条
  • [1] Emergent phenomena in cellular automata modeling
    Hassan, Y
    Tazaki, E
    KYBERNETES, 2003, 32 (3-4) : 251 - 275
  • [2] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43
  • [3] Emergent patterning phenomena in 2D cellular automata
    Bilotta, E
    Pantano, P
    ARTIFICIAL LIFE, 2005, 11 (03) : 339 - 362
  • [4] Emergent computation using a new model of cellular automata
    Hassan, Y
    Tazaki, E
    APPLIED ARTIFICIAL INTELLIGENCE, 2003, 17 (01) : 39 - 69
  • [5] From tableaux to automata for description logics
    Baader, F
    Hladik, J
    Lutz, C
    Wolter, F
    FUNDAMENTA INFORMATICAE, 2003, 57 (2-4) : 247 - 279
  • [6] From tableaux to automata for Description Logics
    Baader, F
    Hladik, J
    Lutz, C
    Wolter, F
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 1 - 32
  • [7] Representing a robotic domain using temporal description logics
    Artale, Alessandro
    Franconi, Enrico
    Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1999, 13 (02): : 105 - 117
  • [8] Representing a robotic domain using temporal description logics
    Artale, A
    Franconi, E
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1999, 13 (02): : 105 - 117
  • [9] Introducing temporal Description Logics
    Artale, A
    Franconi, E
    TIME-99: SIXTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1999, : 2 - 5
  • [10] On Metric Temporal Description Logics
    Gutierrez-Basulto, Victor
    Jung, Jean Christoph
    Ozaki, Ana
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 837 - 845
12345