Vyskum/sk: Rozdiel medzi revíziami
d (Nadpis H1) |
(→See also: --> Linky na dalsie informacie) |
||
| Riadok 11: | Riadok 11: | ||
*'''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. | ||
| − | == | + | ==Veda a výskum na KAI podrobnešie== |
| − | + | 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 Workgroups|Výskumné pracovné skupiny]] | * [[Research Workgroups|Výskumné pracovné skupiny]] | ||
| − | * [[Selected Publications| | + | * [[Conferences|Organizované konferencie]] |
| + | * [[Selected Publications|Vybrané publikácie]] | ||
Verzia zo dňa a času 16:27, 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: