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 条

[31] Contribution of cellular automata to the understanding of corrosion phenomena
Zenkri, M.
di Caprio, D.
Perez-Brokate, C.
Feron, D.
de lamare, J.
Chausse, A.
Larbi, F. Ben Cheikh
Raouafi, F.
CONDENSED MATTER PHYSICS, 2017, 20 (03)
[32] SIMULATION OF DYNAMIC PHENOMENA BY CELLULAR-AUTOMATA
BONFATTI, F
GADDA, G
MONARI, PD
COMPUTERS & GRAPHICS, 1994, 18 (06) : 831 - 836
[33] INTERFACIAL PHENOMENA IN BOLTZMANN CELLULAR-AUTOMATA
DORTONA, U
SALIN, D
CIEPLAK, M
BANAVAR, JR
EUROPHYSICS LETTERS, 1994, 28 (05): : 317 - 322
[34] Cellular automata approach to corrosion and passivity phenomena
Bartosik, Lukasz
di Caprio, Dung
Stafiej, Janusz
PURE AND APPLIED CHEMISTRY, 2013, 85 (01) : 247 - 256
[35] A study of fuzzy and many-valued logics in cellular automata
Mingarelli, Angelo B.
JOURNAL OF CELLULAR AUTOMATA, 2006, 1 (03) : 233 - 252
[36] Time-dependent concepts: Representation and reasoning using temporal description logics
Bettini, C
DATA & KNOWLEDGE ENGINEERING, 1997, 22 (01) : 1 - 38
[37] Alternating automata: Unifying truth and validity checking for temporal logics
Vardi, MY
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 191 - 206
[38] Towards Detecting Fake News Using Natural Language Understanding and Reasoning in Description Logics
Groza, Adrian
MEASURING ONTOLOGIES FOR VALUE ENHANCEMENT: ALIGNING COMPUTING PRODUCTIVITY WITH HUMAN CREATIVITY FOR SOCIETAL ADAPTATION, MOVE 2020, 2022, 1694 : 57 - 72
[39] Designing positive, negative and standard gates for ternary logics using quantum dot cellular automata
Kamali, Seyede Fateme
Tabrizchi, Sepehr
Mohammadyan, Somaye
Rastgoo, Morteza
Navi, Keivan
COMPUTERS & ELECTRICAL ENGINEERING, 2020, 83
[40] Analysis of synchronous and asynchronous cellular automata using abstraction by temporal logic
Hagiya, M
Takahashi, K
Yamamoto, M
Sato, T
FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 7 - 21

← 1 2 3 4 5 →