Hyperintensionální logika pro analýzu přirozeného jazyka
Cíle projektu
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.
Klíčová slova
computational linguisticsprocedural semanticscommunicationreasoningTransparent intensional logicknowledge managementlogical analysis
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 19 (SGA0201500001)
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatikyDruh soutěže
VS - Veřejná soutěž
Číslo smlouvy
15-13277S
Alternativní jazyk
Název projektu anglicky
Hyperintensional logic for natural language analysis
Anotace anglicky
The main goal of the project is a computer-aided linguistic and logical analysis of natural language, in particular English and Czech. The proposed project will conduct research into the logical framework of Transparent Intensional Logic (TIL) and apply TIL to natural-language processing, communication and reasoning. TIL is one of the main representatives of procedural semantic systems. We plan to complete the design and development of the TIL inference machine, a successful project currently underway, that makes use of the computational variant of TIL, viz. the functional programming language TIL-Script. The project is interdisciplinary because, as we are convinced, logical analysis of natural language must go hand in hand with linguistic analysis. Thus the project will apply tools from computational linguistic, logic, philosophy and computer science in order to achieve its goals.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
AI - Jazykověda
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
60201 - General language studies
60202 - Specific languages
60203 - Linguistics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Projekt byl řešen v souladu se schváleným návrhem projektu, s vysokým počtem výstupů. Grantová pravidla byla dodržena.
Termíny řešení
Zahájení řešení
1. 1. 2015
Ukončení řešení
31. 12. 2017
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
17. 3. 2017
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP18-GA0-GA-U/02:1
Datum dodání záznamu
4. 5. 2018
Finance
Celkové uznané náklady
4 679 tis. Kč
Výše podpory ze státního rozpočtu
4 679 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
4 679 tis. Kč
Statní podpora
4 679 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
AI - Jazykověda
Doba řešení
01. 01. 2015 - 31. 12. 2017