Morphogenetic systems for resource bounded computation and modeling

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F21%3AA0000658" target="_blank" >RIV/47813059:19240/21:A0000658 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.sciencedirect.com/science/article/pii/S0020025520308471" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0020025520308471</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ins.2020.08.073" target="_blank" >10.1016/j.ins.2020.08.073</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Morphogenetic systems for resource bounded computation and modeling

Popis výsledku v původním jazyce

A further exploration is presented of recent approaches to morphogenetic processes where geometry and form are fundamental primitives. Prior bottom-up approaches in morphogenetic modeling usually target a specific biological process aiming for optimal fidelity. We take a novel, more integrative and more abstract view of these phenomena and aim at properties such as (computational) universality, homeostasis, self-reproduction or self-healing, in both living and artificial evolving systems with explicit geometric 3D arrangements. We refine the recently introduced model of M systems (for morphogenetic systems) that leverages certain constructs in membrane computing and DNA self-assembly. The model is still based on local interactions of simple atomic components under explicit geometric constraints given by their shapes and spatial arrangements. We demonstrate two types of capabilities of the extended models. First, they are computationally universal in the Turing sense because they can simulate Turing machines very efficiently, with only a linear slowdown factor. Furthermore, they have the theoretical capability to probabilistically solve NP-hard problems in polynomial time. Second, more importantly, they unfold to exhibit certain macro-properties characteristic of living organisms (particularly, the ability of self-assembly of complex structures, self-reproduction and self-healing) as global properties observable at the macro-level, without explicit programming of these properties beyond simple rules of interaction. Besides providing a new theoretical background for this type of model, we provide quantitative evidence of these properties in a simple cell-like M system model. These results have been obtained using an M system simulator and visualizer that is available as open source software for further research in this area.

Název v anglickém jazyce

Morphogenetic systems for resource bounded computation and modeling

Popis výsledku anglicky

A further exploration is presented of recent approaches to morphogenetic processes where geometry and form are fundamental primitives. Prior bottom-up approaches in morphogenetic modeling usually target a specific biological process aiming for optimal fidelity. We take a novel, more integrative and more abstract view of these phenomena and aim at properties such as (computational) universality, homeostasis, self-reproduction or self-healing, in both living and artificial evolving systems with explicit geometric 3D arrangements. We refine the recently introduced model of M systems (for morphogenetic systems) that leverages certain constructs in membrane computing and DNA self-assembly. The model is still based on local interactions of simple atomic components under explicit geometric constraints given by their shapes and spatial arrangements. We demonstrate two types of capabilities of the extended models. First, they are computationally universal in the Turing sense because they can simulate Turing machines very efficiently, with only a linear slowdown factor. Furthermore, they have the theoretical capability to probabilistically solve NP-hard problems in polynomial time. Second, more importantly, they unfold to exhibit certain macro-properties characteristic of living organisms (particularly, the ability of self-assembly of complex structures, self-reproduction and self-healing) as global properties observable at the macro-level, without explicit programming of these properties beyond simple rules of interaction. Besides providing a new theoretical background for this type of model, we provide quantitative evidence of these properties in a simple cell-like M system model. These results have been obtained using an M system simulator and visualizer that is available as open source software for further research in this area.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Information Sciences

ISSN

0020-0255

e-ISSN

—

Svazek periodika

547

Číslo periodika v rámci svazku

8 February 2021

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

814-827

Kód UT WoS článku

000590678500023

EID výsledku v databázi Scopus

2-s2.0-85090329833