Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - 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 may tend 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 of view 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. (en)
- 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 znalosti vý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ů.
|
Title
| - Logic and Artificial Intelligence in the area of Multiagent Systems (en)
- Logika a umělá inteligence pro multiagentní systémy
|
skos:notation
| |
http://linked.open...avai/cep/aktivita
| |
http://linked.open...kovaStatniPodpora
| |
http://linked.open...ep/celkoveNaklady
| |
http://linked.open...datumDodatniDoRIV
| |
http://linked.open...i/cep/druhSouteze
| |
http://linked.open...ep/duvernostUdaju
| |
http://linked.open.../cep/fazeProjektu
| |
http://linked.open...ai/cep/hlavniObor
| |
http://linked.open...hodnoceniProjektu
| |
http://linked.open...vai/cep/kategorie
| |
http://linked.open.../cep/klicovaSlova
| - artificial intelligence; logical analysis; knowledge representation; system integration; information technology; geoinformation technology; space and temporal data; multiagent systems; vague and incomplete information (en)
|
http://linked.open...ep/partnetrHlavni
| |
http://linked.open...inujicichPrijemcu
| |
http://linked.open...cep/pocetPrijemcu
| |
http://linked.open...ocetSpoluPrijemcu
| |
http://linked.open.../pocetVysledkuRIV
| |
http://linked.open...enychVysledkuVRIV
| |
http://linked.open...lneniVMinulemRoce
| |
http://linked.open.../prideleniPodpory
| |
http://linked.open...iciPoslednihoRoku
| |
http://linked.open...atUdajeProjZameru
| |
http://linked.open.../vavai/cep/soutez
| |
http://linked.open...usZobrazovaneFaze
| |
http://linked.open...ai/cep/typPojektu
| |
http://linked.open...ep/ukonceniReseni
| |
http://linked.open.../cep/vedlejsiObor
| |
http://linked.open...ep/zahajeniReseni
| |
http://linked.open...jektu+dodavatelem
| - 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/. (en)
- 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/. (cs)
|
http://linked.open...tniCyklusProjektu
| |
http://linked.open.../cep/klicoveSlovo
| - artificial intelligence
- geoinformation technology
- information technology
- knowledge representation
- logical analysis
- multiagent systems
- space and temporal data
- system integration
|
is http://linked.open...vavai/riv/projekt
of | |