Projects & Grants




Knowledge extraction methods and its usage for automated deduction
Project IdSGS14/PřF/2014
Main solverdoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Periodr1/2014 - 12/2014
ProviderSpecifický VŠ výzkum
Statefinished
AnotationCílem projektu bude nastartování výzkumu v oblasti styčných ploch teorie jazyků a matematické logiky. Projekt řeší integraci metod pro získávání znalostí se stávajícími metodami přirozené dedukce založených na matematické logice a vícehodnotových logikách. Integruje se zde především soubor metod z oblasti teorie formálních jazyků, kde jsou klíčové problémy, jako je syntaktická a sémantická analýza zdrojového textu a dále vyjádření získaných informací ve formální reprezentaci vhodné pro další odvozování pomocí logické dedukce. Jako nástroj usuzování jsou využity především prostředky fuzzy logiky, resp. části fuzzy teorie typů. Projekt je startovacím grantem pro řešení této problematiky, ale s jednotlivými integrovanými celky má již tým zkušenosti (teorie formálních jazyků, logika, dedukce). Cílem tohoto projektu v horizontu 1. roku je prozkoumání a přizpůsobení stávajících i vlastních metod pro získávání znalostí z textové informace a rozpracování formálního aparátu jejich reprezentace. V dalším projektu bude navázáno na výsledky tohoto projektu, který využije tyto možnosti formální reprezentace pro vlastní usuzování a dále implementaci přístupu a jeho testování na reálných datech. Dílčí cíle pak zahrnují navržení datových struktur a algoritmů pro získávání znalostí z neformalizovaných zdrojů a jejich pro jejich formalizaci prostřednictvím fuzzy logiky resp. teorie typů. Bude nutné specifikovat typy objektů, které bude navržený formální systém obsahovat a dále jejich identifikaci v neformalizovaných datech. Bude-li tato snaha úspěšná, plánujeme plynule navázat dílčím cílem implementace a aplikace na jednoduchých příkladech. Získané výsledky budou jednak ve formě návrhu a implementací a dále ve formě publikovaných příspěvků na odborných konferencích a v odborných časopisech.