Vyskum/sk: Rozdiel medzi revíziami

(See also: --> Linky na dalsie informacie)
d (Veda a výskum na KAI podrobnešie)
Riadok 15: Riadok 15:
 
Podrobnejšie informácie o vedeckej činnosti na KAI nájdete na týchto stránkach:
 
Podrobnejšie informácie o vedeckej činnosti na KAI nájdete na týchto stránkach:
  
* [[Research Projects|Aktívne a ukončené výskumné projekty]]
+
* [[Research Projects|Výskumné projekty]]
 
* [[Research Workgroups|Výskumné pracovné skupiny]]
 
* [[Research Workgroups|Výskumné pracovné skupiny]]
 
* [[Conferences|Organizované konferencie]]
 
* [[Conferences|Organizované konferencie]]
 
* [[Selected Publications|Vybrané publikácie]]
 
* [[Selected Publications|Vybrané publikácie]]

Verzia zo dňa a času 16:31, 19. august 2008

Veda a výskum na KAI

Vedecká činnosť KAI je orientovaná predovšetkým na počítačovú grafiku a videnie, umelú inteligenciu, výpočtovú logiku a na teóriu programovania.

  • Počítačová grafika a videnie. Modelovanie a vizualizácia virtuálnych miest. Navigácia a kooperácia vo virtuálnych prostrediach. Simulácia dynamických systémov. Aplikácie počítačovej grafiky a videnia v medicíne. Rozpoznávanie a sledovanie tváre.
  • Umelá inteligencia. Komplexné systémy so samoorganizáciou, hlavne v oblasti prirodzeného jazyka, a to na úrovni symbolickej (agenty) i subsymbolickej (neurónové siete). Reprezentácia znalostí v inteligentných systémoch, modelovanie akvizície a spracovanie jazyka. Kognitívna sémantika.
  • Výpočtová logika. Logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web. Usudzovanie za prítomnosti neurčitosti. Logické aspekty multiagentových systémov.
  • Teória programovania. Deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov, prepisovacie systémy a systémy s ohraničeniami. Teória konkurentných procesov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.

Veda a výskum na KAI podrobnešie

Podrobnejšie informácie o vedeckej činnosti na KAI nájdete na týchto stránkach: