Informace o projektu
Hyperintensionální logika pro analýzu přirozeného jazyka
| Kód projektu | GA15-13277S CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.03.2015–31.12.2017 |
| Stav | ukončený |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Projekt má jako hlavní cíl stanovenu počítačově podporovanou lingvisticko-logickou analýzu přirozeného jazyka, a to především češtiny a
angličtiny. Navrhovaný projekt bude rozvíjet logický rámec Transparentní intensionální logiky (TIL), což je jeden z hlavních představitelů
systémů procedurální sémantiky, a to zejména jeho aplikací v oblasti zpracování přirozeného jazyka, komunikace a usuzování. Dokončíme
úspěšně nastartovaný projekt návrhu a vývoje inferenčního stroje pro TIL s využitím jeho komputační varianty, tj. funkcionálního
programovacího jazyka TIL-Script. Projekt je interdisciplinární, neboť jsme přesvědčeni, že logická analýza jazyka musí navazovat na
výsledky analýzy lingvistické. Proto bude do výzkumu zahrnuto využití nástrojů komputační lingvistiky, logiky, filosofie a informatiky.
angličtiny. Navrhovaný projekt bude rozvíjet logický rámec Transparentní intensionální logiky (TIL), což je jeden z hlavních představitelů
systémů procedurální sémantiky, a to zejména jeho aplikací v oblasti zpracování přirozeného jazyka, komunikace a usuzování. Dokončíme
úspěšně nastartovaný projekt návrhu a vývoje inferenčního stroje pro TIL s využitím jeho komputační varianty, tj. funkcionálního
programovacího jazyka TIL-Script. Projekt je interdisciplinární, neboť jsme přesvědčeni, že logická analýza jazyka musí navazovat na
výsledky analýzy lingvistické. Proto bude do výzkumu zahrnuto využití nástrojů komputační lingvistiky, logiky, filosofie a informatiky.