m
Line 10: Line 10:
  
 
*'''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.  
 
*'''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.  
 +
 +
* '''Výpočtová biológia.''' Aplikácia algoritmov, pravdepodobnostného modelovania a strojového učenia na problémy molekulárnej biológie, najmä analýzu DNA sekvencií. Spolupráca s vedeckými pracovníkmi v biologických odboroch na spoločných projektoch.
  
 
==Veda a výskum na KAI podrobnešie==
 
==Veda a výskum na KAI podrobnešie==

Revision as of 11:37, 15 February 2009

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 a kognitívna veda. Komplexné systémy so samoorganizáciou, multiagentové systémy, reprezentácia znalostí v inteligentných agentoch na úrovni symbolovej i subsymbolovej (neurónové siete). Modelovanie akvizície a spracovania jazyka. Kognitívna sémantika. Robotika.
  • 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.
  • Výpočtová biológia. Aplikácia algoritmov, pravdepodobnostného modelovania a strojového učenia na problémy molekulárnej biológie, najmä analýzu DNA sekvencií. Spolupráca s vedeckými pracovníkmi v biologických odboroch na spoločných projektoch.

Veda a výskum na KAI podrobnešie

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