Projekty a granty

Členové týmu se v rámci tohoto širšího projektu zaměřují na vývoj logických systémů a metod pro analýzu dezinformací s ohledem na jejich nekonzistenci, neurčitost a neúplnost. Zkoumají také stupně pravdivosti problematických tvrzení obsahujících kvantifikátory vyskytující se v přirozeném jazyce a využívají fuzzy logiku pro jejich formální reprezentaci a hodnocení.

Projekt zkoumal logické systémy pro přesnější modelování způsobů usuzování. Modální logiky rozšiřují klasickou logiku o pojmy jako "nutně" nebo "možná", zatímco substrukturální logiky umožňují omezit určitá pravidla argumentace, například s ohledem na relevanci, nejistotu nebo výpočetní zdroje. V rámci projektu byly vytvořeny nové teoretické přístupy, které pomohly lépe pochopit a kombinovat oba druhy logiky pro využití v informatice, matematice či lingvistice. Projekt byl řešen společně s týmem z Ústavu informatiky AV ČR.