Logic and Artificial Intelligence in the area of Multiagent Systems
Project goals
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.
Keywords
artificial intelligencelogical analysisknowledge representationsystem integrationinformation technologygeoinformation technologyspace and temporal datamultiagent systemsvague and incomplete information
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
—
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
Basic information
Recognised costs
13 079 CZK thou.
Public support
13 079 CZK thou.
100%
Provider
Academy of Sciences of the Czech Republic
CEP
IN - Informatics
Solution period
01. 07. 2004 - 31. 12. 2008