Temporal aspects of knowledge and information
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 13 (SGA02010GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P401-10-0792
Alternative language
Project name in Czech
Temporální aspekty znalostí a informací
Annotation in Czech
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ů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
AI - Linguistics
CEP - another secondary branch
IN - Informatics
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
First Professional contribution of the project is significant for philosophy, logic and mathematics. Second Results uvedné solvers and data in the card is adequate. Third Significance of the project is also aimed at students and their professional education. 4th Outcomes of the project are clear, indicating nezbochybnitelné dedication. 5th The funds were used by the rules.
Solution timeline
Realization period - beginning
Jan 1, 2010
Realization period - end
Dec 31, 2012
Project status
U - Finished project
Latest support payment
Apr 1, 2012
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP13-GA0-GA-U/02:3
Data delivery date
May 17, 2016
Finance
Total approved costs
4,889 thou. CZK
Public financial support
4,889 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK