Hyperintensionální logika pro analýzu přirozeného jazyka

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 19 (SGA0201500001)

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky<br>Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

15-13277S

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.

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

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>60201 - General language studies<br>60202 - Specific languages<br>60203 - Linguistics

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.

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

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

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č