Zobrazenie zdroja stránky Vyskum/sk Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: = 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: * [[Research Projects|Výskumné projekty]] * [[Research Workgroups|Výskumné pracovné skupiny]] * [[Conferences|Organizované konferencie]] * [[Selected Publications|Vybrané publikácie]] Späť na Vyskum/sk. ← Vyskum/sk