| Identifikační kód |
GA18-23891S |
| 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í usuzování nad texty přirozeného jazyka |
| Název projektu anglicky |
Hyperintensional Reasoning over Natural Language Texts |
| Poskytovatel |
GA0 - Grantová agentura České republiky (GA ČR) |
| Program |
GA - Standardní projekty (1993 - 2050) |
| Kategorie VaV |
ZV - Základní výzkum |
| Hlavní vědní obor |
60201 - General language studies |
| Vedlejší vědní obor |
- |
| Další vedlejší vědní obor |
- |
| Zahájení řešení |
01.01.2018 |
| Ukončení řešení |
31.12.2020 |
| Datum posledního uvolnění účelové podpory |
24.04.2020 |
| Číslo smlouvy |
18-23891S |
| Poslední stav řešení |
O - Ukončený projekt s odloženým hodnocením, který byl ukončen v roce předcházejícím roku sběru dat, uvádí se údaje o projektu za poslední rok řešení, dodávají se údaje pro ukončené a zastavené projekty (relevantní pouze pro typ programu G – grantový program) |
| Finance projektu | 2018 | 2019 | 2020 | celkem |
|---|
| Výše podpory z národních zdrojů | 1 948 000,001948 | 1 960 000,001960 | 1 892 000,001892 | 5 800 000,005800 | | Výše podpory z veřej. zahraničních zdrojů *** | 0,000 | 0,000 | 0,000 | 0,000 | | Ostatní veřejné zdroje financování | - | - | - | 1 574 000,001574 | | Celkové uznané náklady | 2 377 000,002377 | 2 504 000,002504 | 2 445 000,002445 | 7 326 000,007326 | | 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ů | 2018 | 2019 | 2020 | celkem |
|---|
| Finance | 1 948 000,001948 | 1 960 000,001960 | 1 892 000,001892 | 5 800 000,005800 |
|
| Druh soutěže |
VS - Veřejná soutěž |
| Veřejná soutěž ve výzkumu, vývoji a inovacích |
SGA0201800001 - Veřejná soutěž (GA0/GA) |
| Cíle řešení v původním jazyce |
Tento projekt je interdisciplinárně zaměřen, neboť zasahuje do tří příbuzných oborů, a to komputační lingvistiky, logiky a umělé inteligence. Soustředíme se na dva hlavní problémy, které dosud nejsou uspokojivě řešeny v současných systémech určených pro získávání znalostí z textů. Za prvé, dostatečně přesná lingvistická a logická analýza otázek a příslušných textů je nutnou podmínkou pro získávání adekvátních odpovědí. Za tím účelem aplikujeme procedurální sémantiku Transparentní intenisonální logiky (TIL), která umožňuje rozlišovat tři druhy kontextu, ve kterém se může daný výraz vyskytovat, a to extensionální, intensionální a hyperintensionální. Definice tří druhů kontextu nám umožnila navrhnout extensionální logiku hyperintensí, ve které jsou všechna extensionální pravidla usuzování platná ve všech kontextech. Za druhé, tuto teorii využijeme k získávání inferenčních znalostí z explicitních znalostí zakódovaných v rozsáhlých bázích textů v přirozeném jazyce tak, aby systém poskytoval inteligentní odpovědi na otázky. |
| Cíle řešení v anglickém jazyce |
This project is interdisciplinary in the sense that it concerns three closely interrelated areas, namely computational linguistics, logic, and artificial intelligence. We will concentrate on two main issues, which to the best of our knowledge are not satisfactorily solved in current reasoning systems. First, a fine-grained linguistic and logical analysis of questions and underlying texts is a necessary condition for a high-quality answering. To this end we apply procedural semantics of Transparent Intensional Logic (TIL) that makes it possible distinguish three kinds of context in which a term can occur, to wit extensional, intensional and hyperintensional. Having defined the three kinds of context, we designed an extensional logic of hyperintensions where all the extensional rules of reasoning are valid in all kinds of context. Second, we will apply this theory to derive inferential knowledge from explicit knowledge encoded in a wide-range of natural-language resources so that to answer questions in an intelligent way. |
| Klíčová slova v anglickém jazyce |
natural language processing;hyperintensional logic;transparent intensional logic;procedural semantics;questions;answers |
| Kontrolní číslo stavu projektu v letech |
2018: 190687807 ( v1.0 )
2019: 190697911 ( v1.0 )
2020: 190708844 ( v1.0 )
2021: 190721230 ( v1.0 ) |
| Datum dodání posledního záznamu o projektu |
22.02.2021 |
| Systémové označení dodávky dat |
CEP21-GA0-GA-R/10:1 |