Logika a umělá inteligence pro multiagentní systémy

Poskytovatel

Akademie věd České republiky

Program

Informační společnost (Národní program výzkumu)

Veřejná soutěž

Informační společnost 1 (SAV02004-IS)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

1ET101940420

Název projektu anglicky

Logic and Artificial Intelligence in the area of Multiagent Systems

Anotace anglicky

The goal of the project is research in the area of formalised methods of process modelling enabling us to specify, model, predict and control behaviour of autonomous intelligent agents in various situations incl. critical states, in which the system maytend towards chaotic behaviour. We will concentrate on the development of AI methods based on a highly expressive logical system, namely transparent intensional logic (TIL). Formal language has to be precisely defined not only from the syntactic point ofview but also provided with a rigorous semantics. In the area of knowledge representation we will address the problem of an adequate modelling of particular agents' explicit knowledge, which respects limited inference capabilities of the agents (with bounded resources: space, time and software facilities). Knowledge management will handle heterogenous data incl. space and temporal data. We will also address the problem of reliability and effectiveness of the design.

Kategorie VaV

NV - Neprůmyslový výzkum (aplikovaný výzkum s výjimkou průmyslového)

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

BC - Teorie a systémy řízení

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Hlavní výstup: Aplikace TIL a vývoj jazyka TIL-Script, ve kterém je realizována komunikace, chování a rozhodování agentů. Publikace (cca 100), aplikace: AgentStudio, Vizualizace, Silniční infrastruktura, atd., metodologie. nViz http://labis.vsb.cz/.

Zahájení řešení

1. 7. 2004

Ukončení řešení

31. 12. 2008

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

21. 2. 2008

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

CEP09-AV0-1E-U/02:3

Datum dodání záznamu

4. 5. 2009

Celkové uznané náklady

13 079 tis. Kč

Výše podpory ze státního rozpočtu

13 079 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč