| Identifikační kód |
GA15-13277S |
| Důvěrnost údajů |
S - Není předmětem státního či obchodního tajemství a data lze v souladu s právními předpisy poskytnout do veřejně přístupných
informačních systémů včetně mezinárodních |
| Název projektu v původním jazyce |
Hyperintensionální logika pro analýzu přirozeného jazyka |
| Název projektu anglicky |
Hyperintensional logic for natural language analysis |
| Poskytovatel |
GA0 - Grantová agentura České republiky (GA ČR) |
| Program |
GA - Standardní projekty (1993 - 2050) |
| Kategorie VaV |
ZV - Základní výzkum |
| Hlavní obor - skupina |
A - Společenské vědy |
| Hlavní obor |
AI - Jazykověda |
| Vedlejší obor |
IN - Informatika |
| Další vedlejší obor |
- |
| Zahájení řešení |
01.01.2015 |
| Ukončení řešení |
31.12.2017 |
| Datum posledního uvolnění účelové podpory |
17.03.2017 |
| Číslo smlouvy |
15-13277S |
| Poslední stav řešení |
U - Ukončený (rok ukončení projektu < rok sběru dat, v roce sběru dat již není financován ze SR) |
| Finance projektu | 2015 | 2016 | 2017 | celkem |
|---|
| Výše podpory z národních zdrojů | 1 551 000,001551 | 1 629 000,001629 | 1 499 000,001499 | 4 679 000,004679 | | Výše podpory z veřej. zahraničních zdrojů *** | 0,000 | 0,000 | 0,000 | 0,000 | | Celkové uznané náklady | 1 551 000,001551 | 1 629 000,001629 | 1 499 000,001499 | 4 679 000,004679 | | Typ | čerpané | čerpané | čerpané | |
** Finance v tisících Kč jsou automaticky zaokrouhleny z částky v jednotkách Kč s přesností na 2 desetinná místa
*** Výše podpory z veřejných zahraničních zdrojů je sledována od období sběru 2020 |
|
Zobrazit skutečně čerpané finance projektu z národních zdrojů »
| Skutečně čerpané finance projektu z národních zdrojů | 2015 | 2016 | 2017 | celkem |
|---|
| Finance | 1 551 000,001551 | 1 629 000,001629 | 1 499 000,001499 | 4 679 000,004679 |
|
| Druh soutěže |
VS - Veřejná soutěž |
| Veřejná soutěž ve výzkumu, vývoji a inovacích |
SGA0201500001 - Veřejná soutěž (GA0/GA) |
| Cíle řešení v původním jazyce |
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. |
| Cíle řešení v anglickém jazyce |
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. |
| Klíčová slova v anglickém jazyce |
computational linguistics;procedural semantics;communication;reasoning;Transparent intensional logic;knowledge management;logical analysis |
| Kontrolní číslo stavu projektu v letech |
2015: 187149984
2016: 190575669 ( v1.0 )
2017: 190676968 ( v1.0 )
2018: 190689652 ( v1.0 ) |
| Datum dodání posledního záznamu o projektu |
04.05.2018 |
| Systémové označení dodávky dat |
CEP18-GA0-GA-U/02:1 |