Temporální aspekty znalostí a informací

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 13 (SGA02010GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P401-10-0792

Název projektu anglicky

Temporal aspects of knowledge and information

Anotace anglicky

The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial typed lambda calculus; analysis of tenses and temporal logic; analysisof epistemic verbs and events; analysis of anaphora references and topic-focus articulation. Concerning practical applications, we develop functional programming language TIL-Script, the computational variant of TIL. The main result we aim to achieve iscomputer-aided analysis of natural-language texts based web ontologies like WordNet, FrameNet / VerbNet, VerbaLex and large text corpora.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

AI - Jazykověda

CEP - další vedlejší obor

IN - Informatika

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<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

1. Odborný přínos projektu je značný pro filosofii, logiku i matematiku. 2. Výsledky řešitelů a jejich uvedené údaje v kartě jsou adekvátní. 3. Význam projektu směřuje i ke studentům a jejich odborné výchově. 4. Výstupy z projektu jsou jednoznačné, nezb?

Zahájení řešení

1. 1. 2010

Ukončení řešení

31. 12. 2012

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 4. 2012

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

CEP13-GA0-GA-U/02:3

Datum dodání záznamu

17. 5. 2016

Celkové uznané náklady

4 889 tis. Kč

Výše podpory ze státního rozpočtu

4 889 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč