Logic and Artificial Intelligence in the area of Multiagent Systems
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
Information society (National programme of research)
Call for proposals
Informační společnost 1 (SAV02004-IS)
Main participants
—
Contest type
VS - Public tender
Contract ID
1ET101940420
Alternative language
Project name in Czech
Logika a umělá inteligence pro multiagentní systémy
Annotation in Czech
Cílem projektu je výzkum v oblasti formalizovaných metod procesního modelování umožňujících predikovat, specifikovat, simulovat a řídit chování autonomních inteligentních agentů v nejrůznějších situacích včetně krizových stavů, ve kterých může systém inklinovat k neuspořádanému až chaotickému chování. Zaměříme se zejména na metody umělé inteligence budované na základě logického systému s vysokou expresivní silou, jímž je transparentní intensionální logika (TIL). Formální jazyk bude vycházet ze znalostivýznamu jednotlivých výrazů a bude proto podepřen rigorozní logickou sémantikou. V oblasti reprezentace znalostí se zaměříme na problém adekvátního modelování eplicitních znalostí jednotlivých agentů s respektováním jejich omezených inferenčních schopností, či obecně zdrojů (prostorových, časových, softwarových, apod.). Správa znalostí bude zpracovávat heterogenní data včetně dat prostorových a časových. Budeme rovněž řešit problém spolehlivosti a efektivnosti metod řízení procesů.
Scientific branches
R&D category
NV - Nonindustrial research (Applied research excluded Industrial research)
CEP classification - main branch
IN - Informatics
CEP - secondary branch
BC - Theory and management systems
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Main result: Application of TIL and development of TIL-Script: language of communication, behaviour and reasoning of agents. Publications (approx.100), applications: AgentStudio, Visualization, Traffic infrastructure, etc. See http://labis.vsb.cz/.
Solution timeline
Realization period - beginning
Jul 1, 2004
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Feb 21, 2008
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP09-AV0-1E-U/02:3
Data delivery date
May 4, 2009
Finance
Total approved costs
13,079 thou. CZK
Public financial support
13,079 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK