Vyskum/sk: Rozdiel medzi revíziami
d (Oprava prazdnych riadkov) |
(Uprava KR Group.) |
||
| Riadok 15: | Riadok 15: | ||
Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu: | Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu: | ||
| − | * [[KR Group|Reprezentácia znalostí]] – | + | * [[KR Group|Reprezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti. Náš výskum má aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát, a telemedicínskych systémov. |
* [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI). | * [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI). | ||
* [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí | * [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí | ||
Verzia zo dňa a času 22:42, 3. september 2015
Veda a výskum na KAI
Vedecká činnosť KAI sa orientuje predovšetkým na počítačovú grafiku a videnie, na umelú inteligenciu a kognitívnu vedu, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách.
Počítačová grafika a videnie
Oblasťou počítačovej grafiky a videnia sa zaoberajú pracovné skupiny:
- Počítačová grafika – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
- Počítačové videnie – rozpoznávanie a sledovanie tváre, aplikácie počítačovej grafiky a videnia v medicíne.
Umelá inteligencia a kognitívna veda
Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu:
- Reprezentácia znalostí – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti. Náš výskum má aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát, a telemedicínskych systémov.
- Umelé neurónové siete a kognitívna veda – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI).
- Komplexné dynamické siete - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
- Fuzzy systémy
- Robotika a evolučné počítanie
Teória programovania
Aplikáciami formálnych metód v teórii a bezpečnosti konkurentných a distribuovaných systémov, výpočtovej zložitosti a v programovaní sa zaoberáme v pracovných skupinách:
- Konkurentné a distribuované systémy – teória konkurentných procesov a distribuovaných systémov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.
- Deklaratívne programovanie – deskriptívna zložitosť; deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov; prepisovacie systémy a systémy s ohraničeniami.
Bioinformatika
Bioinformatike sa venuje medzikatedrová výskumná skupina zložená z členov KAI a KI, spolupracujúca s výskumnými pracovníkmi v biologických odboroch:
- Výpočtová biológia – algoritmy a matematické metódy na analýzu DNA sekvencií primátov, kvasiniek a iných zaujímavých organizmov.
Projekty a podujatia
Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami. Organizujeme a spoluorganizujeme odborné konferencie, semináre a ďalšie podujatia na výmenu poznatkov a skúseností s odbornou verejnosťou i v rámci pracovných skupín, zúčastňujeme sa udalostí na popularizáciu vedy a výskumu.