Hyperintensionální usuzování nad texty přirozeného jazyka

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

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.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AI - Jazykověda

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

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

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č