Ostravská univerzita používá na svých webových stránkách soubory cookies i další analytické nástroje. Rozumím

OU > Věda a tvůrčí činnost > Projekty a granty

Ostravská univerzita

Projekty a granty



Databáze všech projektů a grantů od roku 2010




Formalizace znalostních bází a vyhledávání vzorů v rozsáhlých datech
Id projektuSGS13/PřF/2016
Hlavní řešitelPhDr. RNDr. Martin Žáček, Ph.D.
Období1/2016 - 12/2016
PoskytovatelSpecifický VŠ výzkum
Stavukončený
AnotaceV poslední době zaznamenáváme prudký rozvoj v oblasti formální ontologie (například podnikatelských ontologií nebo ontologií aplikovaných v inteligentních systémech), kde byla vytvořena řada konceptových jazyků, zpravidla vycházejících z deskripční logiky a zároveň jsou vyvíjeny nové systémy formální dedukce pro konceptové jazyky. K tomu, aby bylo možno pracovat se znalostmi v podobě vhodné pro počítačovou implementaci, je třeba zavést určitý formalismus schopný odrážet vztah mezi znalostmi o světě, a proto vytváříme znalostní báze jako soubor formálně zapsaných znalostí o určité doméně. Projekt bude orientovaný na - uskutečnění formalizace znalostních bází na základě FCA, - metody formální repre. sémanticky strukturovaných znalostí v jazycích postavených na konceptovém paradigmatu, - návrh specifické ontologie robotiky, - na formalizaci logických metod pro rozpoznávání struktur v rozsáhlých datech, - návrh a implementace systému pro zpracování a rozpoznávání struktur, - využití paralelizace pro zefektivnění navržených algoritmů.
facebook
instagram
youtube
twitter
linked in
rss
social hub