. "Logika a um\u011Bl\u00E1 inteligence pro multiagentn\u00ED syst\u00E9my" . " logical analysis" . . "1ET101940420" . " multiagent systems" . "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 . "58"^^ . "Hlavn\u00ED v\u00FDstup: Aplikace TIL a v\u00FDvoj jazyka TIL-Script, ve kter\u00E9m je realizov\u00E1na komunikace, chov\u00E1n\u00ED a rozhodov\u00E1n\u00ED agent\u016F. Publikace (cca 100), aplikace: AgentStudio, Vizualizace, Silni\u010Dn\u00ED infrastruktura, atd., metodologie. \\nViz http://labis.vsb.cz/."@cs . . "58"^^ . " geoinformation technology" . . "0"^^ . "2004-07-01+02:00"^^ . . "artificial intelligence; logical analysis; knowledge representation; system integration; information technology; geoinformation technology; space and temporal data; multiagent systems; vague and incomplete information"@en . "0"^^ . "1"^^ . " system integration" . . " space and temporal data" . . "http://www.isvav.cz/projectDetail.do?rowId=1ET101940420"^^ . . . "2009-05-04+02:00"^^ . " information technology" . "C\u00EDlem projektu je v\u00FDzkum v oblasti formalizovan\u00FDch metod procesn\u00EDho modelov\u00E1n\u00ED umo\u017E\u0148uj\u00EDc\u00EDch predikovat, specifikovat, simulovat a \u0159\u00EDdit chov\u00E1n\u00ED autonomn\u00EDch inteligentn\u00EDch agent\u016F v nejr\u016Fzn\u011Bj\u0161\u00EDch situac\u00EDch v\u010Detn\u011B krizov\u00FDch stav\u016F, ve kter\u00FDch m\u016F\u017Ee syst\u00E9m inklinovat k neuspo\u0159\u00E1dan\u00E9mu a\u017E chaotick\u00E9mu chov\u00E1n\u00ED. Zam\u011B\u0159\u00EDme se zejm\u00E9na na metody um\u011Bl\u00E9 inteligence budovan\u00E9 na z\u00E1klad\u011B logick\u00E9ho syst\u00E9mu s vysokou expresivn\u00ED silou, j\u00EDm\u017E je transparentn\u00ED intension\u00E1ln\u00ED logika (TIL). Form\u00E1ln\u00ED jazyk bude vych\u00E1zet ze znalosti v\u00FDznamu jednotliv\u00FDch v\u00FDraz\u016F a bude proto podep\u0159en rigorozn\u00ED logickou s\u00E9mantikou. V oblasti reprezentace znalost\u00ED se zam\u011B\u0159\u00EDme na probl\u00E9m adekv\u00E1tn\u00EDho modelov\u00E1n\u00ED eplicitn\u00EDch znalost\u00ED jednotliv\u00FDch agent\u016F s respektov\u00E1n\u00EDm jejich omezen\u00FDch inferen\u010Dn\u00EDch schopnost\u00ED, \u010Di obecn\u011B zdroj\u016F (prostorov\u00FDch, \u010Dasov\u00FDch, softwarov\u00FDch, apod.). Spr\u00E1va znalost\u00ED bude zpracov\u00E1vat heterogenn\u00ED data v\u010Detn\u011B dat prostorov\u00FDch a \u010Dasov\u00FDch. Budeme rovn\u011B\u017E \u0159e\u0161it probl\u00E9m spolehlivosti a efektivnosti metod \u0159\u00EDzen\u00ED proces\u016F." . . . "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 . " knowledge representation" . "artificial intelligence" . . . . . . "2008-12-31+01:00"^^ . . "Logic and Artificial Intelligence in the area of Multiagent Systems"@en . "2008-02-21+01:00"^^ . . .