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šitelRNDr. 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ů.