Temporální aspekty znalostí a informací
Cíle projektu
Cílem navrženého projektu je vývoj nástrojů a mechanismů pro computer-aided analýzu přirozeného jazyka a usuzování v přirozeném jazyce. Zaměříme se zejména na temporální, modální a epistémické aspekty reprezentace znalostí a usuzování. Výzkum prováděný v rámci projektu se skládá ze dvou hlavních podoblastí, a to teorie a praktických aplikací. Co se týká teoretických výsledků, budeme dále rozvíjet Transparentní intensionální logiku, zejména pak logickou analýzu přirozeného jazyka na základě TIL. Hlavní problémy, na které se zaměříme, jsou tyto: TIL důkazový kalkul pro hyperintensionální, parciální, typovaný lambda-kalkul s procedurální sémantikou; analýza gramatických časů a temporální logika; analýza epistémických sloves a událostí; analýza kontextuálních vztahů jako jsou anaforické odkazy, problém topic-focus artikulace věty ve spojení s presupozicemi a logickým vyplýváním. Co se týká praktických aplikací, vyvíjíme počítačovou variantu TIL, a to funkcionální programovací jazyk TIL-Script. Hlavním výstupem pak bude computer-aided analýza textů v přirozeném jazyce založená na TIL a webových ontologiích jako je anglický a český WordNet, FrameNet/VerbNet (pro angličtinu), VerbaLex (pro češtinu) s využitím velkých textových korpusů.
Klíčová slova
naturallanguagetimeeventslogicalanalysislinguisticanalysisautomatictranslation
Veřejná podpora
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
Alternativní jazyk
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.
Vědní obory
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
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
60201 - General language studies
60202 - Specific languages
60203 - Linguistics
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
60304 - Religious studies
Hodnocení dokončeného projektu
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?
Termíny řešení
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
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
CEP13-GA0-GA-U/02:3
Datum dodání záznamu
17. 5. 2016
Finance
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č
Základní informace
Uznané náklady
4 889 tis. Kč
Statní podpora
4 889 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
AA - Filosofie a náboženství
Doba řešení
01. 01. 2010 - 31. 12. 2012