Hyperintensionální usuzování nad texty přirozeného jazyka
Cíle projektu
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.
Klíčová slova
natural language processinghyperintensional logictransparent intensional logicprocedural semanticsquestionsanswers
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 22 (SGA0201800001)
Hlavní účastníci
Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
18-23891S
Alternativní jazyk
Název projektu anglicky
Hyperintensional Reasoning over Natural Language Texts
Anotace anglicky
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.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
60201 - General language studies
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)AI - Jazykověda
Termíny řešení
Zahájení řešení
1. 1. 2018
Ukončení řešení
31. 12. 2020
Poslední stav řešení
—
Poslední uvolnění podpory
24. 4. 2020
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
CEP21-GA0-GA-R/10:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
7 326 tis. Kč
Výše podpory ze státního rozpočtu
5 800 tis. Kč
Ostatní veřejné zdroje financování
1 574 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
7 326 tis. Kč
Statní podpora
5 800 tis. Kč
79%
Poskytovatel
Grantová agentura České republiky
OECD FORD
General language studies
Doba řešení
01. 01. 2018 - 31. 12. 2020