Výpočetní aspekty emergence - teorie a experimenty
Cíle projektu
Projekt je zaměřen na vývoj formálního pojmového rámce ukotveného v teoretické informatice (teorie formálních jazyků, gramatik a automatů, zejména teorie gramatických a automatových systémů) pro studium emergence. Výše uvedené disciplíny poskytují dobřerozpracované a rigorozní přístupy k definici a studiu chování v jeho velice abstraktní podobě a dávají do vztahu definované třídy chování s třídami generativních mechanizmů rozmanitých architektur a složitosti. Konečné systémy gramatik pak poskytují konceptuální prostředky pro zdůraznění decentralizované povahy systémů sestavených z jednoduchých prvků, a projevujících se emergentním chováním. Teoretické studium nalezne odpovědi na otázky o emergenci rozmanitých typů chování systémů rozmanitých typů v rozmanitých prostředích a bude kategorizovat typy chování, systémů a prostředí. Souběžně s teoretickým studiem budou empirické a experimentální výzkumy zaměřeny na testování plausibility emergence chování v různých podmínkách. Ústřední cíle projektu
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 6 (SGA02004GA-ST)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Computational aspects of emergence - theory and experiments
Anotace anglicky
The project is focused on development of a formal framework rooted in theoretical computer science (theory of formal languages, grammars, and automata, esp. theory of grammar systems and systems of automata) for study of emergence. The mentioned above disciplines provide well-elaborated and rigorous approaches to define and study behaviors in their very abstract forms, and relate the defined classes of behaviors to generative mechanisms of different architectures and complexity classes. Finite systemsofgrammars then provide a conceptual tool for emphasizing the decentralized nature of the systems composed from simple elements and producing emergent behaviors. The theoretical study will answer questions on emergence of different types of behaviors ofsystems of different types in different environments and will categorize the types of behaviors, systems and environments. In parallel with the theoretical study, empirical and experimental studies will focus towards testing the plausibility of emergence
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BD - Teorie informace
CEP - vedlejší obor
BC - Teorie a systémy řízení
CEP - další vedlejší obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD - odpovídající obory
(dle převodníku)10102 - Applied mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20204 - Robotics and automatic control
20205 - Automation and control systems
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Řešení projektu přispělo ke hlubšímu, rigoroznějšímu teoretickému pochopení výpočetních vlastností (autonomních) agentů a multiagentových systémů. Zaměřeno bylo na výpočetní pochopení role ztělesněnosti agentů a na hledání nových netradičních modelů výpo
Termíny řešení
Zahájení řešení
1. 1. 2004
Ukončení řešení
1. 1. 2006
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP07-GA0-GA-U/03:2
Datum dodání záznamu
16. 10. 2007
Finance
Celkové uznané náklady
1 049 tis. Kč
Výše podpory ze státního rozpočtu
1 049 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
1 049 tis. Kč
Statní podpora
1 049 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
BD - Teorie informace
Doba řešení
01. 01. 2004 - 01. 01. 2006